Module witness

kimchi::circuits::polynomials::turshi

Module witness 

Source

Functions§

auxiliary_witness 🔒
cairo_witness
Returns the witness of an execution of a Cairo program in CircuitGate format
claim_witness 🔒
flag_witness 🔒
instruction_witness 🔒
transition_witness 🔒