octez-plonk.aggregation
Make_impl.Commitment
octez-plonk
octez-plonk.communication
octez-plonk.distribution
octez-plonk.plonk-test
type prover_public_parameters = Public_parameters.prover
type secret = Plonk.Bls.Poly.t Plonk.SMap.t
type t = Pack.commitment
val t : Pack.commitment Repr.t
type prover_aux = PC.Commitment.t * PC.Commitment.prover_aux
val prover_aux_t : (PC.Commitment.t * PC.Commitment.prover_aux) Repr.t
val commit : ?all_keys:Plonk.SMap.key Plonk.List.t -> Public_parameters.prover -> Plonk.Bls.Poly.t Plonk.SMap.t -> Pack.commitment * (PC.Commitment.t * PC.Commitment.prover_aux)
val cardinal : Pack.commitment -> int
val rename : 'a -> 'b -> 'b