Highlights

Proofs On A Leash: Post-Quantum Lattice SNARK With Greyhound

本文介绍了后量子时代的零知识证明系统，重点讨论了基于格密码学的 Greyhound 方案。Greyhound 是一种多项式承诺方案，具有透明性、线性证明者、次线性验证者和多对数证明大小，被认为是抵御量子计算机攻击的有力候选方案。

• https://blog.zksecurity.xyz/posts/greyhound/

Highlights of libZK, the Google Wallet ZKP

Google Wallet 的 libZK 系统采用零知识证明实现快速隐私验证，结合 GKR 和 Ligero 协议，优化证明者效率与证明大小，支持双电路算术化，并通过卷积技术加速 Reed-Solomon 编码，适用于智能手机等客户端场景。

• https://nmohnblatt.github.io/libzk-highlights/

A deep dive into Axiom’s Halo2 circuits

Trail of Bits 对 Axiom 的 Halo2 电路进行了两次安全评估，发现了 35 个安全问题，包括 4 个高严重性漏洞。Axiom 通过改进测试和文档，显著提升了系统安全性，展示了早期安全审查的重要性。

• https://blog.trailofbits.com/2025/05/30/a-deep-dive-into-axioms-halo2-circuits/

Beating the kCTF PoW with AVX512IFMA for $51k

本文介绍了如何通过 AVX512IFMA 指令集优化 Google kernelCTF 的「sloth」验证延迟函数（VDF），将计算时间从 4 秒缩短至 0.21 秒，最终在 3.6 秒内完成提交，赢得 5.1 万美元奖金。

• https://anemato.de/blog/kctf-vdf

zkPyTorch: Verifiable PyTorch with Zero-Knowledge Proofs

zkPyTorch 是 Polyhedra Network 推出的零知识机器学习编译器，将 PyTorch 模型转换为零知识证明电路，确保计算正确性同时保护模型隐私，适用于医疗、金融等关键领域。

• https://blog.polyhedra.network/zkpytorch/

Our Succinct explanation of jagged polynomial commitments

Succinct 的论文 Jagged Polynomial Commitments 提出了一种稀疏多项式承诺方案，通过多线性多项式和 sumcheck 协议，优化了以太坊区块的证明时间，减少了内存占用和计算开销。

• https://blog.lambdaclass.com/our-succinct-explanation-of-jagged-polynomial-commitments/

Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp

本文介绍了加州大学伯克利分校 Simons 研究所举办的「密码学十年后：混淆、证明系统与安全计算」研讨会，提供了相关视频链接，旨在探讨密码学领域的最新进展。

• https://simons.berkeley.edu/workshops/cryptography-10-years-later-obfuscation-proof-systems-secure-computation-boot-camp/videos

How One Letter Foretold Computer Science's Biggest Mystery

本视频将通过历史视角来探索 「P 与 NP 问题」，像哥德尔一样最初思考这个问题，即计算机程序试图自动找到数学证明，并最终通过一系列示例（例如图着色）建立 P 和 NP 的实际定义。

• https://www.youtube.com/watch?v=rz1INSahE68

Updates

List of Common Acronyms

🌟 建议收藏：这是一份按字母顺序排序的 ZK 常见首字母缩略词列表。目前我们的行话里充满了首字母缩略词，虽然它们有助于保持沟通简洁明了，但尤其在难以查找的情况下也可能相当晦涩难懂。

• https://zkjargon.github.io/acronyms.html

The Core of Fermat’s Last Theorem Just Got Superpowered

四位数学家通过扩展费马大定理的核心思想，成功将模形式与更复杂的阿贝尔曲面联系起来，推动了数学「大一统理论」的发展，解决了长期以来的难题。

• https://www.quantamagazine.org/the-core-of-fermats-last-theorem-just-got-superpowered-20250602/

Trust4Futures: Zero Knowledge Proofs and Homomorphic Encryption

• https://www.youtube.com/watch?v=J03UE89Qw8E

The Hardware Acceleration Revolution for Zero-Knowledge Proofs

本文探讨了零知识证明在硬件加速（FPGA 和 ASIC）下的革命性进展，通过 GKR 协议和稀疏优化，显著提升了证明速度，适用于高频 DeFi、Layer-2 Roll-ups 和隐私保护 AI 等领域。

• https://blog.polyhedra.network/the-hardware-acceleration-revolution-for-zero-knowledge-proofs/

Papers

Zero-Knowledge Polynomial Commitment in Binary Fields

• https://eprint.iacr.org/2025/1015

Malicious Security in Collaborative zk-SNARKs: More than Meets the Eye

• https://eprint.iacr.org/2025/1026

How to Share an NP Statement or Combiners for Zero-Knowledge Proofs

• https://eprint.iacr.org/2025/334

Scalable Collaborative zk-SNARK and Its Application to Fully Distributed Proof Delegation

• https://eprint.iacr.org/2024/940

At the Top of the Hypercube -- Better Size-Time Tradeoffs for Hash-Based Signatures

• https://eprint.iacr.org/2025/889

Committed Vector Oblivious Linear Evaluation and Its Applications

• https://eprint.iacr.org/2025/1037

Rewardable Naysayer Proofs

• https://eprint.iacr.org/2025/1054