Module Gadget.JubjubEdwardsSource

Parameters

module L : sig ... end

Signature

module L : sig ... end
Sourcetype point = L.scalar * L.scalar
Sourceval input_point : ?kind:L.input_kind -> (Csir.Scalar.t * Csir.Scalar.t) -> point L.repr L.t
Sourceval is_on_curve : point L.repr -> bool L.repr L.t
Sourceval assert_is_on_curve : point L.repr -> unit L.repr L.t
Sourceval from_coordinates : L.scalar L.repr -> L.scalar L.repr -> point L.repr L.t
Sourceval unsafe_from_coordinates : L.scalar L.repr -> L.scalar L.repr -> point L.repr L.t
Sourceval get_x_coordinate : point L.repr -> L.scalar L.repr
Sourceval get_y_coordinate : point L.repr -> L.scalar L.repr
Sourceval scalar_mul : bool list L.repr -> point L.repr -> point L.repr L.t
Sourceval scalar_order : Z.t
Sourceval base_order : Z.t
Sourceval cond_add : point L.repr -> point L.repr -> bool L.repr -> point L.repr L.t
Sourceval multi_scalar_mul : bool list list L.repr -> point list L.repr -> point L.repr L.t