ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
Sun星期日日曜日
08.16
2026
https://eprint.iacr.org/2026/1656
Setty instantiated Spartan over binary fields using Ligerito commitments and ring-switching, yielding a transparent, plausibly post-quantum SNARK that proves BLAKE3 at 410,000 hashes/sec on consumer hardware.Setty等人在论文中提出将Spartan实例化至二进制域，采用Ligerito承诺与ring-switching技术，实现无需可信设置的透明后量子SNARK，并在消费级硬件上达成每秒41万次BLAKE3证明。Settyは論文で、Ligeritoコミットメントとring-switching技術を用いてSpartanをバイナリ体上に実例化し、コンシューマーハードウェアでBLAKE3を毎秒41万回証明できる透明で後量子安全なSNARKを実現した。
NotesNotes要点
- Instantiates Spartan over binary fields using the Ligerito commitment scheme
- Employs Diamond and Posen's ring-switching technique
- Transparent with no trusted setup; security rests solely on hash functions
- Integrates SIMD R1CS, SuperSpartan MLE, and sum-check optimizations
- Proves BLAKE3 at 410K/sec and SHA-256 at 219K/sec on an M4 Max
- Achieves 6.2ms for single SHA-256 (2KiB) in the Ethereum Foundation benchmark, the fastest in the suite
Q&A Deep Dive 💬今日要点 深入解析 💬今日の要点 深掘り 💬
Sun星期日日曜日
08.16
2026
