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.
Now the cairo1-run crate receives the cairo program and compiled first to sierra and then to casm.
To improve the performance, we can avoid this by modifying the run function to receive the casm code
fmoletta
commented
4 months ago
Now the cairo1-run crate receives the cairo program and compiled first to sierra and then to casm. To improve the performance, we can avoid this by modifying the run function to receive the casm code