一个用于任意计算的 STARK 证明器和验证器
该项目的目标是构建一个功能丰富、易于使用且性能出色的 STARK 证明器，可以为非常大的计算生成完整性证明。
随机 AIR 支持。 库支持多阶段跟踪承诺,这使得它支持 随机 AIR。这大大提高了 AIR 约束的表达能力,并可实现诸如 PLONKish 系统中可用的多集和排列检查等功能。
可配置的字段和哈希函数。 库对字段（基础字段和扩展字段）和哈希函数（包括适合算术化的哈希函数）的选择具有通用性。这简化了针对特定性能和安全目标的证明生成的微调。math 和 crypto 提供了针对这两者的某些选项。
暂无开放 Issues，或尚未同步最近议题。