package octez-libs

  1. Overview
  2. Docs
module Scalar = Kzg.Bls.Scalar
module SMap = Kzg.SMap
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) SMap.t * Scalar.t array list SMap.t * outcome
module Unit_tests_for_each_selector : sig ... end
module General_circuits : sig ... end
module General : sig ... end
module Range_Checks : sig ... end
module Mod_Arith : sig ... end
module Big_circuit : sig ... end
val list : case list
val list_slow : case list
module Lookup : sig ... end
OCaml

Innovation. Community. Security.