blob: 1ac5075efd5a9102a183e1d00380445ca74e9e99 (
plain)
1
2
3
4
5
6
7
|
Remaining work needed for Gallina verification code
---------------------------------------------------
+ efficient GF exponentiation
+ efficient GF inverse
+ make EdDSA point addition use ModularBaseSystem
+ represent scalars (Fl) in ModularBaseSystem (large c)
+ canonical representations of field elements
|
