Stone Packaging Resources
| Resource | Description |
|---|---|
| Madara Prover API | This project provides a server capable of executing any set of Cairo programs on top of the Starknet bootloader and generate the proof of execution of these programs. This server is used as part of the Madara sequencer to prove the transactions inside each (Madara) block |
| Stone Prover SDK | Is a Rust SDK for the Starkware Stone prover and verifier. To use this SDK, you will need the Stone prover and verifier binaries. You can either follow the instructions on the Stone repository, download them from the latest SDK release. |
| Stone CLI | A CLI for proving Cairo programs and verifying and serializing Cairo proofs. |
| Stark EVM Adapter | stark-evm-adapter is a library that provides a set of utilities to parse and manipulate the output of the STARK stone proof. Specifically, the library can be used to generate a "split proof", which is necessary for proofs to be verified on Ethereum. |
| Integrity Calldata Generator | This is a utility that helps generate integrity calldata, which keeps our data safe and reliable. |
| Cairo Proof Parser | This lib crate is a parser written to translate beetwen different cairo proof formats. The input to the parse function is a proof in a json string format. The proof is expected to be generated by the stone prover with the -generate_annotations flag. Currently only the recursive and starknet layouts are supported. |
| Stark Book | This is the Starknet documentation where you can read and learn about it. If you want to delve deeper into Starknet you can check this resource. |