发表了文章 · 2026-01-01 01:04 我们如何利用零知识证明、Starknet和以太坊塑造模块化区块链的未来

发表了文章 · 2026-01-01 01:03 LambdaWorks，或者我们如何决定创建我们的zkSNARKs库和一个STARK证明器

发表了文章 · 2026-01-01 01:01 关于STARKs中周期性约束的所有你想知道但无人告知的内容

发表了文章 · 2026-01-01 01:00 什么是基于属性的测试（PBT）？Rust 中的两个示例

发表了文章 · 2026-01-01 00:59 使用 Arkworks 实现的开源 Aleo VM 和使用 Tendermint 实现的区块链的详细介绍

发表了文章 · 2026-01-01 00:58 香槟超新星：增量可验证计算

发表了文章 · 2026-01-01 00:57 证明聚合方案：SnarkPack 和 aPlonk

发表了文章 · 2026-01-01 00:56 攀登高塔：域扩张

发表了文章 · 2026-01-01 00:55 ZPrize：着眼于奖励

发表了文章 · 2026-01-01 00:53 CUDA本可以更快：从零开始学习CUDA