package octez-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module SMap = Plonk.SMap

Extension of the PC signature with additional types and functions used in by Distributed_prover

module type Commitment_sig = sig ... end

module type PC_for_distribution_sig = sig ... end

module Kzg_impl : sig ... end

Extension of the KZG implementation with additional types and functions used in by Distributed_prover