package octez-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4
sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13
doc/octez-libs.mec/Mec/Curve/Utils/PBT/MakeECProperties/index.html
Module PBT.MakeECPropertiesSource
Parameters
module G : sig ... endSignature
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