How to use?
To generate a trace, you need two things:-
programFile- compiled Cairo program in JSON format for Cairo0 or a Sierra file for Cairo1. -
(optional)
inputFile- supported input format depends on Cairo and VM version:- Cairo1 - text file containing an input array, e.g.
[1 [2 3 4]], as described in the Rust VM documentation. Your Cairo main function should usefn main(input: Array<felt252>) -> Array<felt252>. - Cairo0, Python VM - JSON file representing program private input (as in
cairo-runfrom cairo-lang) - Cairo0, Rust VM - not supported
- Cairo1 - text file containing an input array, e.g.

