Zk_rollup_repr.Address
A ZK rollup has an address starting with "epx1". ZKRU addresses have a length of 20 bytes, which means that they have an injective encoding as BLS12-381 scalars.
include Mavryk_protocol_environment_alpha.S.HASH
val pp : Mavryk_protocol_environment_alpha.Format.formatter -> t -> unit
val pp_short : Mavryk_protocol_environment_alpha.Format.formatter -> t -> unit
val hash_bytes : ?key:bytes -> bytes list -> t
val hash_string : ?key:string -> string list -> t
val zero : t
val to_bytes : t -> bytes
val of_bytes_opt : bytes -> t option
val of_bytes_exn : bytes -> 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
val b58check_encoding : t Mavryk_protocol_environment_alpha.Base58.encoding
val encoding : t Mavryk_protocol_environment_alpha.Data_encoding.t
val rpc_arg : t Mavryk_protocol_environment_alpha.RPC_arg.t
module Set : sig ... end
module Map : sig ... end
val from_nonce :
Origination_nonce.t ->
t Mavryk_protocol_environment_alpha.Error_monad.tzresult
from_nonce nonce
produces an address completely determined by an operation hash and an origination counter.
val of_b58data : Mavryk_protocol_environment_alpha.Base58.data -> t option