发表了文章 · 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）简介

发表了文章 · 2025-04-08 08:24 RISC Zero的ZK-VM安全性：Veridise如何帮助RISC Zero实现可证明和持续的零知识验证…

发表了文章 · 2025-03-13 09:53 介绍 [V] 规范语言

发表了文章 · 2025-03-13 09:51 学术研究：我们智能合约安全研究的发现

发表了文章 · 2025-03-13 09:50 学术研究：我们零知识研究的发现

发表了文章 · 2025-03-13 09:44 Veridise获得以太坊基金会的拨款，用于开发LLZK：一种新的中间表示（IR）……

发表了文章 · 2025-03-09 11:41 梅杰：保护开罗代码免受漏洞影响