Module testing

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
ensure_claim 🔒
ensure_flags 🔒
ensure_instruction 🔒
ensure_transition 🔒