Stone Prover Integration (Cairo VM1)

[mariari]

customer: @mariari
performer: @XuyangSong
deadline: null
estimated: null
started: null
actual: null
completed: null
confirmed: null
dependencies:

• [ ]

---

This is an alternative to #248. This is superior in that we can actually pass Resource parameters to contracts. This has some drawbacks discussed in #250.

[XuyangSong]

The Cairo-vm-1 seems to be doing well with external inputs in cairo-platinum-prover(Winterfell).

1. run cairo1-run(cairo-vm)

cargo run ../cairo_programs/cairo-1-programs/with_input/array_input_sum.cairo --layout all_cairo --args '2 [1 2 3 4] 0 [9 8]' --trace_file ../cairo_programs/cairo-1-programs/with_input.trace --memory_file ../cairo_programs/cairo-1-programs/with_input.memory --proof_mode

2. run cairo-platinum-prover(https://github.com/lambdaclass/lambdaworks/tree/main/provers/cairo)

# PROVE
cargo run --release --features=cli,instruments,parallel prove with_input.trace with_input.memory with_input.proof

# VERIFY
cargo run --release --features=cli,instruments,parallel verify with_input.proof

We might not have to deal with the annoying C++ stone-prover. Can you help me double-check it? @CarloModicaPortfolio

[CarloModicaPortfolio]

doube-check passed!