package octez-plonk

  1. Overview
  2. Docs
type prover_public_parameters = Public_parameters.prover
type secret = Plonk.Bls.Poly.t SMap.t
type t = Bls.G1.t SMap.t
type prover_aux = unit
val prover_aux_t : unit Repr.t
val commit : ?all_keys:'a -> Public_parameters.prover -> Plonk.Bls.Poly.t SMap.t -> Bls.G1.t SMap.t * unit
val cardinal : 'a SMap.t -> int
val rename : (SMap.key -> SMap.key) -> 'a SMap.t -> 'b SMap.t
OCaml

Innovation. Community. Security.