package tezos-plonk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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

OCaml

Innovation. Community. Security.