Function kimchi::circuits::polynomials::turshi::witness::cairo_witness
source · pub fn cairo_witness<F: Field>(prog: &CairoProgram<'_, F>) -> [Vec<F>; 15]Expand description
Returns the witness of an execution of a Cairo program in CircuitGate format