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/Perm/Shared_argument/index.html
Module Perm.Shared_argumentSource
Source
val build_batched_wires_values :
delta:Plonk.Bls.Scalar.t ->
wires:Plonk.Bls.Evaluations.t Plonk.SMap.t list Plonk.SMap.t ->
Plonk.Bls.Evaluations.t Plonk.SMap.t Plonk.SMap.tSource
val batched_wires_poly_of_batched_wires :
(bool * int * Plonk.Bls.Domain.t) ->
Plonk.Bls.Evaluations.t Plonk.SMap.t ->
(Plonk.Bls.Scalar.t * Plonk.Bls.Poly.t Plonk.SMap.t option list) ->
Plonk.Bls.Poly.t Plonk.SMap.tSource
val build_batched_witness_polys :
?use_batched_wires:bool ->
zero_knowledge:bool ->
domain:Plonk.Bls.Domain.t ->
delta:Plonk.Bls.Scalar.t ->
batched_wires:Plonk.Bls.Evaluations.t Plonk.SMap.t Plonk.SMap.t ->
f:
(Plonk.Bls.Poly.t Plonk.SMap.t list Plonk.SMap.t
* Plonk.Bls.Poly.t Plonk.SMap.t option list Plonk.SMap.t) ->
unit ->
Plonk.Bls.Poly.t Plonk.SMap.tSource
val merge_batched_values :
'a Plonk.SMap.t Plonk.SMap.t ->
'a Plonk.SMap.t Plonk.SMap.t ->
'a Plonk.SMap.t Plonk.SMap.t