package octez-plompiler

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

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 add : point L.repr -> point 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 ->
  bool L.repr ->
  point L.repr L.t

val scalar_order : Z.t

val base_order : Z.t