type t = {pkh : Tezos_crypto.Signature.Public_key_hash.t;pk : Tezos_crypto.Signature.Public_key.t;sk : Tezos_crypto.Signature.Secret_key.t;}type account = tval known_accounts : t Tezos_crypto.Signature.Public_key_hash.Table.tval activator_account : accountval dummy_account : accountval add_account : t -> unitval find :
Tezos_crypto.Signature.Public_key_hash.t ->
(t, Tezos_error_monad.TzCore.error list) result Lwt.tval find_alternate : Tezos_crypto.Signature.Public_key_hash.t -> tval default_initial_balance :
Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t4.000.000.000 tez
val generate_accounts :
?rng_state:Random.State.t ->
?initial_balances:int64 list ->
int ->
(t * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t) listgenerate_accounts ?initial_balances n : generates n random accounts with the initial balance of the ith account given by the ith value in the list initial_balances or otherwise default_initial_balance tz (if the list is too short); and add them to the global account state
val commitment_secret :
Tezos_protocol_012_Psithaca.Protocol.Blinded_public_key_hash.activation_codeval new_commitment :
?seed:Bytes.t ->
unit ->
(account * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Commitment.t,
Tezos_error_monad.TzCore.error list)
result
Lwt.t