aboutsummaryrefslogtreecommitdiff
path: root/src/Spec
ModeNameSize
-rw-r--r--CompleteEdwardsCurve.v2164logplain
-rw-r--r--Ed25519.v3377logplain
-rw-r--r--EdDSA.v3763logplain
-rw-r--r--Encoding.v301logplain
-rw-r--r--ModularArithmetic.v2828logplain
-rw-r--r--ModularWordEncoding.v1214logplain
-rw-r--r--MxDH.v3233logplain
-rw-r--r--WeierstrassCurve.v3762logplain