package octez-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e
sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053
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