Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange - View it on GitHub