Skip to content

Latest commit

 

History

History
48 lines (30 loc) · 1.62 KB

README.md

File metadata and controls

48 lines (30 loc) · 1.62 KB

For cairo0 rust vm

⚠️ Note: In Rust VM it's not possible to have hints nor inputs! Use Python VM if you need hints or inputs.

🏎️ However Rust VM is FAST, use it if possible.

  1. Install cairo-lang https://docs.cairo-lang.org/quickstart.html

    1. python3.9 -m venv ~/cairo_venv
    2. source ~/cairo_venv/bin/activate
    3. Install gmp
      1. sudo apt install -y libgmp3-dev on Linux
      2. brew install gmp on Mac
    4. pip3 install cairo-lang

  2. To compile: cairo-compile program.cairo --output compiled.json

  3. To test locally: cairo-run --program compiled.json --layout starknet_with_keccak --print_output

Get your API key

To get your API key, navigate to https://www.herodotus.cloud/, log in and go to API KEYS section.

Send to Atlantic

When sending to Atlantic, you can choose where your proof should be verified. For more details check L1 Proof Verification and L2 Proof Verification.

You can track your queries in Atlantic > Console section.

L2 Verification query

To send query for L2 verification to Atlantic, run:

bash ./send_query.sh <your_api_key> PROOF_VERIFICATION_ON_L2

And check out how Starknet contract works.

L1 Verification query

To send query for L1 verification to Atlantic, run:

bash ./send_query.sh <your_api_key> PROOF_VERIFICATION_ON_L1

And check out how Ethereum contract works.