Setting up the development environment

• We had 8M+ constraints for our hack, so we needed to set up an EC2 instance to compile and generate proving keys. We followed the best practices for large circuits and used the the AWS z1d line of machines
• Proving key generation took 15-30 min depending on how many CPUs we were using. Compilation took around 9 min

Regexing the Venmo confirmation email

• Regex was a pain to work with especially in Circom. Luckily the ZK-email regex scripts helped a lot with converting regex into Circom templates
• Connecting the regex inputs to the UI

Covering edge cases to ensure the trade is trustless. We designed the flow below

• User cannot grief market maker by posting an order with no intention of completing the off-chain Venmo charge
• Market maker cannot grief users by never intending to fill order
• No race conditions if 2 users want to fill the same order
• We came up with the onramp user initiated order flow to mitigate these edge cases