Public_parameters (mavkit-libs.Plonk.Main_protocol.Make.PP.PC.Public

type prover

val prover_t : prover Repr.t

type verifier

val verifier_t : verifier Repr.t

type commitment = Commitment.public_parameters

type setup_params = int

val setup : 
  setup_params ->
  (Kzg.Bls.Srs.t * Kzg.Bls.Srs.t) ->
  prover * verifier * Kzg.Utils.Transcript.t

val get_commit_parameters : prover -> commitment