Sc_rollup_reveal_hash (mavryk-protocol-alpha.Mavryk_raw_protocol_alpha.Sc_rollup_reveal

type t

The type of a reveal hash.

type supported_hashes =

| Blake2B

The hashing schemes supported by the reveal hash.

module Map : Mavryk_protocol_environment_alpha.Map.S with type key = t

A Map module for storing reveal-hash-indexed values.

val size : scheme:supported_hashes -> int

size ~scheme returns the size of reveal hashes using the scheme specified in input.

val zero : scheme:supported_hashes -> t

zero ~scheme returns the reveal hash corresponding to the zero hash for the scheme specified in input.

val pp : Mavryk_protocol_environment_alpha.Format.formatter -> t -> unit

Formatting function for reveal-hashes.

val equal : t -> t -> bool

equal hash1 hash2 checks if the two reveal-hashes hash1 and hash2 are equal. This function must preserve the equality of individual supported hashing schemes. If hash1 and hash2 are hashes obtained from the same supported hashing scheme, then the equal function from that hashing scheme is used to determine whether they are equivalent. Otherwise, they are different.

val compare : t -> t -> int

compare hash1 hash2 compares the values of the reveal hashes hash1 and hash2. This function must preserve the ordering of individual supported hashing scheme. If hash1 and hash2 are reveal-hashes obtained from the same hashing scheme, then compare hash1 hash2 should return the same result of the compare function exposed by the hash module corresponding to their hashing scheme.

val encoding : t Mavryk_protocol_environment_alpha.Data_encoding.t

The encoding of reveal hashes.

val hash_string : scheme:supported_hashes -> ?key:string -> string list -> t

hash_string ~scheme ?key strings hashes strings using the supported hashing scheme given in input.

val hash_bytes : scheme:supported_hashes -> ?key:bytes -> bytes list -> t

hash_bytes ~scheme ?key strings hashes bytes using the supported hashing scheme given in input.

val scheme_of_hash : t -> supported_hashes

scheme_of_hash hash returns the supported hashing scheme that was used to obtain hash.

val of_hex : string -> t option

val to_hex : t -> string

val rpc_arg : t Mavryk_protocol_environment_alpha.RPC_arg.t

val well_known_reveal_hash : t

The hash requested by the WASM PVM if it cannot decode the input provided by the WASM kernel, that is, if the bytes value cannot be decoded with encoding.

val well_known_reveal_preimage : string

The preimage of well_known_reveal_hash.