Veridise
7 条记录
-
+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 梅杰：保护开罗代码免受漏洞影响
-
+10
发表了文章 · 2024-11-14 16:58 探索 ZK 框架：用 5 种不同的 ZK 语言实现的 Mastermind 游戏
-
+5
注册 · 2024-11-12 16:22
