发表了文章 · 2026-01-01 01:31 在内部训练营中使用lambdaworks实现BabySNARK

发表了文章 · 2026-01-01 01:29 我们对零知识证明历史的高度主观看法

发表了文章 · 2026-01-01 01:28 Basefold多项式承诺方案如何推广FRI

发表了文章 · 2026-01-01 01:27 生日快乐，lambdaworks！

发表了文章 · 2026-01-01 01:26 Mina到以太坊ZK桥

发表了文章 · 2026-01-01 01:25 一种快速、信任最小化的、基于意图的以太坊和 L2 桥接解决方案，由多重存储证明提供支...

发表了文章 · 2026-01-01 01:24 STARK证明器对比：Miden和Starknet

发表了文章 · 2026-01-01 01:23 Lambdaworks设计与使用：第一部分 - 有限域

发表了文章 · 2026-01-01 01:23 Lambdaworks 作为 Winterfell 的直接替代品来证明 Miden-VM

发表了文章 · 2026-01-01 01:22 对 Fernando Borretti 的采访：关于 Austral——一种具有线性类型的系统编程语言