Verifiction circuit for ed25519 signature - Githubissues

Electron-Labs / ed25519-circom

ED25519 implementation in Circom

https://docs.electronlabs.org/

111 stars 15 forks source link

Verifiction circuit for ed25519 signature #27

Closed rahulghangas closed 2 years ago

rahulghangas commented 2 years ago

[x] binary modulus with q=2^252 + 27742317777372353535851937790883648493
[x] template for point equality check
[x] ed25519 signature verification circuit
[x] Testing for modulus and signature verification
[ ] Testing for point equality check