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