package tezos-plonk

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

Module Circuit.GatesSource

Sourcemodule PP : sig ... end
Sourcemodule MP = PP.MP
Sourcemodule Scalar = PP.PC.Scalar
Sourcemodule Evaluations = PP.Evaluations
Sourcemodule MPoly = PP.MP.Polynomial
Sourcemodule Fr_generation = PP.PC.Fr_generation
Sourceval monomial_of_list : SMap.key list -> int SMap.t
Sourceval one : Scalar.t
Sourceval minus_one : Scalar.t
Sourceval x_poly : Poly.t
Sourceval left : string
Sourceval right : string
Sourceval output : string
Sourceval next_left : string
Sourceval next_right : string
Sourceval next_output : string
Sourceval prefix_list : string -> string list -> string list
Sourceval arith : string
Sourcemodule type Gate_base_sig = sig ... end
Sourcemodule type Params = sig ... end
Sourcemodule AddWire_gate (Params : Params) : sig ... end
Sourcemodule AddOutput_gate : sig ... end
Sourcemodule AddLeft_gate : sig ... end
Sourcemodule AddRight_gate : sig ... end
Sourcemodule AddNextOutput_gate : sig ... end
Sourcemodule AddNextLeft_gate : sig ... end
Sourcemodule AddNextRight_gate : sig ... end
Sourcemodule Constant_gate : sig ... end
Sourcemodule Multiplication_gate : sig ... end
Sourcemodule AddWeierstrass_gate : sig ... end
Sourcemodule AddEdwards_gate : sig ... end
Sourcemodule Public_gate : sig ... end
Sourcemodule X5_gate : sig ... end
Sourcemodule 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