kimchi::circuits::polynomials::turshi::testing

Function ensure_cairo_gate

Source 
pub fn ensure_cairo_gate<F: PrimeField>(
    gate: &CircuitGate<F>,
    row: usize,
    witness: &[Vec<F>; 15],
) -> Result<(), String>
Expand description

verifies that the Cairo gate constraints are solved by the witness depending on its type

ยงErrors

Will give error if gate is not Cairo-related gate or zero gate.