package mec
Install
Dune Dependency
Authors
Maintainers
Sources
md5=7c68b531c8011b5d032f0a0d8523e8c5
sha512=f428751c5f2b7c7fc07548551bea0277c9c8c32c1052aecf22787188e7678939dbb091844e29178b2819d724cf843c65774d9211c0a0ede5bf71caff3f2dd1bc
doc/mec_curve_utils/Mec_curve_utils/PBT/MakeECProperties/index.html
Module PBT.MakeECPropertiesSource
Parameters
module G : Mec_curve_sig.Ec_sig.BASESignature
Verify that a random point is valid
Verify that the zero point is valid
Verify that the fixed generator point is valid
Verify that doubling a random point gives a valid point
Verify that the sum of random points is valid
Verify that multiplying a random point by a scalar gives a valid point
Verify 0_S * g_EC = 0_EC where 0_S is the zero of the scalar field, 0_EC is the point at infinity and g_EC is an element of the EC
Verify 0_S * 0_EC = 0_EC where 0_S is the zero of the scalar field and 0_EC is the point at infinity of the EC
Verify 0_S * 1_EC = 0_EC where 0_S is the 0 of the scalar field, 1_EC is a fixed generator and 0_EC is the point at infinity of the EC
Verify -(-g) = g where g is an element of the EC
Verify -(-0_EC) = 0_EC where 0_EC is the point at infinity of the EC
Verify -(-0_EC) = 0_EC where 0_EC is the point at infinity of the EC
Verify -(-0_EC) = 0_EC where 0_EC is the point at infinity of the EC
Verify g1 + (g2 + g3) = (g1 + g2) + g3
Verify (g1 + g2) = (g2 + g1)
Verify that g + (-g) = 0
Verify a (g1 + g2) = a * g1 + a * g2 where a is a scalar, g1, g2 two elements of the EC
Verify (a + -a) * g = a * g - a * g = 0
a g + b + g = (a + b) g
(a * b) g = a (b g) = b (a g)
Verify (-s) * g = s * (-g)
Verify 2*g = g + g
Returns the tests to be used with Alcotest