https://github.com/mit-plv/fiat-crypto
Raw File
Tip revision: b64e689afd0e77f2802a07c0c3c4e95e650ff89a authored by Andres Erbsen on 14 December 2020, 19:06:44 UTC
do not use a precomputed table in ed25519 sign
Tip revision: b64e689
Crypto.Fancy.Montgomery256.prod_montred256_correct.Assumptions.expected
Closed under the global context
back to top