Trace generation is a process of running Cairo program on given inputs and generating pie.zip
file. Pie represents exact execution of Cairo program and is necessary for proof generation.
programFile
- compiled Cairo program in JSON format for cairo0 or SIERRA file for cairo1.
inputFile
- depending on Cairo and VM version:
[1 [2 3 4]]
as described in Rust VM documentation. Keep in mind that your cairo main function should have signature fn main(input: Array<felt252>) -> Array<felt252>
.cairo-run
of cairo-lang)