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.aggregation/Aggregation/Main_protocol/Make_impl/Gates/index.html
Module Make_impl.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