Module zkinterface::examples

Functions

example_circuit
example_circuit_inputs	A test circuit of inputs x,y,zz such that x^2 + y^2 = zz.
serialize_small
write_example_constraints
write_example_witness
write_example_witness_inputs