ZK Insights | 1st June 2025
Highlights
IETF Draft of Polynomial Commitment Schemes
定义用于 zk-SNARK 的多项式承诺方案通用接口,并提供示例实现。
https://datatracker.ietf.org/doc/draft-zkproof-polycommit/
Introducing S-two: The fastest prover for real-world ZK applications
最快的证明器,首先实现即时客户端证明:
隐私交易 zkKYC、隐私身份验证 zkML 可验证 AI
比 Risc0 预编译快 28 倍,比 SP1 预编译快 39 倍。Stwo 支持多种硬件后端,CPU、GPU、SIMD,WebGPU 和 WASM 即将上线,未来几个月性能会进一步提升十到百倍。
https://starkware.co/blog/s-two-prover/
Compressing Proofs using Cryptography: A Triumph of Theory and Practice Yael Kalai
Yael Kalai 作为一位学术研究者,在这个 talk 里分享了她的经历,以及她如何在理论与实践之间进行交互,特别是她对简洁证明的思考。
https://www.youtube.com/watch?v=AjKGurJp1_U
Updates
The GPU Revolution: How We're Making Ethereum 1000x Faster with Zero-Knowledge Proofs
Polyhedra 利用 GPU 优化 ZK 证明生成,将以太坊交易验证提速千倍,实现近乎实时的链下计算无缝上链,突破扩容瓶颈。
https://blog.polyhedra.network/the-gpu-revolution-how-were-making-ethereum-1000x-faster-with-zero-knowledge-proofs/
FPGA Acceleration of SP1 with AntChain OpenLabs
Succinct 通过 SP1 Hypercube + AntChain OpenLabs 的组合,首次实现 ZK 证明的「实时化」与「商用化」,为高隐私需求的金融、政务区块链场景提供基础设施。下一步需解决功耗与开发易用性,以推动 ZK 技术从工具走向大众应用。
https://blog.succinct.xyz/sp1-fpga-antchain-openlabs/
Papers
Justvengers: Batched VOLE ZK Disjunctions in Communication
https://eprint.iacr.org/2025/936
Proof of Exponentiation: Enhanced Prover Efficiency for Algebraic Statements
https://eprint.iacr.org/2025/941
DewTwo: a transparent PCS with quasi-linear prover, logarithmic verifier and 4.5KB proofs from falsifiable assumptions
https://eprint.iacr.org/2025/129
Logup*: faster, cheaper logup argument for small-table indexed lookups
https://eprint.iacr.org/2025/946
Quantum Rewinding for IOP-Based Succinct Arguments
https://eprint.iacr.org/2025/947
点击 阅读原文 /Read More ,开启邮箱订阅🔛
【免责声明】市场有风险,投资需谨慎。本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资,责任自负。
来源链接

