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_protocol/index.html

Module Aggregation.Polynomial_protocolSource

Sourcemodule SMap = Plonk.SMap
Sourcemodule type S = sig ... end
include sig ... end
Sourcemodule PC : sig ... end
Sourcemodule Evaluations : sig ... end
Sourcetype prover_public_parameters = PC.Public_parameters.prover
Sourceval prover_public_parameters_t : prover_public_parameters Repr.t
Sourcetype verifier_public_parameters = PC.Public_parameters.verifier
Sourceval verifier_public_parameters_t : verifier_public_parameters Repr.t
Sourcetype transcript = PC.transcript
Sourceval transcript_t : transcript Repr.t
Sourcetype proof = Make_aggregation(Polynomial_commitment).proof = {
  1. cm_t : PC.Commitment.t;
  2. pc_proof : PC.proof;
  3. pc_answers : PC.answer list;
}
Sourceval proof_t : proof Repr.t
Sourcetype eval_point = Make_aggregation(Polynomial_commitment).eval_point =
  1. | X
  2. | GX
  3. | Custom of string * PC.Scalar.t -> PC.Scalar.t
Sourceval convert_eval_points : generator:PC.Scalar.t -> x:PC.Scalar.t -> eval_point list -> PC.Scalar.t Plonk.SMap.t
Sourceval get_answer : PC.answer -> eval_point -> string -> PC.Scalar.t
Sourceval merge_prover_identities : prover_identities list -> prover_identities
Sourceval merge_verifier_identities : verifier_identities list -> verifier_identities
Sourceval compute_t : n:int -> alpha:PC.Scalar.t -> nb_of_t_chunks:int -> Evaluations.t Plonk.SMap.t -> Evaluations.polynomial Plonk.SMap.t
Sourceval setup : setup_params:PC.Public_parameters.setup_params -> srs:(Bls12_381_polynomial.Srs.t * Bls12_381_polynomial.Srs.t) -> prover_public_parameters * verifier_public_parameters
Sourceval prove : prover_public_parameters -> transcript -> n:int -> generator:PC.Scalar.t -> secrets: (PC.Polynomial.Polynomial.t Plonk.SMap.t * PC.Commitment.prover_aux) list -> eval_points:eval_point list list -> evaluations:Evaluations.t Plonk.SMap.t -> identities:prover_identities -> nb_of_t_chunks:int -> proof * transcript
Sourceval verify : verifier_public_parameters -> transcript -> n:int -> generator:PC.Scalar.t -> commitments:PC.Commitment.t list -> eval_points:eval_point list list -> ?non_committed:non_committed -> identities:verifier_identities -> proof -> bool * transcript
Sourceval poseidon : PC.Scalar.t array -> PC.Scalar.t
Sourceval prove_super_aggregation : prover_public_parameters -> transcript -> n:int -> generator:PC.Scalar.t -> secrets:(PC.Polynomial.Polynomial.t SMap.t * PC.Commitment.prover_aux) list -> eval_points:eval_point list list -> evaluations:Evaluations.t SMap.t -> identities:prover_identities -> nb_of_t_chunks:int -> (proof * prover_aux) * transcript
Sourceval verify_super_aggregation : verifier_public_parameters -> transcript -> n:int -> generator:PC.Scalar.t -> commitments:PC.Commitment.t list -> eval_points:eval_point list list -> s_list:PC.Scalar.t SMap.t list -> cm_answers:PC.Scalar.t -> proof -> (bool * verifier_aux) * PC.transcript