本文深入分析了 Starkware 开源的 Stone Prover，一个使用 STARKs 技术生成计算完整性证明的 C++ 库。
StarkWare 正在开发一种名为 Stwo 的新 proving 系统，它将实现突破性的 Circle STARK，解锁高效的素数域 M31。Stwo 将从一开始就以 Apache 2.0 开源，包括公共 Starknet 和 Starknet 应用链在内的系统将受益于 Stwo。
lambdaclass
starkware