Module Tezos_protocol_environment_016_PtMumbai.SignatureSource

type public_key_hash = Tezos_base.TzPervasives.Signature.V1.public_key_hash =
  1. | Ed25519 of Ed25519.Public_key_hash.t
  2. | Secp256k1 of Secp256k1.Public_key_hash.t
  3. | P256 of P256.Public_key_hash.t
  4. | Bls of Bls.Public_key_hash.t
type public_key = Tezos_base.TzPervasives.Signature.V1.public_key =
  1. | Ed25519 of Ed25519.Public_key.t
  2. | Secp256k1 of Secp256k1.Public_key.t
  3. | P256 of P256.Public_key.t
  4. | Bls of Bls.Public_key.t
type watermark = Tezos_base.TzPervasives.Signature.V1.watermark =
  1. | Block_header of Chain_id.t
  2. | Endorsement of Chain_id.t
  3. | Generic_operation
  4. | Custom of bytes
type signature = Tezos_base.TzPervasives.Signature.V1.signature =
  1. | Ed25519 of Ed25519.t
  2. | Secp256k1 of Secp256k1.t
  3. | P256 of P256.t
  4. | Bls of Bls.t
  5. | Unknown of Bytes.t
type prefix =
  1. | Bls_prefix of Bytes.t
module Public_key_hash : sig ... end
module Public_key : sig ... end
type t = Tezos_base.TzPervasives.Signature.V1.t
val pp : Format.formatter -> t -> unit
val to_bytes : t -> bytes
val of_bytes_opt : bytes -> t option
val of_bytes_exn : bytes -> t
val (=) : t -> t -> bool
val (<>) : t -> t -> bool
val (<) : t -> t -> bool
val (<=) : t -> t -> bool
val (>=) : t -> t -> bool
val (>) : t -> t -> bool
val compare : t -> t -> int
val equal : t -> t -> bool
val max : t -> t -> t
val min : t -> t -> t
val to_b58check : t -> string
val to_short_b58check : t -> string
val of_b58check_exn : string -> t
val of_b58check_opt : string -> t option
type Base58.data +=
  1. | Data of t
val b58check_encoding : t Base58.encoding
val encoding : t Data_encoding.t
val rpc_arg : t RPC_arg.t
val zero : t
val check : ?watermark:watermark -> Public_key.t -> t -> bytes -> bool
type splitted = {
  1. prefix : prefix option;
  2. suffix : Bytes.t;
}
val split_signature : t -> splitted
val of_splitted : splitted -> t option
val prefix_encoding : prefix Data_encoding.t
val size : t -> int