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