package octez-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e
sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053
doc/octez-libs.plompiler/Plompiler/Gadget/Edwards25519/index.html
Module Gadget.Edwards25519
Source
Parameters
module L : sig ... end
Signature
Represents an element from a base field
Returns a Plompiler representation of a point
is_on_curve p
checks whether a point p
is on the curve
from_coordinates x y
constructs a point p = (x, y)
from coordinates x
and y
. The function also checks whether the point is on the curve (but not necessarily in the subgroup)
unsafe_from_coordinates x y
is similar to from_coordinates
but does not verify the point is on the curve. It can be used to build a variable of type point
without adding any constraint
get_x_coordinate p
returns a first coordinate x
of a point p
get_y_coordinate p
returns a second coordinate y
of a point p
add p q
computes a point addition p + q
cond_add p q b
returns p + b * q
, i.e., either a point addition p
and q
or a point p
based on the value b
scalar_mul s p
computes a point multiplication p
by a scalar s
. The scalar s
is encoded in little-endian order
multi_scalar_mul ls lp
computes the multi-scalar multiplication s₁·p₁ + s₂·p₂ + … + sₖ·pₖ
Returns the order of the prime-order subgroup of the elliptic curve group
Returns the prime number defining the underlying field