kimchi::circuits::polynomials::turshi

Module testing

Source

Functionsยง

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