package tezos-protocol-012-Psithaca

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type proof
module Clear_share : sig ... end
module Commitment : sig ... end
module Encrypted_share : sig ... end
module Public_key : sig ... end
module Secret_key : sig ... end
val proof_encoding : proof Data_encoding.t
val check_dealer_proof : Encrypted_share.t list -> Commitment.t list -> proof:proof -> public_keys:Public_key.t list -> bool
val check_revealed_share : Encrypted_share.t -> Clear_share.t -> public_key:Public_key.t -> proof -> bool
val reconstruct : Clear_share.t list -> int list -> Public_key.t
OCaml

Innovation. Community. Security.