search

Consensys / gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
https://hackmd.io/@gnark
Apache License 2.0
1.39k stars 357 forks source link

Is there an implementation for ed25519 signature verification circuit? #1175

Open Teja2045 opened 2 months ago

Teja2045 commented 2 months ago

I want to use ed25519 signature circuit to verify Cosmos SDK consensus signatures, but there is no implementation for the curve in gnark-crypto labrary. It would great if someone can cite an example circuit implementation of it(just the signature verification) or instructions on how to implement it.

ivokub commented 2 months ago

Indeed we don't https://github.com/Consensys/gnark/discussions/991 for a bit more information on why we haven't done it yet. We don't currently have it on the roadmap either, but definitely would be a great addition, imo we should have the tools.