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/aggregation/Aggregation/Polynomial_protocol/Make_impl/index.html
Module Polynomial_protocol.Make_implSource
Parameters
module Super_PC : Polynomial_commitment.SSignature
include sig ... end
type prover_public_parameters = Super_PC.Commitment.prover_public_parametersval prover_public_parameters_t :
Super_PC.Commitment.prover_public_parameters Repr.ttype verifier_public_parameters = Super_PC.Public_parameters.verifierval verifier_public_parameters_t : Super_PC.Public_parameters.verifier Repr.ttype proof = {cm_t : Super_PC.Commitment.t;pc_proof : Super_PC.proof;pc_answers : Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list;
}val proof_t : proof Repr.tval split_t : int -> Plonk.Bls.Poly.t -> int -> Plonk.Bls.Poly.t Plonk.SMap.tval compute_t :
n:int ->
alpha:Plonk.Bls.Scalar.t ->
nb_of_t_chunks:int ->
Plonk.Bls.Evaluations.t Plonk.SMap.t ->
Plonk.Bls.Poly.t Plonk.SMap.tval eval_and_batch_ids :
(Plonk.Bls.Scalar.t * 'a) ->
'b Plonk.SMap.t Plonk.SMap.t list ->
('a -> 'b Plonk.SMap.t Plonk.SMap.t -> Plonk.Bls.Scalar.t Plonk.SMap.t) ->
Plonk.Bls.Scalar.tval setup :
setup_params:int ->
srs:(Octez_bls12_381_polynomial.Srs.t * Octez_bls12_381_polynomial.Srs.t) ->
Super_PC.Commitment.prover_public_parameters
* Super_PC.Public_parameters.verifierval prove_aux :
Super_PC.Commitment.prover_public_parameters ->
Stdlib.Bytes.t ->
int ->
Plonk.Bls.Scalar.t ->
(Plonk.Bls.Poly.t Plonk.SMap.t * Super_PC.Commitment.prover_aux) list ->
Plonk.Identities.eval_point list list ->
'a ->
('a -> Plonk.Bls.Evaluations.t Plonk.SMap.t) ->
int ->
(Plonk.Bls.Scalar.t
* Plonk.Bls.Scalar.t
* Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list
* Super_PC.Commitment.t)
* Plonk.Bls.Poly.t Plonk.SMap.t list
* Super_PC.Commitment.prover_aux list
* Plonk.Bls.Scalar.t Plonk.SMap.t list
* Stdlib.Bytes.tval prove :
Super_PC.Commitment.prover_public_parameters ->
Stdlib.Bytes.t ->
n:int ->
generator:Plonk.Bls.Scalar.t ->
secrets:(Plonk.Bls.Poly.t Plonk.SMap.t * Super_PC.Commitment.prover_aux) list ->
eval_points:Plonk.Identities.eval_point list list ->
evaluations:'a ->
identities:('a -> Plonk.Bls.Evaluations.t Plonk.SMap.t) ->
nb_of_t_chunks:int ->
proof * Stdlib.Bytes.ttype pp_commit_to_t_r = Plonk.Bls.Evaluations.t Plonk.SMap.tval pp_commit_to_t_r_t : Plonk.Bls.Evaluations.t Plonk.SMap.t Repr.tyval verify_aux :
Stdlib.Bytes.t ->
Plonk.Bls.Scalar.t ->
Super_PC.Commitment.t list ->
Plonk.Identities.eval_point list list ->
proof ->
Plonk.Bls.Scalar.t
* Plonk.Bls.Scalar.t
* Stdlib.Bytes.t
* Super_PC.Commitment.t list
* Plonk.Bls.Scalar.t Plonk.SMap.t listval verify :
Super_PC.Public_parameters.verifier ->
Stdlib.Bytes.t ->
n:int ->
generator:Plonk.Bls.Scalar.t ->
commitments:Super_PC.Commitment.t list ->
eval_points:Plonk.Identities.eval_point list list ->
identities:
(Plonk.Bls.Scalar.t ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t ->
Plonk.Bls.Scalar.t Plonk.SMap.t) ->
proof ->
bool * Stdlib.Bytes.tmodule PC = Super_PCmodule Answers_commitment = Answers_commitmentSource
type prover_aux = {answers : Plonk.Bls.Scalar.t SMap.t SMap.t list;batch : Plonk.Bls.Scalar.t SMap.t list;alpha : Plonk.Bls.Scalar.t;x : Plonk.Bls.Scalar.t;r : Plonk.Bls.Scalar.t;cms_answers : Answers_commitment.t SMap.t;t_answers : Plonk.Bls.Scalar.t list;
}Source
type verifier_aux = {alpha : Plonk.Bls.Scalar.t;x : Plonk.Bls.Scalar.t;r : Plonk.Bls.Scalar.t;
}Source
val update_transcript_with_answers :
bytes ->
Answers_commitment.public SMap.t ->
Plonk.Bls.Scalar.t list ->
bytesSource
val verify_t :
n:int ->
x:Plonk.Bls.Scalar.t ->
alpha:Plonk.Bls.Scalar.t ->
t_answers:Plonk.Bls.Scalar.t list ->
ids_batch:(Plonk.Bls.Scalar.t * int) SMap.t ->
boolSource
val update_transcript_with_formatted_answers :
bytes ->
(Plonk.Bls.Scalar.t Stdlib__Map.Make(String).t Stdlib__Map.Make(String).t
list ->
Answers_commitment.t)
SMap.t ->
Plonk.Bls.Scalar.t SMap.t SMap.t list ->
Plonk.Bls.Scalar.t list * Answers_commitment.t SMap.t * bytesSource
val prove_super_aggregation :
Super_PC.Commitment.prover_public_parameters ->
Stdlib.Bytes.t ->
commit_to_answers_map:
(Plonk.Bls.Scalar.t Stdlib__Map.Make(String).t Stdlib__Map.Make(String).t
list ->
Answers_commitment.t)
SMap.t ->
n:int ->
generator:Plonk.Bls.Scalar.t ->
secrets:(Plonk.Bls.Poly.t Plonk.SMap.t * Super_PC.Commitment.prover_aux) list ->
eval_points:Plonk.Identities.eval_point list list ->
evaluations:'a ->
identities:('a -> Plonk.Bls.Evaluations.t Plonk.SMap.t) ->
nb_of_t_chunks:int ->
(proof * prover_aux) * Super_PC.transcriptSource
val verify_super_aggregation :
Super_PC.Public_parameters.verifier ->
Stdlib.Bytes.t ->
n:int ->
generator:Plonk.Bls.Scalar.t ->
commitments:Super_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 SMap.t ->
t_answers:Plonk.Bls.Scalar.t list ->
ids_batch:(Plonk.Bls.Scalar.t * int) SMap.t ->
proof ->
(bool * verifier_aux) * Super_PC.transcriptOn This Page