NotesNotes要点

• Guppy removes the need for validators to maintain full state Merkle trees.
• An off-chain service maintains the verifiable Merkle tree using recursive ZKPs.
• A hash-chain commitment moves signature verification out of the ZK circuit.
• A parallel recursive proving pipeline keeps latency logarithmic in throughput.
• Plonky2 implementation supports a 2^30 tree and thousands of updates per second.
• Validator overhead is negligible and block construction complexity is not increased.

• Guppy避免了验证者维护完整状态Merkle树的开销
• 链下服务通过递归ZKP维护可验证Merkle树
• 哈希链承诺将签名验证移出ZK电路以降低证明成本
• 并行递归证明管线确保延迟随吞吐量对数增长
• 基于Plonky2实现，支持2^30大小的树和每秒数千更新
• 验证者开销可忽略，不增加区块构建复杂度

• Guppyは検証者が完全な状態Merkleツリーを維持する必要をなくす。
• オフチェーンサービスが再帰的ZKPを用いて検証可能なMerkleツリーを維持する。
• ハッシュチェーンコミットメントにより署名検証をZK回路外に移す。
• 並列再帰証明パイプラインにより遅延はスループットに対して対数的に増加する。
• Plonky2実装では2^30のツリーと毎秒数千の更新をサポートする。
• 検証者のオーバーヘッドは無視でき、ブロック構築の複雑性は増加しない。