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

source ·

Functions

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