Stone Prover：StarkWare的STARK Prover

1. 引言

StarkWare将基于Apache 2.0 license，开源其以C++编写的STARK Prover，名为Stone（STARK one）。

其基本流程为：

• 1）编写Cairo0程序。
• 2）使用Cairo工具 将Cairo0程序编译为CASM。
• 3）对CASM代码运行cairo_run，获得相应的Cairo trace.
• 4）使用Stone STARK Prover来证明该Cairo trace。
• 5）获得a STARK proof。
• 6）使用C++ Verifier来验证该proof有效。

参考资料

[1] 2023年8月StarkWare博客 Open-Sourcing the Battle-Tested Stone Prover