package octez-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Commitment : sig ... end

type public_parameters = Commitment.prover_public_parameters

type prover_aux = Make(Polynomial_protocol).Input_commitment.prover_aux = {

}

val prover_aux_t : prover_aux Repr.t

type public = Commitment.t

val public_t : public Repr.t

type t = Make(Polynomial_protocol).Input_commitment.t = {

}

val t : t Repr.t

val commit : 
  ?size:int ->
  ?shift:int ->
  public_parameters ->
  int ->
  Plonk.Bls.Scalar.t array ->
  t