Veridise
12 条记录
-
+10
发表了文章 · 2天前 使用 Picus 验证 SP1 电路的确定性：Veridise 与 Succinct 之间的合作
-
+10
发表了文章 · 2天前 与 Michael Klein 的炉边谈话：深入了解 Noir——Aztec 的 ZK 语言、安全性和工具详解
-
+10
发表了文章 · 2天前 设计安全的 zkVM 应用：与 Rami Khalil (RISC Zero) 的炉边谈话
-
+10
发表了文章 · 2025-06-18 15:58 零知识虚拟机（zkVM）简介
-
+10
发表了文章 · 2025-04-08 08:24 RISC Zero的ZK-VM安全性：Veridise如何帮助RISC Zero实现可证明和持续的零知识验证…
-
+10
发表了文章 · 2025-03-13 09:53 介绍 [V] 规范语言
-
+10
发表了文章 · 2025-03-13 09:51 学术研究：我们智能合约安全研究的发现
-
+10
发表了文章 · 2025-03-13 09:50 学术研究：我们零知识研究的发现
-
+10
发表了文章 · 2025-03-13 09:44 Veridise获得以太坊基金会的拨款，用于开发LLZK：一种新的中间表示（IR）……
-
+10
发表了文章 · 2025-03-09 11:41 梅杰：保护开罗代码免受漏洞影响
