package octez-plompiler

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module L : sig ... end

Signature

type point = L.scalar * L.scalar
val input_point : ?kind:L.input_kind -> (Csir.Scalar.t * Csir.Scalar.t) -> point L.repr L.t
val assert_is_on_curve : point L.repr -> unit L.repr L.t
val from_coordinates : L.scalar L.repr -> L.scalar L.repr -> point L.repr L.t
val unsafe_from_coordinates : L.scalar L.repr -> L.scalar L.repr -> point L.repr L.t

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.

val get_x_coordinate : point L.repr -> L.scalar L.repr
val get_y_coordinate : point L.repr -> L.scalar L.repr
val double : point L.repr -> point L.repr L.t
val scalar_mul : bool list L.repr -> point L.repr -> bool L.repr -> point L.repr L.t
val scalar_order : Z.t
val base_order : Z.t
OCaml

Innovation. Community. Security.