package octez-plonk

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

val to_bytes : int -> prover -> bytes

type verifier = {

}

val verifier_t : verifier Repr.t

type setup_params = int

val setup_verifier : Plonk.Bls.Srs_g2.t -> verifier

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

val setup : 
  'a ->
  ((Plonk.Bls.Srs_g1.t * Plonk.Bls.Srs_g2.t) * 'b) ->
  prover * verifier