https://blog.lambdaclass.com/overview-of-the-stone-prover/
#starknet 开源的 #cairo 0 #STARK 证明生成器的源代码分析
#starknet 开源的 #cairo 0 #STARK 证明生成器的源代码分析
LambdaClass Blog
An overview of the Stone Cairo STARK Prover
Introduction
About one month ago, Starkware open-sourced its Stone Prover, which is currently in production in Starknet. It is a library that allows one to produce proofs of computational integrity using STARKs (Scalable Transparent Arguments of Knowledge).…
About one month ago, Starkware open-sourced its Stone Prover, which is currently in production in Starknet. It is a library that allows one to produce proofs of computational integrity using STARKs (Scalable Transparent Arguments of Knowledge).…
