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

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

发表了文章 · 2026-01-01 01:20 如果你不知道，查一下或者如何为零知识证明创建查找表

发表了文章 · 2026-01-01 01:19 内积参数（IPA）与多项式承诺方案

发表了文章 · 2026-01-01 01:18 不要信任，要去验证，或者说为什么你应该关注基准测试

发表了文章 · 2026-01-01 01:17 首届Lambda-Ingo ZK CTF：使用LambdaWorks的ZK挑战

发表了文章 · 2026-01-01 01:15 请停止喝 Rust Kool-Aid（饮料）

发表了文章 · 2026-01-01 01:14 编译器与应用密码学的激动人心的交汇：Cairo和MLIR

发表了文章 · 2026-01-01 01:12 关于Plonk，你想知道的一切

发表了文章 · 2026-01-01 01:09 如何自讨苦吃：暴力破解NTRU