Info to checkout specific cairo-vm commit

starkware-libs / stone-prover

Apache License 2.0

260 stars 76 forks source link

Closed microbecode closed 3 months ago

microbecode commented 4 months ago

Add instructions to checkout a specific cairo-vm commit. Old instructions don't work with the newest cairo-vm code.

Also the following small doc fixes:

Fix the path for the verifier
Fix the path for the prover
Add annotation generation for the prover. This is required by some verifiers (Integrity)

LandauRaz commented 3 months ago

We believe it's better to always rely on cairo-vm's latest commit and just fix the instructions accordingly, but greatly appreciate the effort!

microbecode commented 3 months ago

Very well. Should I separate the other fixes to a different PR?