This repository contains example cairo programs to use with Atlantic. It also has example contracts for using the verified execution on-chain.
Atlantic allows you to write any program in Cairo and generate proof for its execution. That proof can be later verified on Ethereum (L1), Starknet (L2) or off-chain. Depending on your needs, you can choose 3 different Cairo version and VM configurations:
-
cairo1 Rust VM - Higher level language (similar to Rust), easier to write, but less performant.
-
cairo0 Rust VM - Lower lever (close to direct VM instructions), best performance, but lack of hints support.
-
cairo0 Python VM - Supports custom hints, but slower than Rust VM.
Asking Atlantic to verify your proof on-chain.
Note: You have to first develop and send your program to Atlantic, as shown in the examples above.
Using the proof from Atlantic offchain, by yourself.
Note: You have to first develop and send your program to Atlantic, as shown in the examples above.
