Open mimoo opened 3 weeks ago
we should generate two field elements a, b with a proptest library (like proptest) and check that the less_than gadget returns the same result as the a < b outside the circuit
a, b
less_than
a < b
we should generate two field elements
a, bwith a proptest library (like proptest) and check that theless_thangadget returns the same result as thea < boutside the circuit