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