发表了文章 · 6天前 生日快乐，lambdaworks！

发表了文章 · 6天前 Mina到以太坊ZK桥

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

发表了文章 · 6天前 STARK证明器对比：Miden和Starknet

发表了文章 · 6天前 Lambdaworks设计与使用：第一部分 - 有限域

发表了文章 · 6天前 Lambdaworks 作为 Winterfell 的直接替代品来证明 Miden-VM

发表了文章 · 6天前 对 Fernando Borretti 的采访：关于 Austral——一种具有线性类型的系统编程语言

发表了文章 · 6天前 如果你不知道，查一下或者如何为零知识证明创建查找表

发表了文章 · 6天前 内积参数（IPA）与多项式承诺方案

发表了文章 · 6天前 不要信任，要去验证，或者说为什么你应该关注基准测试