Edited by ZKPunk
Highlights
Signal Protocol and Post-Quantum Ratchets
The article introduces its new SPQR grouping system, designed to enhance software security and transparency through smaller, verifiable code groups, simplifying the audit process.
文章介绍了其新的 SPQR 分组系统，旨在通过更小的、可验证的代码组来增强软件安全性和透明度，简化审计流程。
Halo2's Elegant Transcript As Proof
This technical article explains the “Elegant Transcript” in the Halo2 zero-knowledge proof system. It acts as a core protocol, securely coordinating all data exchange between the prover and verifier to ensure the proof’s correctness and safety.
这篇技术文章深入解析了 Halo2 零知识证明系统中的「Elegant Transcript」设计。它就像一个优雅的协议，负责协调证明者和验证者之间的所有交互数据，确保整个证明过程的安全性与正确性，是系统的核心通信枢纽。
Updates
【漫士】所以，到底什么是傅里叶变换？
Introducing Valida zkVM 1.0: A Foundation for Verifiable Applications
The Lita Foundation has officially launched Valida zkVM 1.0, an efficient zero-knowledge virtual machine designed to provide fast and low-cost ZK proof generation for blockchain applications, enhancing scalability.
Lita 基金会正式发布了 Valida zkVM 1.0。这是一个高效的零知识虚拟机，旨在为区块链应用提供快速且低成本的零知识证明生成，提升可扩展性。
Notes on SamaritanPCS
The article introduces Samaritan, an innovative "ZK coprocessor." It empowers smart contracts by offloading complex computations off-chain, generating zero-knowledge proofs, and submitting them back to the blockchain, providing strong off-chain compute capacity at low cost.
该文章介绍了 Samaritan 项目，这是一个创新的「ZK 协处理器」。它通过将复杂的链下计算生成零知识证明，再将证明提交回区块链，从而以低成本为智能合约提供强大的链下计算能力。
Papers
DualMatrix: Conquering zkSNARK for Large Matrix Multiplication
Polylogarithmic Polynomial Commitment Scheme over Galois Rings
- 发表于 ESORICS 2025
- https://eprint.iacr.org/2025/1767
Keccacheck: towards a SNARK friendly Keccak
If you’d like to receive updates via email, subscribe us!