package octez-plonk
Plonk zero-knowledge proving system
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/octez-plonk.distribution/Plonk_for_distribution/Main_protocol/Make/Verifier/index.html
Module Make.VerifierSource
Source
type common_verifier_pp = {n : int;generator : Plonk.Bls.Scalar.t;pp_public_parameters : PP.verifier_public_parameters;cm_g : PP.PC.Commitment.t;eval_points : Plonk.Identities.eval_point list list;
}Source
type circuit_verifier_pp = {gates : unit Plonk.SMap.t;alpha : Plonk.Bls.Scalar.t option;ultra : bool;input_com_sizes : int list;range_checks : bool;
}Source
val circuit_verifier_pp_of_circuit_prover_pp :
Prover.circuit_prover_pp ->
circuit_verifier_ppSource
val build_identities :
circuit_verifier_pp Plonk.SMap.t ->
(int * Plonk.Bls.Scalar.t) ->
gate_randomness ->
Plonk.Bls.Scalar.t array Plonk.List.t Plonk.SMap.t ->
Plonk.Identities.verifier_identitiesSource
val verify_parameters :
((common_verifier_pp * circuit_verifier_pp Plonk.SMap.t) * bytes) ->
(public_inputs * Input_commitment.public list list) Plonk.SMap.t ->
proof ->
bytes
* Plonk.Identities.verifier_identities
* gate_randomness
* PP.PC.Commitment.t list
* Plonk.Identities.eval_point list list