package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type prover = Polynomial_protocol.PC.Public_parameters.prover

val prover_t : prover Repr.t

type verifier = Polynomial_protocol.PC.Public_parameters.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