package octez-libs
A package that contains multiple base libraries used by the Octez suite
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-18.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a
doc/octez-libs.aplonk/Aplonk/Main_protocol/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 = Super_PP.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 = Super_PP.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 = Super_PP.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.transcript