proof-systems icon indicating copy to clipboard operation
proof-systems copied to clipboard

Published 20 hours ago • verified publisher icon o1-labs

Support "and" "or" gadgets

Open katat opened this issue 2 years ago • 1 comments

Here tries to support both "and" and "or" gadgets.

It comes with a way to test the corresponding gadgets. Let me know if this approach to testing the gadgets looks good, I am happy to cover the rest of the gadgets in the circuit-construction in a separate PR :D

katat avatar Jun 14 '22 10:06 katat

Stale pull request message

github-actions[bot] avatar Aug 15 '22 07:08 github-actions[bot]