aboutsummaryrefslogtreecommitdiff
path: root/src/Spec
ModeNameSize
-rw-r--r--CompleteEdwardsCurve.v2184logplain
-rw-r--r--Ed25519.v4204logplain
-rw-r--r--EdDSA.v3168logplain
-rw-r--r--ModularArithmetic.v3300logplain
-rw-r--r--MontgomeryCurve.v2702logplain
-rw-r--r--MxDH.v4304logplain
d---------Test36logplain
-rw-r--r--WeierstrassCurve.v2983logplain