octez-libs.distributed-plonk
Main_Pack.PP
aggregation
bare_functor_outputs
bare_sigs
bare_structs
communication
distribution
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.epoxy-tx
octez-libs.error-monad
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
module PC : sig ... end
module Answers_commitment : sig ... end
type prover_public_parameters = PC.Public_parameters.prover
val prover_public_parameters_t : prover_public_parameters Repr.t
type verifier_public_parameters = PC.Public_parameters.verifier
val verifier_public_parameters_t : verifier_public_parameters Repr.t
type proof = PP_Pack.proof = {
cm_t : PC.Commitment.t;
pc_proof : PC.proof;
pc_answers : PC.answer list;
}
val proof_t : proof Repr.t
val setup : setup_params:PC.Public_parameters.setup_params -> srs:(Kzg.Bls.Srs.t * Kzg.Bls.Srs.t) -> prover_public_parameters * verifier_public_parameters * Kzg.Utils.Transcript.t
val prove : prover_public_parameters -> Kzg.Utils.Transcript.t -> n:int -> generator:Kzg.Bls.Scalar.t -> secrets: (Kzg.Bls.Poly.t Plonk.Identities.SMap.t * PC.Commitment.prover_aux) list -> eval_points:Plonk.Identities.eval_point list list -> evaluations:Plonk.Identities.Evaluations.t Plonk.Identities.SMap.t -> identities:Plonk.Identities.prover_identities -> nb_of_t_chunks:int -> proof * Kzg.Utils.Transcript.t
val verify : verifier_public_parameters -> Kzg.Utils.Transcript.t -> n:int -> generator:Kzg.Bls.Scalar.t -> commitments:PC.Commitment.t list -> eval_points:Plonk.Identities.eval_point list list -> identities:Plonk.Identities.verifier_identities -> proof -> bool * Kzg.Utils.Transcript.t
type prover_aux = PP_Pack.prover_aux = {
answers : Kzg.Bls.Scalar.t Kzg.SMap.t Kzg.SMap.t list;
batch : Kzg.Bls.Scalar.t Kzg.SMap.t list;
alpha : Kzg.Bls.Scalar.t;
x : Kzg.Bls.Scalar.t;
r : Kzg.Bls.Scalar.t;
cms_answers : Answers_commitment.t Kzg.SMap.t;
t_answers : Kzg.Bls.Scalar.t list;
type verifier_aux = PP_Pack.verifier_aux = {
val update_transcript_with_formatted_answers : Kzg.Utils.Transcript.t -> (Kzg.Bls.Scalar.t Kzg.SMap.t Kzg.SMap.t list -> Answers_commitment.t) Kzg.SMap.t -> Kzg.Bls.Scalar.t Kzg.SMap.t Kzg.SMap.t list -> Kzg.Bls.Scalar.t list * Answers_commitment.t Kzg.SMap.t * Kzg.Utils.Transcript.t
val prove_super_aggregation : prover_public_parameters -> Kzg.Utils.Transcript.t -> commit_to_answers_map: (Kzg.Bls.Scalar.t Kzg.SMap.t Kzg.SMap.t list -> Answers_commitment.t) Kzg.SMap.t -> n:int -> generator:Kzg.Bls.Scalar.t -> secrets:(Kzg.Bls.Poly.t Kzg.SMap.t * PC.Commitment.prover_aux) list -> eval_points:Plonk.Identities.eval_point list list -> evaluations:Plonk.Identities.Evaluations.t Kzg.SMap.t -> identities:Plonk.Identities.prover_identities -> nb_of_t_chunks:int -> (proof * prover_aux) * Kzg.Utils.Transcript.t
val verify_super_aggregation : verifier_public_parameters -> Kzg.Utils.Transcript.t -> n:int -> generator:Kzg.Bls.Scalar.t -> commitments:PC.Commitment.t list -> eval_points:Plonk.Identities.eval_point list list -> s_list:Kzg.Bls.Scalar.t Kzg.SMap.t list -> cms_answers:Answers_commitment.public Kzg.SMap.t -> t_answers:Kzg.Bls.Scalar.t list -> ids_batch:(Kzg.Bls.Scalar.t * int) Kzg.SMap.t -> proof -> (bool * verifier_aux) * Kzg.Utils.Transcript.t
val compute_t : n:int -> alpha:Kzg.Bls.Scalar.t -> nb_of_t_chunks:int -> Plonk.Identities.Evaluations.t Kzg.SMap.t -> Plonk.Identities.Evaluations.polynomial Kzg.SMap.t