Notes Notes 要点

• Folding reduces prover's cost by eliminating significant parts of the prover's work.
• Recursive proof composition becomes practical and efficient.
• Implementation details—especially memory checking and MSM—make or break performance.
• Popular elliptic curve libraries often miss optimization opportunities, leaving performance on the table.

• 折叠方案通过消除证明者工作中的明显部分来降低证明成本。
• 递归证明组合变得 实用且高效。
• 实现细节（尤其是内存检查和MSM）决定了性能。
• 流行的椭圆曲线库经常错过优化机会，导致性能不佳。

• Foldingは、証明者の作業の重要な部分を排除することで、証明者のコストを削減します。
• 再帰的な証明の合成が実用的かつ効率的になります。
• 実装の詳細、特にメモリチェックとMSMがパフォーマンスを左右します。
• 一般的な楕円曲線ライブラリは最適化の機会を見逃していることが多く、パフォーマンスが最大限に発揮されていません。