package tezos-plonk
Plonk zero-knowledge proving system
Install
Dune Dependency
Authors
Maintainers
Sources
privacy-team-v1.0.0.tar.gz
md5=c9007a234fbacaddbc652c139cac56db
sha512=b67825a9259c27ccba51a4cb98056985c93f74f5211d422ce8ee8c35cda748c22bd1e59b3a584a79f96c1be21a409a12ee4b705346e1319c6d8bf45e81029f93
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