package octez-libs
A package that contains multiple base libraries used by the Octez suite
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65
doc/distribution/Distribution/Kzg_pack/Kzg_pack_impl/BasePC/Public_parameters/index.html
Module BasePC.Public_parameters
type prover = {pp_pc_prover : PC.Public_parameters.prover;pp_pack_prover : Aggregation.Pack.prover_public_parameters;
}val prover_t : prover Repr.ttype verifier = {pp_pc_verifier : PC.Public_parameters.verifier;pp_pack_verifier : Aggregation.Pack.verifier_public_parameters;
}val verifier_t : verifier Repr.ttype commitment = Commitment.public_parametersval setup :
PC.Public_parameters.setup_params ->
(Kzg.Bls.Srs.t * Kzg.Bls.Srs.t) ->
prover * verifier * Kzg.Utils.Transcript.tval get_commit_parameters : prover -> Commitment.public_parameters