ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
Sat星期六土曜日
08.22
2026
https://eprint.iacr.org/2026/1729
Hulek et al. proposed a unified host-agent framework for benchmarking heterogeneous ZK proving systems under a common execution method, ensuring comparability via semantic contracts and validation flags, and evaluated Groth16, Plonky3, and zkVM systems.Hulek等人在论文中提出了统一的主机-代理框架，用于在共同执行方法下对异构ZK证明系统进行基准测试，通过语义合约与验证标志确保各后端在相同声明下可比，并评估了Groth16、Plonky3及zkVM等系统。Hulekらは論文で、共通の実行手法下で異種ZK証明システムをベンチマークする統合ホスト・エージェントフレームワークを提案し、セマンティック契約と検証フラグでバックエンドの比較可能性を確保、Groth16やPlonky3、zkVMなどを評価した。
NotesNotes要点
- The framework uses containerized agents to isolate each proving system.
- A scheme-adapter layer interfaces with heterogeneous backends.
- Semantic contracts and JSON artifacts standardize benchmark reporting.
- Evaluated Groth16, Halo2, Plonky3, Winterfell, Nova, RISC Zero, SP1, and ICICLE.
- On 8 CPU cores, Plonky3 and Winterfell had the best proving time and RAM.
- Key methodological contribution: validate statements, disclose security profiles, and report resource limits.
Q&A Deep Dive 💬今日要点 深入解析 💬今日の要点 深掘り 💬
Sat星期六土曜日
08.22
2026
