package octez-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Commitment : 
  Plonk.Polynomial_commitment.Commitment_sig
    with type secret = Plonk.Bls.Poly.t Plonk.SMap.t

type public_parameters = Commitment.prover_public_parameters

type prover_aux = {

}

val prover_aux_t : prover_aux Repr.t

type public = Commitment.t

val public_t : public Repr.t

type t = {

}

val t : t Repr.t

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