New bool verification3 - Githubissues

gnosis / dex-zksnarks

Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange

46 stars 7 forks source link

Closed josojo closed 5 years ago

josojo commented 5 years ago

new isBoolVerification gadget to verify that snark is really operating on bools

josojo commented 5 years ago

New, cleaner PR opened