package octez-libs
A package that contains multiple base libraries used by the Octez suite
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a
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 transcript = PC.transcriptval transcript_t : transcript 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:(Octez_bls12_381_polynomial.Srs.t * Octez_bls12_381_polynomial.Srs.t) ->
prover_public_parameters * verifier_public_parametersval prove :
prover_public_parameters ->
transcript ->
n:int ->
generator:Plonk.Bls.Scalar.t ->
secrets:(Plonk.Bls.Poly.t Plonk.SMap.t * PC.Commitment.prover_aux) list ->
eval_points:Plonk.Identities.eval_point list list ->
evaluations:Plonk.Bls.Evaluations.t Plonk.SMap.t ->
identities:Plonk.Identities.prover_identities ->
nb_of_t_chunks:int ->
proof * transcriptval verify :
verifier_public_parameters ->
transcript ->
n:int ->
generator:Plonk.Bls.Scalar.t ->
commitments:PC.Commitment.t list ->
eval_points:Plonk.Identities.eval_point list list ->
identities:Plonk.Identities.verifier_identities ->
proof ->
bool * transcripttype prover_aux = PP_Pack.prover_aux = {answers : Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list;batch : Plonk.Bls.Scalar.t Plonk.SMap.t list;alpha : Plonk.Bls.Scalar.t;x : Plonk.Bls.Scalar.t;r : Plonk.Bls.Scalar.t;cms_answers : Answers_commitment.t Plonk.SMap.t;t_answers : Plonk.Bls.Scalar.t list;
}type verifier_aux = PP_Pack.verifier_aux = {alpha : Plonk.Bls.Scalar.t;x : Plonk.Bls.Scalar.t;r : Plonk.Bls.Scalar.t;
}val update_transcript_with_formatted_answers :
transcript ->
(Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
Answers_commitment.t)
Plonk.SMap.t ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
Plonk.Bls.Scalar.t list * Answers_commitment.t Plonk.SMap.t * transcriptval prove_super_aggregation :
prover_public_parameters ->
transcript ->
commit_to_answers_map:
(Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
Answers_commitment.t)
Plonk.SMap.t ->
n:int ->
generator:Plonk.Bls.Scalar.t ->
secrets:(Plonk.Bls.Poly.t Plonk.SMap.t * PC.Commitment.prover_aux) list ->
eval_points:Plonk.Identities.eval_point list list ->
evaluations:Plonk.Bls.Evaluations.t Plonk.SMap.t ->
identities:Plonk.Identities.prover_identities ->
nb_of_t_chunks:int ->
(proof * prover_aux) * transcriptval verify_super_aggregation :
verifier_public_parameters ->
transcript ->
n:int ->
generator:Plonk.Bls.Scalar.t ->
commitments:PC.Commitment.t list ->
eval_points:Plonk.Identities.eval_point list list ->
s_list:Plonk.Bls.Scalar.t Plonk.SMap.t list ->
cms_answers:Answers_commitment.public Plonk.SMap.t ->
t_answers:Plonk.Bls.Scalar.t list ->
ids_batch:(Plonk.Bls.Scalar.t * int) Plonk.SMap.t ->
proof ->
(bool * verifier_aux) * PC.transcriptval compute_t :
n:int ->
alpha:Plonk.Bls.Scalar.t ->
nb_of_t_chunks:int ->
Plonk.Bls.Evaluations.t Plonk.SMap.t ->
Plonk.Bls.Evaluations.polynomial Plonk.SMap.t