search

gnosis / dex-zksnarks

Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange
46 stars 7 forks source link

E2E for trade execution snark #35

Open fleupold opened 5 years ago

fleupold commented 5 years ago

Once we have the optimiser produce valid output, we should capture a small example and verify it using the conversion script and the trade_execution snark.