package tezos-plompiler

  1. Overview
  2. Docs
package tezos-plompiler
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module L : sig ... end

Signature

type point = L.scalar * L.scalar
val input_point : ?public:bool -> (Csir.Scalar.t * Csir.Scalar.t) -> point L.repr L.t
val is_on_curve : point L.repr -> bool L.repr L.t
val 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).

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

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

val double : point L.repr -> point L.repr L.t
val scalar_mul : bool list L.repr -> point L.repr -> point L.repr L.t
val scalar_order : Z.t
val base_order : Z.t
val multi_scalar_mul : bool list list L.repr -> point list L.repr -> point L.repr L.t