tezos-crypto

Tezos: library with all the cryptographic primitives used by Tezos
IN THIS PACKAGE
Module type Tezos_crypto . S . PVSS
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