package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type
module PP : sig ... end
module MP = PP.MP
module Scalar = PP.PC.Scalar
module Domain = PP.PC.Polynomial.Domain
module Evaluations = PP.Evaluations
module MPoly = PP.MP.Polynomial
module Fr_generation = PP.PC.Fr_generation
val monomial_of_list : SMap.key list -> int SMap.t
val one : Scalar.t
val minus_one : Scalar.t
val x_poly : Poly.t
val left : string
val right : string
val output : string
val next_left : string
val next_right : string
val next_output : string
val prefix_list : string -> string list -> string list
val arith : string
module type Gate_base_sig = sig ... end
module type Params = sig ... end
module AddWire_gate (Params : Params) : sig ... end
module AddOutput_gate : sig ... end
module AddLeft_gate : sig ... end
module AddRight_gate : sig ... end
module AddNextOutput_gate : sig ... end
module AddNextLeft_gate : sig ... end
module AddNextRight_gate : sig ... end
module Constant_gate : sig ... end
module Multiplication_gate : sig ... end
module AddWeierstrass_gate : sig ... end
module AddEdwards_gate : sig ... end
module Public_gate : sig ... end
module X5_gate : sig ... end
module Gate_aggregator : sig ... end
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