package tezos-plompiler

  1. Overview
  2. Docs

Module Gadget.JubjubEdwardsSource

Parameters

module L : sig ... end

Signature

Sourcetype point = L.scalar * L.scalar
Sourceval input_point : ?public:bool -> (Csir.Scalar.t * Csir.Scalar.t) -> point L.repr L.t
Sourceval is_on_curve : point L.repr -> bool L.repr L.t
Sourceval from_coordinates : L.scalar L.repr -> L.scalar L.repr -> point L.repr L.t

Also checks that the point is on the curve (but not necessarily in the subgroup).

Sourceval unsafe_from_coordinates : L.scalar L.repr -> L.scalar L.repr -> point L.repr L.t
Sourceval get_u_coordinate : point L.repr -> L.scalar L.repr
Sourceval get_v_coordinate : point L.repr -> L.scalar L.repr

The identity element of the curve (0, 1).

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 multi_scalar_mul : bool list list L.repr -> point list L.repr -> point L.repr L.t
OCaml

Innovation. Community. Security.