Function kimchi::circuits::polynomials::turshi::testing::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.