kimchi::circuits::polynomials::turshi::witness

Function 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