cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
When executing cairo1-run crate with proof mode, we need to add some instructions in the create_entry_code function, that appends the returned values of main to the Output Builtin segment.
For a first iteration, we can assume the return value is just a Felt
When executing cairo1-run crate with proof mode, we need to add some instructions in the
create_entry_codefunction, that appends the returned values of main to the Output Builtin segment.For a first iteration, we can assume the return value is just a Felt