Module Plonk_test.CasesSource

Sourcemodule Scalar = Plonk.Bls.Scalar
Sourceval (!) : int list -> Scalar.t list
Sourceval (!!) : int list -> Scalar.t array
Sourcetype outcome =
  1. | Valid
  2. | Proof_error
  3. | Lookup_error
Sourcetype case = {
  1. name : string;
  2. circuit : Plonk.Circuit.t;
  3. witness : Scalar.t array;
  4. outcome : outcome;
}
Sourceval aggregate_cases : ?prefix:string -> case list -> string * (Plonk.Circuit.t * int) Plonk.SMap.t * Scalar.t array list Plonk.SMap.t * outcome
Sourcemodule General_circuits : sig ... end
Sourcemodule General : sig ... end
Sourcemodule Big_circuit : sig ... end
Sourceval list : case list
Sourceval list_slow : case list
Sourcemodule Lookup : sig ... end