package tezos-plonk

  1. Overview
  2. Docs
Plonk zero-knowledge proving system

Install 

dune-project
 Dependency

research-development.nomadic-labs.com Readme Edit opam file Versions (6)

Authors

  1. N
    Nomadic Labs Privacy Team

Maintainers

  1. P
    privacy-team@nomadic-labs.com

Sources

privacy-team-v1.0.0.tar.gz
md5=c9007a234fbacaddbc652c139cac56db
sha512=b67825a9259c27ccba51a4cb98056985c93f74f5211d422ce8ee8c35cda748c22bd1e59b3a584a79f96c1be21a409a12ee4b705346e1319c6d8bf45e81029f93

doc/tezos-plonk.aggregation/Aggregation/Polynomial_commitment/Make_impl/argument-1-Pack/index.html

Parameter Make_impl.Pack

type scalar
type g1
type g2
type gt
type prover_public_parameters
val prover_public_parameters_t : prover_public_parameters Repr.t
type verifier_public_parameters
val verifier_public_parameters_t : verifier_public_parameters Repr.t
type data = g1
type commitment = {
  1. cmt_t : gt;
  2. cmt_len : int;
}
val commitment_t : commitment Repr.t
type randomness = scalar
type packed = g1
val packed_t : packed Repr.t
type proof
val proof_t : proof Repr.t
type transcript = Bytes.t
type setup_params
val setup : int -> Bls12_381_polynomial.Srs.t -> prover_public_parameters * verifier_public_parameters
val get_setup_params : prover_public_parameters -> setup_params
val public_parameters_to_bytes : prover_public_parameters -> Bytes.t
val commit : prover_public_parameters -> data array -> commitment
val commitment_cardinal : commitment -> int
val partial_commit : relevant_positions:int list -> prover_public_parameters -> data array -> commitment
val empty_commitment : commitment
val combine : commitment -> commitment -> commitment
val prove_single : prover_public_parameters -> transcript -> randomness -> data array -> (packed * proof) * transcript
val prove : prover_public_parameters -> transcript -> randomness -> data array list -> (packed list * proof) * transcript
val verify_single : verifier_public_parameters -> transcript -> commitment -> randomness -> (packed * proof) -> bool * transcript
val verify : verifier_public_parameters -> transcript -> commitment list -> randomness -> (packed list * proof) -> bool * transcript