package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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 dealer_shares_and_proof : 
  secret:Secret_key.t ->
  threshold:int ->
  public_keys:Public_key.t list ->
  Encrypted_share.t list * Commitment.t list * proof

val check_dealer_proof : 
  Encrypted_share.t list ->
  Commitment.t list ->
  proof:proof ->
  public_keys:Public_key.t list ->
  bool

val reveal_share : 
  Encrypted_share.t ->
  secret_key:Secret_key.t ->
  public_key:Public_key.t ->
  Clear_share.t * proof

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