lambdaclass
28 条记录
-
+10
发表了文章 · 2天前 多线性多项式：生存工具包
-
+10
发表了文章 · 2天前 优化Sumcheck协议
-
+10
发表了文章 · 2025-08-01 09:18 GKR协议实现：代码深度解析
-
+10
发表了文章 · 2025-07-02 20:43 二进制域上的SNARK：Binius - 第二部分
-
+10
发表了文章 · 2025-07-02 20:41 驱动Binius的域
-
+10
发表了文章 · 2025-07-02 20:38 Merkle Patricia Trie 简介
-
+10
发表了文章 · 2025-07-02 20:36 深入探讨Binius M3算术化，以Merkle树包含为例
-
+10
发表了文章 · 2025-07-02 20:34 BitVM：在比特币中实现高效可验证计算
-
+10
发表了文章 · 2025-07-02 20:34 我们对Jagged多项式承诺的Succinct解释
-
+10
发表了文章 · 2025-07-02 20:32 加性FFT：背景
