package octez-plonk

  1. Overview
  2. Docs
package octez-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Scalar = Plonk.Bls.Scalar
val (!) : int list -> Scalar.t list
val (!!) : int list -> Scalar.t array
type outcome =
  1. | Valid
  2. | Proof_error
  3. | Lookup_error
type case = {
  1. name : string;
  2. circuit : Plonk.Circuit.t;
  3. witness : Scalar.t array;
  4. outcome : outcome;
}
val aggregate_cases : ?prefix:string -> case list -> string * (Plonk.Circuit.t * int) Plonk.SMap.t * Scalar.t array list Plonk.SMap.t * outcome
module Unit_tests_for_each_selector : sig ... end
module General_circuits : sig ... end
module General : sig ... end
module Big_circuit : sig ... end
val list : case list
val list_slow : case list
module Lookup : 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