Ed25519 has emerged as a popular signature scheme in the blockchain ecosystem. Verifying blockchain consensus requires verifying a large number of Ed25519 signatures (validators' signatures). Hence, there is a need for succinct verification of a batch of Ed25519 signatures.
We have developed a library that enables creating a zk-snark proof of Ed25519 signatures.
The code can be found here. See the following sections to see the underlying details of how it works.
Our product is built on Circom and we use snarkJS and Rapidsnark for proof generation.