发表了文章 · 2025-11-28 11:45 Circom-Pairing：一个价值百万美元的 ZK 漏洞被及早发现

发表了文章 · 2025-07-02 22:12 使用 Picus 验证 SP1 电路的确定性：Veridise 与 Succinct 之间的合作

发表了文章 · 2025-07-02 22:10 与 Michael Klein 的炉边谈话：深入了解 Noir——Aztec 的 ZK 语言、安全性和工具详解

发表了文章 · 2025-07-02 20:31 设计安全的 zkVM 应用：与 Rami Khalil (RISC Zero) 的炉边谈话

发表了文章 · 2025-06-18 15:58 零知识虚拟机（zkVM）简介