lucasege

Responded in-line, great questions - got me thinking about a lot more intricate details. > What is the data structure of a proof? A proof in `celo-blockchain` will just be...

Good points here @psivesely , thanks for correcting and verifying things I've been guessing/approximating at: https://github.com/celo-org/celo-proposals/pull/41#issuecomment-667634302. I'll pull your comments out for cleanliness: > The verification key is quite short,...

> One thing missing from discussion here is batch verification. Batch verification refers to using a modified version of a verification algorithm to verify multiple SNARKs/ signatures/ etc. together faster...