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.aggregation/Aggregation/Main_protocol/Make/Gates/index.html
Module Make.GatesSource
Source
val get_eqs :
string ->
q:Plonk.Bls.Scalar.t ->
wires:Plonk.Bls.Scalar.t array ->
wires_g:Plonk.Bls.Scalar.t array ->
?precomputed_advice:Plonk.Bls.Scalar.t Plonk.SMap.t ->
unit ->
Plonk.Bls.Scalar.t listSource
val get_cs :
string ->
q:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr ->
wires:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr array ->
wires_g:Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr array ->
?precomputed_advice:
Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr Plonk.SMap.t ->
unit ->
Plonk.Custom_gates.L.scalar Plonk.Custom_gates.L.repr list
Plonk.Custom_gates.L.tSource
val aggregate_prover_identities :
?circuit_prefix:(string -> string) ->
input_coms_size:int ->
proof_prefix:(string -> string) ->
gates:'a Plonk.SMap.t ->
public_inputs:Plonk.Bls.Scalar.t array ->
domain:Plonk.Bls.Domain.t ->
unit ->
Plonk.Identities.prover_identitiesSource
val aggregate_verifier_identities :
?circuit_prefix:(string -> string) ->
input_com_sizes:int list ->
proof_prefix:(string -> string) ->
gates:'a Plonk.SMap.t ->
public_inputs:Plonk.Bls.Scalar.t array ->
generator:Plonk.Bls.Scalar.t ->
size_domain:int ->
unit ->
Plonk.Identities.verifier_identitiesSource
val cs_pi :
generator:Plonk.Bls.Scalar.t ->
n:Plonk.Bls.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