package octez-libs

  1. Overview
  2. Docs

Parameters

Signature

module Singleton : sig ... end
val multi_input_commit : Main.prover_public_parameters -> Main.scalar array list -> Main.Input_commitment.t list
val print_info : string -> bool -> Main.proof -> Main.prover_public_parameters -> Main.verifier_public_parameters -> unit
val make_secret : Main.prover_public_parameters -> int list -> Main.scalar array -> Main.circuit_prover_input
val 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
val test_circuit : name:Kzg.SMap.key -> ?zero_knowledge:bool -> ?outcome:Cases.outcome -> ?verbose:bool -> Plonk.Circuit.t -> Main.scalar array -> unit
val run_test_case : zero_knowledge:bool -> ?verbose:bool -> Cases.case -> unit -> unit
val test_aggregated_cases : ?prefix:string -> Cases.case list -> string * (zero_knowledge:bool -> unit -> unit)
OCaml

Innovation. Community. Security.