distribution
MakeSuper.PC
aggregation
bare_functor_outputs
bare_sigs
bare_structs
communication
octez-libs.aplonk
octez-libs.base
octez-libs.base-test-helpers
octez-libs.bls12-381-hash
octez-libs.bls12-381-polynomial
octez-libs.bls12-381-signature
octez-libs.clic
octez-libs.context
octez-libs.crypto
octez-libs.crypto-dal
octez-libs.distributed-plonk
octez-libs.epoxy-tx
octez-libs.error-monad
octez-libs.error-monad-legacy
octez-libs.event-logging
octez-libs.event-logging-test-helpers
octez-libs.expect-helper
octez-libs.hacl
octez-libs.kzg
octez-libs.lazy-containers
octez-libs.lwt-result-stdlib
octez-libs.mec
octez-libs.micheline
octez-libs.plompiler
octez-libs.plonk
octez-libs.polynomial
octez-libs.requester
octez-libs.rpc
octez-libs.rpc-http
octez-libs.rpc-http-client
octez-libs.rpc-http-client-unix
octez-libs.rpc-http-server
octez-libs.srs-extraction
octez-libs.stdlib
octez-libs.stdlib-unix
octez-libs.test-helpers
octez-libs.tezos-context
octez-libs.tezos-gossipsub
octez-libs.tezos-p2p-services
octez-libs.tezos-sapling
octez-libs.tezos-workers
octez-libs.tezt-wrapper
octez-libs.tree-encoding
octez-libs.version
plonk_test
tezos_base_p2p_identity_file
tezos_base_unix
tezos_clic_unix
tezos_context_disk
tezos_context_dump
tezos_context_encoding
tezos_context_helpers
tezos_context_memory
tezos_context_merkle_proof_encoding
tezos_context_sigs
tezos_crypto_dal_octez_dal_config
tezos_version_parser
traced_functor_outputs
traced_sigs
traced_structs
traces
include Polynomial_commitment.PC_for_distribution_sig
module BasePC : Kzg.Interfaces.Polynomial_commitment
include module type of BasePC
type secret = Kzg.Bls.Poly.t Kzg.SMap.t
type query = Kzg.Bls.Scalar.t Kzg.SMap.t
val query_t : query Repr.t
type answer = Kzg.Bls.Scalar.t Kzg.SMap.t Kzg.SMap.t
val answer_t : answer Repr.t
type proof
val proof_t : proof Repr.t
module Commitment : Kzg.Interfaces.Commitment
module Public_parameters : Kzg.Interfaces.Public_parameters with type commitment = Commitment.public_parameters
val commit : ?all_keys:string list -> Public_parameters.prover -> secret -> Commitment.t * Commitment.prover_aux
val evaluate : secret -> query -> answer
val prove : Public_parameters.prover -> Kzg.Utils.Transcript.t -> secret list -> Commitment.prover_aux list -> query list -> answer list -> proof * Kzg.Utils.Transcript.t
val verify : Public_parameters.verifier -> Kzg.Utils.Transcript.t -> Commitment.t list -> query list -> answer list -> proof -> bool * Kzg.Utils.Transcript.t
val merge_answers : answer list -> answer
type worker_msg
val worker_msg_t : worker_msg Repr.t
type main_prover_state
type main_prover_msg
val main_prover_msg_t : main_prover_msg Repr.t
type partial_prover_aux
val distributed_expand_transcript : Kzg.Utils.Transcript.t -> query list -> answer list -> Kzg.Utils.Transcript.t
val distributed_prove_main1 : Public_parameters.prover -> Kzg.Utils.Transcript.t -> query list -> answer list -> secret list -> Commitment.prover_aux list -> worker_msg * main_prover_state
val distributed_prove_worker : secret list -> Commitment.prover_aux list -> worker_msg -> main_prover_msg
val distributed_prove_main2 : main_prover_state -> main_prover_msg list -> proof * Kzg.Utils.Transcript.t * partial_prover_aux
type prover_aux = {
r : Kzg.Bls.Scalar.t;
s_list : Kzg.Bls.Scalar.t Distribution.Kzg_pack.SMap.t list;
}
val prove_super_aggregation : Public_parameters.prover -> Kzg.Utils.Transcript.t -> Kzg.Bls.Poly.t Distribution.Kzg_pack.SMap.t list -> Commitment.prover_aux list -> query list -> Kzg.Bls.Scalar.t Distribution.Kzg_pack.SMap.t Distribution.Kzg_pack.SMap.t list -> (proof * prover_aux) * Kzg.Utils.Transcript.t
val verify_super_aggregation : Public_parameters.verifier -> Kzg.Utils.Transcript.t -> Commitment.t list -> query list -> Kzg.Bls.Scalar.t Distribution.Kzg_pack.SMap.t list -> proof -> bool * Kzg.Bls.Scalar.t * Kzg.Utils.Transcript.t