Notes Notes 要点

• Symphony avoids hash embedding in SNARK circuits, reducing security risks and proof overhead
• Adopting lattice-based folding scheme, providing post-quantum security guarantees
• Supporting memory efficiency, parallelization, and streaming processing, optimizing performance
• Proof size and verification time are multi-polynomial, enhancing scalability
• Universal compiler can convert folding scheme to SNARK, enhancing flexibility
• Having potential advantages in zkVM and proof learning applications

• Symphony避免在SNARK电路中嵌入哈希函数，减少安全风险和证明开销
• 采用格基折叠方案，提供后量子安全保证
• 支持内存高效、并行化和流式处理，优化性能
• 证明大小和验证时间为多对数级，提升可扩展性
• 通用编译器可将折叠方案转换为SNARK，增强灵活性
• 在zkVM和证明学习等应用中具有潜在优势

• Symphonyは、ハッシュ埋め込みをSNARK回路から排除することで、セキュリティリスクと証明オーバーヘッドを低減します。
• 格子ベースの折り畳み付けスキームを採用し、ポスト量子セキュリティ保証を提供します。
• メモリ効率、並列化、ストリーミング処理をサポートし、パフォーマンスを最適化します。
• 証明サイズと検証時間は多項式であり、スケーラビリティを向上させます。
• ユニバーサルコンパイラにより、折り畳み付けスキームをSNARKに変換でき、柔軟性を高めます。
• zkVMおよびプルーフラーニングアプリケーションにおいて潜在的な利点があります。