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.
Add tracing to the cairo-vm in the Cairo 0 runs and cairo-1-run crate https://crates.io/crates/tracing
The idea is to add some tracing, make debugging easier, and get extra info on the program execution. Similar to what we do in cairo_native https://github.com/lambdaclass/cairo_native/blob/60796b938eef20ab2fc55466100cbd4ed1158a4b/src/compiler.rs#L120
Some info the tracing can show: