package octez-plonk

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module Commitment : Polynomial_commitment.Commitment_sig

module Commitment = Commitment

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 : Commitment.t Repr.t

type t = {

}

val t : t Repr.t

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