package tezos-plonk
Plonk zero-knowledge proving system
Install
Dune Dependency
Authors
Maintainers
Sources
privacy-team-v1.0.1.tar.gz
md5=03d6ca5fb1c6865b6628e0dd49575895
sha512=20494d1d00ded43f3625e06e037d3bad04f0a7320914b542b882d3d0293c9b02845b7ca9ee4ff0eb8ea495eff5633016861c39370cca92c12aacae0e84483ca4
doc/tezos-plonk.distribution/Distribution/Main_protocol/Make/Plook/index.html
Module Make.Plook
module PP : sig ... endtype public_parameters =
(PP.prover_public_parameters * PP.verifier_public_parameters)
* PP.PC.Scalar.t array list
* PP.PC.Polynomial.Polynomial.t Plonk.SMap.tval format_tables :
tables:PP.PC.Scalar.t array list list ->
nb_columns:int ->
length_not_padded:int ->
length_padded:int ->
PP.PC.Scalar.t array listval common_preprocessing :
n:int ->
domain:PP.PC.Polynomial.Domain.t ->
PP.PC.Polynomial.Polynomial.t Plonk.SMap.tval preprocessing :
?prefix:string ->
domain:PP.PC.Polynomial.Domain.t ->
tables:PP.PC.Scalar.t array list ->
alpha:PP.PC.Scalar.t ->
unit ->
PP.PC.Polynomial.Polynomial.t Plonk.SMap.tval setup :
?nb_pack:int ->
nb_wires:int ->
domain:PP.PC.Polynomial.Domain.t ->
size_domain:int ->
tables:PP.PC.Scalar.t array list list ->
table_size:int ->
alpha:PP.PC.Scalar.t ->
srs:(Bls12_381_polynomial.Srs.t * Bls12_381_polynomial.Srs.t) ->
unit ->
public_parametersval prover_identities :
?circuit_name:string ->
proof_idx:int ->
nb_proofs:int ->
f_map:PP.PC.Polynomial.Polynomial.t Plonk.SMap.t ->
wires_name:string array ->
alpha:PP.PC.Scalar.t ->
beta:PP.PC.Scalar.t ->
gamma:PP.PC.Scalar.t ->
ultra:bool ->
n:int ->
unit ->
PP.prover_identitiesval verifier_identities :
?circuit_name:string ->
proof_idx:int ->
nb_proofs:int ->
wires_name:string array ->
alpha:PP.PC.Scalar.t ->
beta:PP.PC.Scalar.t ->
gamma:PP.PC.Scalar.t ->
ultra:bool ->
unit ->
PP.verifier_identitiesval f_map_contribution :
wires:PP.PC.Scalar.t array Plonk.SMap.t ->
gates:PP.PC.Scalar.t array Plonk.SMap.t ->
tables:PP.PC.Scalar.t array list ->
alpha:PP.PC.Scalar.t ->
beta:PP.PC.Scalar.t ->
gamma:PP.PC.Scalar.t ->
domain:PP.PC.Polynomial.Domain.t ->
size_domain:int ->
circuit_size:int ->
PP.PC.secret