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/distribution/Distribution/Kzg_pack/Kzg_pack_impl/BasePC/index.html
Module Kzg_pack_impl.BasePCSource
type secret = PC.secrettype query = PC.queryval query_t : PC.query Repr.ttype answer = PC.answerval answer_t : PC.answer Repr.ttype transcript = PC.transcriptmodule Public_parameters : sig ... endmodule Commitment : sig ... endtype proof = {pc_proof : PC.proof;packed_values : Aggregation.Pack.packed list;pack_proof : Aggregation.Pack.proof;
}val proof_t : proof Repr.tval batch_polys :
Plonk.Bls.Poly.scalar ->
Plonk.Bls.Poly.t Plonk.SMap.t ->
Plonk.Bls.Poly.tval batch_answers :
Plonk.Bls.Scalar.t ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t ->
Plonk.Bls.Scalar.t Plonk.SMap.tval prove_pack :
Public_parameters.prover ->
Stdlib.Bytes.t ->
Plonk.Bls.Poly.t Plonk.SMap.t list ->
Commitment.prover_aux list ->
PC.query list ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
(proof * prover_aux) * bytesval prove :
Public_parameters.prover ->
bytes ->
Plonk.Bls.Poly.t Plonk.SMap.t list ->
Commitment.prover_aux list ->
PC.query list ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
proof * bytesval prove_super_aggregation :
Public_parameters.prover ->
bytes ->
Plonk.Bls.Poly.t Plonk.SMap.t list ->
Commitment.prover_aux list ->
PC.query list ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
(proof * prover_aux) * bytesval verify_pack :
Public_parameters.verifier ->
Aggregation.Pack.randomness ->
Aggregation.Pack.transcript ->
Aggregation.Pack.commitment list ->
PC.query list ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.List.t ->
proof ->
bool * bytesval verify :
Public_parameters.verifier ->
bytes ->
Aggregation.Pack.commitment list ->
PC.query list ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
proof ->
bool * bytesval verify_super_aggregation :
Public_parameters.verifier ->
bytes ->
Aggregation.Pack.commitment list ->
PC.query list ->
Plonk.Bls.Scalar.t Plonk.SMap.t Plonk.List.t ->
proof ->
bool * Plonk.Bls.Scalar.t * bytes