package octez-libs
A package that contains multiple base libraries used by the Octez suite
Install
Dune Dependency
Authors
Maintainers
Sources
octez-19.1.tar.gz
sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e
sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053
doc/octez-libs.distributed-plonk/Distributed_plonk/Distributed_prover/Main_Pack/PP/index.html
Module Main_Pack.PP
module PC : sig ... endmodule Answers_commitment : sig ... endtype prover_public_parameters = PC.Public_parameters.proverval prover_public_parameters_t : prover_public_parameters Repr.ttype verifier_public_parameters = PC.Public_parameters.verifierval verifier_public_parameters_t : verifier_public_parameters Repr.ttype proof = PP_Pack.proof = {cm_t : PC.Commitment.t;pc_proof : PC.proof;pc_answers : PC.answer list;
}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.tval 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.tval 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.ttype 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 = {alpha : Kzg.Bls.Scalar.t;x : Kzg.Bls.Scalar.t;r : Kzg.Bls.Scalar.t;
}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.tval 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.tval 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.tval 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