New bool verification - 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

Additional bool verification needed to make our smart contracts secure.

Tests are added