package octez-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Plonk zero-knowledge proving system

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (1)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/octez-plonk.plonk-test/Plonk_test/Helpers/Make/index.html

Module `Helpers.Make`Source

Parameters

module Main : Plonk.Main_protocol.S

Signature

Sourcemodule Singleton : sig ... end

Source

val multi_input_commit : 
  Main.prover_public_parameters ->
  Main.scalar array list ->
  Main.Input_commitment.t list

Source

val print_info : 
  string ->
  bool ->
  Main.proof ->
  Main.prover_public_parameters ->
  Main.verifier_public_parameters ->
  unit

Source

val make_secret : 
  Main.prover_public_parameters ->
  int list ->
  Main.scalar array ->
  Main.circuit_prover_input

Source

val test_circuits : 
  name:string ->
  ?zero_knowledge:bool ->
  ?outcome:Cases.outcome ->
  ?verbose:bool ->
  (Plonk.Circuit.t * int) Plonk.SMap.t ->
  Main.scalar array list Plonk.SMap.t ->
  unit

Source

val test_circuit : 
  name:Plonk.SMap.key ->
  ?zero_knowledge:bool ->
  ?outcome:Cases.outcome ->
  ?verbose:bool ->
  Plonk.Circuit.t ->
  Main.scalar array ->
  unit

Source

val run_test_case : 
  zero_knowledge:bool ->
  ?verbose:bool ->
  Cases.case ->
  unit ->
  unit

Source

val test_aggregated_cases : 
  ?prefix:string ->
  Cases.case list ->
  string * (zero_knowledge:bool -> unit -> unit)

On This Page

Parameters
Signature

package octez-plonk

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-plonk.plonk-test/Plonk_test/Helpers/Make/index.html

Module Helpers.MakeSource

Parameters

Signature

Module `Helpers.Make`Source