package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Bls12_381.G2 end
exception Not_on_curve of Stdlib.Bytes.t
type t = Bls12_381.G2.t
type affine = Bls12_381.G2.affine
val affine_of_jacobian : t -> affine
val jacobian_of_affine : affine -> t
type affine_array = Bls12_381.G2.affine_array
val to_affine_array : t array -> affine_array
val of_affine_array : affine_array -> t array
val size_of_affine_array : affine_array -> int
val size_in_memory : int
val compressed_size_in_bytes : int
val size_in_bytes : int
module Scalar = Bls12_381.G2.Scalar
val check_bytes : Stdlib.Bytes.t -> bool
val of_bytes_opt : Stdlib.Bytes.t -> t option
val of_bytes_exn : Stdlib.Bytes.t -> t
val of_compressed_bytes_opt : Stdlib.Bytes.t -> t option
val of_compressed_bytes_exn : Stdlib.Bytes.t -> t
val to_bytes : t -> Stdlib.Bytes.t
val to_compressed_bytes : t -> Stdlib.Bytes.t
val zero : t
val one : t
val is_zero : t -> bool
val copy : t -> t
val random : ?state:Stdlib.Random.State.t -> unit -> t
val add : t -> t -> t
val add_inplace : t -> t -> unit
val add_bulk : t list -> t
val double : t -> t
val negate : t -> t
val eq : t -> t -> bool
val mul : t -> Scalar.t -> t
val mul_inplace : t -> Scalar.t -> unit
val hash_to_curve : Stdlib.Bytes.t -> Stdlib.Bytes.t -> t
val pippenger : ?start:int -> ?len:int -> t array -> Scalar.t array -> t
val pippenger_with_affine_array : ?start:int -> ?len:int -> affine_array -> Scalar.t array -> t
val of_z_opt : x:(Z.t * Z.t) -> y:(Z.t * Z.t) -> t option
val t : t Repr.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct