package octez-plompiler

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module L : sig ... end

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 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

val id : Csir.Scalar.t * Csir.Scalar.t

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

val add : point L.repr -> point L.repr -> point L.repr L.t

val cond_add : point L.repr -> point L.repr -> bool L.repr -> point L.repr L.t

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