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.aggregation/Aggregation/Main_protocol/Make/Gates/index.html
Module Make.GatesSource
Source
val get_eqs :
string ->
q:PP.PC.Scalar.t ->
a:PP.PC.Scalar.t ->
b:PP.PC.Scalar.t ->
c:PP.PC.Scalar.t ->
ag:PP.PC.Scalar.t ->
bg:PP.PC.Scalar.t ->
cg:PP.PC.Scalar.t ->
?table:PP.PC.Scalar.t array array ->
unit ->
PP.PC.Scalar.t listSource
val get_cs :
string ->
q:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr ->
a:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr ->
b:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr ->
c:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr ->
ag:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr ->
bg:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr ->
cg:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr ->
Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr list
Plonk.Custom_gates.L.tSource
val aggregate_prover_identities :
?circuit_name:string ->
proof_idx:int ->
nb_proofs:int ->
gates:'a Plonk.SMap.t ->
public_inputs:PP.PC.Scalar.t array ->
domain:PP.PC.Polynomial.Domain.t ->
unit ->
PP.prover_identitiesSource
val aggregate_verifier_identities :
?circuit_name:string ->
proof_idx:int ->
nb_proofs:int ->
gates:'a Plonk.SMap.t ->
public_inputs:PP.PC.Scalar.t array ->
generator:PP.PC.Scalar.t ->
size_domain:int ->
unit ->
PP.verifier_identitiesSource
val cs_pi :
generator:PP.PC.Scalar.t ->
n:PP.PC.Scalar.t ->
x:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr ->
zs:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr ->
Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr list ->
Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr Plonk.Custom_gates.L.t