package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

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