package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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_verifier : Kzg.Bls.Srs_g2.t -> verifier

val setup_prover : (Kzg.Bls.Srs_g1.t * Kzg.Bls.Srs_g2.t) -> prover

val setup : 
  'a ->
  (Octez_bls12_381_polynomial.Srs.t * 'b) ->
  prover * verifier * Utils.Transcript.t

val get_commit_parameters : prover -> Kzg.Bls.Srs_g1.t