Expand description
Test helpers (also used in Hyrax tests)
Functions§
- build_
ligero_ layer_ spec - Helper function for
test_small_circuit_with_hyrax_layer. - build_
small_ circuit_ and_ data - small_
circuit_ with_ committed_ inputs - Return a provable circuit description with committed inputs for a trivial 2x2 identity matrix circuit.
- small_
circuit_ 🔒with_ inputs - small_
circuit_ with_ public_ inputs - Return a provable circuit description with public inputs for a trivial 2x2 identity matrix circuit.
- small_
hyrax_ circuit_ with_ private_ inputs - Return a hyrax provable circuit description with hyrax private inputs for a trivial 2x2 identity matrix circuit.
- small_
hyrax_ circuit_ with_ public_ inputs - Return a hyrax provable circuit description with public inputs for a trivial 2x2 identity matrix circuit.