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.communication/Communication/Message/Make/argument-1-MP/Prover/index.html
Module MP.Prover
val commit_to_wires :
?all_keys:string list ->
?shifts_map:(int * int) Plonk_for_distribution.Main_protocol.SMap.t ->
prover_public_parameters ->
circuit_prover_input list Plonk_for_distribution.Main_protocol.SMap.t ->
Plonk.Bls.Evaluations.t Plonk_for_distribution.Main_protocol.SMap.t list
Plonk_for_distribution.Main_protocol.SMap.t
* Plonk.Bls.Poly.t Plonk_for_distribution.Main_protocol.SMap.t list
Plonk_for_distribution.Main_protocol.SMap.t
* Plonk.Bls.Poly.t Plonk_for_distribution.Main_protocol.SMap.t option list
Plonk_for_distribution.Main_protocol.SMap.t
* Plonk.Bls.Poly.t Plonk_for_distribution.Main_protocol.SMap.t
* Input_commitment.public
* PP.PC.Commitment.prover_auxval build_f_map_plook :
?shifts_map:(int * int) Plonk_for_distribution.Main_protocol.SMap.t ->
prover_public_parameters ->
gate_randomness ->
Plonk.Bls.Evaluations.t Plonk_for_distribution.Main_protocol.SMap.t list
Plonk_for_distribution.Main_protocol.SMap.t ->
Plonk.Bls.Poly.t Plonk_for_distribution.Main_protocol.SMap.tval build_f_map_perm :
prover_public_parameters ->
gate_randomness ->
Plonk.Bls.Evaluations.t Plonk_for_distribution.Main_protocol.SMap.t
Plonk_for_distribution.Main_protocol.SMap.t ->
Plonk.Bls.Poly.t Plonk_for_distribution.Main_protocol.SMap.tval build_f_map_rc_1 :
?shifts_map:(int * int) Plonk_for_distribution.Main_protocol.SMap.t ->
prover_public_parameters ->
gate_randomness ->
Plonk.Bls.Evaluations.t Plonk_for_distribution.Main_protocol.SMap.t list
Plonk_for_distribution.Main_protocol.SMap.t ->
Plonk.Bls.Evaluations.t Plonk_for_distribution.Main_protocol.SMap.t
Plonk_for_distribution.Main_protocol.SMap.t ->
Plonk.Bls.Poly.t Plonk_for_distribution.Main_protocol.SMap.t
* Plonk.Bls.Evaluations.t Plonk_for_distribution.Main_protocol.SMap.t
Plonk_for_distribution.Main_protocol.SMap.tval build_f_map_rc_2 :
prover_public_parameters ->
gate_randomness ->
Plonk.Bls.Evaluations.t Plonk_for_distribution.Main_protocol.SMap.t
Plonk_for_distribution.Main_protocol.SMap.t ->
Plonk.Bls.Poly.t Plonk_for_distribution.Main_protocol.SMap.tval build_perm_rc2_identities :
prover_public_parameters ->
gate_randomness ->
Plonk.Identities.prover_identitiesval build_gates_plook_rc1_identities :
?shifts_map:(int * int) Plonk_for_distribution.Main_protocol.SMap.t ->
prover_public_parameters ->
gate_randomness ->
circuit_prover_input list Plonk_for_distribution.Main_protocol.SMap.t ->
Plonk.Identities.prover_identities