zksecurity
73 条记录
-
+10
发表了文章 · 2025-11-28 11:29 Circle STARKs：第四部分，圆的算术化
-
+10
发表了文章 · 2025-11-28 11:27 Σ 舞步：承诺、挑战、响应
-
+10
发表了文章 · 2025-11-28 11:25 算术电路的形式验证框架比较
-
+10
发表了文章 · 2025-11-28 11:23 更快的 Sumcheck：第一部分
-
+10
发表了文章 · 2025-09-20 16:53 科赫尔的时间攻击：从理论到实践的旅程 - ZKSecurity
-
+10
发表了文章 · 2025-08-05 14:45 Circle STARKs：第三部分，Circle FFT - ZKSecurity
-
+10
发表了文章 · 2025-07-10 10:30 RFC-0：函数签名中的泛型大小数组
-
+10
发表了文章 · 2025-07-10 10:25 私有委托计算已至，且必有漏洞！- ZKSECURITY
-
+10
发表了文章 · 2025-07-10 10:25 ZK程序的可编程性增加了一个全新的担忧层面 - ZK安全性
-
+10
发表了文章 · 2025-07-10 10:24 秘密进行，公开断言：不要在ZK程序中过度约束Prover的witness计算 - ZKSECURITY
