package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

Parameters

module Main : Plonk.Main_protocol.S

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)