Module Helpers.MakeSource

Parameters

Signature

Sourcemodule Singleton : sig ... end
Sourceval multi_input_commit : Main.prover_public_parameters -> Main.scalar array list -> Main.Input_commitment.t list
Sourceval print_info : string -> bool -> Main.proof -> Main.prover_public_parameters -> Main.verifier_public_parameters -> unit
Sourceval test_circuits : name:string -> ?zero_knowledge:bool -> ?outcome:Cases.outcome -> ?verbose:bool -> (Plonk.Circuit.t * int) Kzg.SMap.t -> Main.scalar array list Kzg.SMap.t -> unit
Sourceval test_circuit : name:Kzg.SMap.key -> ?zero_knowledge:bool -> ?outcome:Cases.outcome -> ?verbose:bool -> Plonk.Circuit.t -> Main.scalar array -> unit
Sourceval run_test_case : zero_knowledge:bool -> ?verbose:bool -> Cases.case -> unit -> unit
Sourceval test_aggregated_cases : ?prefix:string -> Cases.case list -> string * (zero_knowledge:bool -> unit -> unit)