Batch ECDSA in zkSNARKs

With gratitude to Yi Sun for writing the original spec, Jonathan Wang for circuit design help, and the Optimism & Arbitrum team for fruitful discussions.

We present circom-batch-ECDSA (link to repo), a proof-of-concept implementation building on top of circom-ECDSA (previous work done by others in the 0xPARC community) with inspiration from halo2-batch-ECDSA that allows for dramatically faster verification of a batch of ECDSA signatures in a single SNARK.

Please visit https://0xparc.org/blog/batch-ecdsa for the rest of the article.