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