package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type
type scalar = Super_PC.Scalar.t
type t = Super_PC.Polynomial.Polynomial.t
val t : t Repr.t
val allocate : int -> t
val erase : t -> unit
val generate_biased_random_polynomial : int -> t
val random : int -> t
val degree : t -> int
val get : t -> int -> scalar
val to_string : t -> string
val copy : ?offset:int -> ?len:int -> t -> t
val to_dense_coefficients : t -> scalar array
val of_dense : scalar array -> t
val of_coefficients : (scalar * int) list -> t
val equal : t -> t -> bool
val is_zero : t -> bool
val zero : t
val one : t
val add : t -> t -> t
val add_inplace : t -> t -> t -> unit
val sub : t -> t -> t
val sub_inplace : t -> t -> t -> unit
val mul : t -> t -> t
val mul_by_scalar : scalar -> t -> t
val mul_by_scalar_inplace : t -> scalar -> t -> unit
val linear : t list -> scalar list -> t
val linear_with_powers : t list -> scalar -> t
val opposite : t -> t
val opposite_inplace : t -> unit
val evaluate : t -> scalar -> scalar
exception Rest_not_null of string
val division_xn : t -> int -> scalar -> t * t
val mul_xn : t -> int -> scalar -> t
val derivative : t -> t
val split : nb_chunks:int -> int -> t -> t list
val blind : nb_blinds:int -> int -> t -> t * t
val (=) : t -> t -> bool
val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : t -> t -> t
val constant : scalar -> 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