Is there an implementation for ed25519 signature verification circuit?

[Teja2045]

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]

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.