Mavryk_client_001_PtAtLas.Client_proto_context
val list_contract_labels :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
(string * string * string) list Mavryk_base.TzPervasives.tzresult Lwt.t
Calls Mavryk_protocol_alpha
.Protocol.Contract_services.list.
val get_storage :
Protocol_client_context.rpc_context ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
unparsing_mode:
Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_unparser.unparsing_mode ->
Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr option
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Mavryk_protocol_plugin_alpha
.Plugin.RPC.Contract.get_storage_normalized.
val get_used_storage_space :
Protocol_client_context.rpc_context ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t ->
Z.t option Mavryk_base.TzPervasives.tzresult Lwt.t
Calls Mavryk_protocol_plugin_alpha
.Plugin.RPC.Contract.get_used_storage_space.
val get_paid_storage_space :
Protocol_client_context.rpc_context ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t ->
Z.t option Mavryk_base.TzPervasives.tzresult Lwt.t
Calls Mavryk_protocol_plugin_alpha
.Plugin.RPC.Contract.get_paid_storage_space.
val get_contract_big_map_value :
Protocol_client_context.rpc_context ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t ->
(Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr) ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr option
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Mavryk_protocol_alpha
.Protocol.Contract_services.contract_big_map_get_opt.
val register_global_constant :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
source:Mavryk_base.TzPervasives.Signature.public_key_hash ->
src_pk:Mavryk_base.TzPervasives.Signature.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
constant:string ->
unit ->
(Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.register_global_constant
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Injection.result,
Mavryk_base.TzPervasives.tztrace)
Stdlib.result
Lwt.t
Calls Injection.prepare_manager_operation
with Register_global_constant constant
as operation.
val get_big_map_value :
Protocol_client_context.rpc_context ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
unparsing_mode:
Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_unparser.unparsing_mode ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Big_map.Id.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Script_expr_hash.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Mavryk_protocol_plugin_alpha
.Plugin.RPC.Big_map.big_map_get_normalized.
val get_script :
Protocol_client_context.rpc_context ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
unparsing_mode:
Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_unparser.unparsing_mode ->
normalize_types:bool ->
Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.t option
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Mavryk_protocol_plugin_alpha
.Plugin.RPC.Contract.get_script_normalized.
val get_script_hash :
Protocol_client_context.rpc_context ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Script_expr_hash.t option
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Mavryk_protocol_alpha
.Protocol.Contract_services.script_opt.
val get_balance :
Protocol_client_context.rpc_context ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Mavryk_protocol_alpha
.Protocol.Contract_services.balance.
val get_staked_balance :
Protocol_client_context.rpc_context ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t option
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Mavryk_protocol_alpha
.Protocol.Contract_services.staked_balance.
val get_full_balance :
Protocol_client_context.rpc_context ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Mavryk_protocol_alpha
.Protocol.Contract_services.full_balance.
val get_contract_ticket_balance :
Protocol_client_context.rpc_context ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Ticket_token.unparsed_token ->
Z.t Mavryk_base.TzPervasives.tzresult Lwt.t
Calls Mavryk_protocol_plugin_alpha
.Plugin.RPC.Contract.get_ticket_balance.
val get_contract_all_ticket_balances :
Protocol_client_context.rpc_context ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t ->
(Mavryk_protocol_001_PtAtLas.Protocol.Ticket_token.unparsed_token * Z.t) list
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Mavryk_protocol_plugin_alpha
.Plugin.RPC.Contract.get_all_ticket_balances.
val ticket_balances_encoding :
(Mavryk_protocol_001_PtAtLas.Protocol.Ticket_token.unparsed_token * Z.t) list
Mavryk_base.TzPervasives.Data_encoding.t
val get_frozen_deposits_limit :
Protocol_client_context.rpc_context ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
Mavryk_base.TzPervasives.Signature.Public_key_hash.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t option
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Mavryk_protocol_alpha
.Protocol.Delegate_services.frozen_deposits_limit.
val build_delegate_operation :
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash option ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.delegation
Annotated_manager_operation.t
Calls Injection.prepare_manager_operation
with Alpha_context
.Delegation delegate_opt
as operation.
val set_delegate :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
manager_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash option ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.delegation
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Injection.result
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Injection.inject_manager_operation
with Annotated_manager_operation.annotated_list.Single_manager
build_delegate_operation ?fee opt_delegate
as operation.
val update_consensus_key :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
consensus_pk:Mavryk_base.TzPervasives.Signature.public_key ->
manager_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
Mavryk_base.TzPervasives.Signature.public_key ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.update_consensus_key
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Injection.result
Mavryk_base.TzPervasives.tzresult
Lwt.t
val drain_delegate :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
consensus_sk:Mavryk_client_base.Client_keys.sk_uri ->
consensus_pkh:Mavryk_base.TzPervasives.Signature.public_key_hash ->
?destination:Mavryk_base.TzPervasives.Signature.public_key_hash ->
delegate:Mavryk_base.TzPervasives.Signature.public_key_hash ->
unit ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.drain_delegate
Injection.result
Mavryk_base.TzPervasives.tzresult
Lwt.t
val set_deposits_limit :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
manager_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t option ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.set_deposits_limit
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Injection.result
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Injection.inject_manager_operation
with Annotated_manager_operation.annotated_list.Single_manager
Alpha_context
.Set_deposits_limit limit_opt
as operation.
val increase_paid_storage :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?force:bool ->
?dry_run:bool ->
?verbose_signing:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
?confirmations:int ->
?simulation:bool ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
destination:Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
manager_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
amount_in_bytes:Z.t ->
unit ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.increase_paid_storage
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Injection.result
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Injection.inject_manager_operation
with Annotated_manager_operation.annotated_list.Single_manager
Alpha_context
.Increase_paid_storage {amount_in_bytes; destination}
as operation.
val register_as_delegate :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
manager_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
?consensus_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
(Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.delegation
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Injection.result
* (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.update_consensus_key
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.update_consensus_key
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result)
option)
Mavryk_base.TzPervasives.tzresult
Lwt.t
Same as set_delegate
but the ~source
argument of Injection.inject_manager_operation
is Signature
.Public_key.hash src_pk
.
val save_contract :
force:bool ->
Protocol_client_context.full ->
string ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
unit Mavryk_base.TzPervasives.tzresult Lwt.t
Calls Raw_contract_alias
.add.
val originate_contract :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?branch:int ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
delegate:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash option ->
initial_storage:string ->
balance:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
code:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr ->
fee_parameter:Injection.fee_parameter ->
unit ->
(Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.origination
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Injection.result
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t)
Mavryk_base.TzPervasives.tzresult
Lwt.t
Injects the origination of a script into the context. See Injection.inject_manager_operation
for the injection, and Protocol
.Alpha_context.Origination for the origination parameters.
val parse_arg_transfer :
string option ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.lazy_expr
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Michelson_v1_parser
.parse_expressionarg.
val build_transaction_operation :
amount:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
parameters:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.lazy_expr ->
?entrypoint:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Entrypoint.t ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.transaction
Annotated_manager_operation.t
Calls Injection.prepare_manager_operation
with Alpha_context
.Transaction {amount;parameters;destinations;entrypoint}
as operation.
val transfer_with_script :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?force:bool ->
?branch:int ->
?successor_level:bool ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
destination:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
?entrypoint:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Entrypoint.t ->
parameters:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.lazy_expr ->
amount:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
fee_parameter:Injection.fee_parameter ->
?replace_by_fees:bool ->
unit ->
(Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.transaction
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Injection.result
* Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t list)
Mavryk_base.TzPervasives.tzresult
Lwt.t
Same as transfer
, but takes parameters as Script
.lazy_expr instead of a raw string. This can be useful for commands that elaborate Micheline parameters, such as Multisigs or FA1.2 operations.
val transfer :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?force:bool ->
?branch:int ->
?successor_level:bool ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
destination:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
?entrypoint:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Entrypoint.t ->
?arg:string ->
amount:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
fee_parameter:Injection.fee_parameter ->
?replace_by_fees:bool ->
unit ->
(Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.transaction
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Injection.result
* Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t list)
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Injection.inject_manager_operation
with Annotated_manager_operation.annotated_list.Single_manager
build_transaction_operation
~amount ~parameters ~entrypoint ?fee ?gas_limit ?storage_limit destination
as contents.
val build_reveal_operation :
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.reveal
Annotated_manager_operation.t
Calls Injection.prepare_manager_operation
with Reveal pk
as operation
val reveal :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?branch:int ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
fee_parameter:Injection.fee_parameter ->
unit ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.reveal
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Injection.result
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Injection.inject_manager_operation
with Annotated_manager_operation.annotated_list.Single_manager
build_reveal_operation ?fee ~storage_limit:Z.zero src_pk
as contents.
type activation_key = {
pkh : Mavryk_base.TzPervasives.Signature.Ed25519.Public_key_hash.t;
amount : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t;
activation_code : Mavryk_protocol_001_PtAtLas.Protocol.Blinded_public_key_hash.activation_code;
mnemonic : string list;
password : string;
email : string;
}
val activation_key_encoding :
activation_key Mavryk_base.TzPervasives.Data_encoding.t
type batch_transfer_operation = {
destination : string;
fee : string option;
gas_limit : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral
option;
storage_limit : Z.t option;
amount : string;
arg : string option;
entrypoint : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Entrypoint.t
option;
}
val batch_transfer_operation_encoding :
batch_transfer_operation Mavryk_base.TzPervasives.Data_encoding.t
val activate_account :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
?dry_run:bool ->
?encrypted:bool ->
?force:bool ->
activation_key ->
string ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.activate_account
Injection.result
Mavryk_base.TzPervasives.tzresult
Lwt.t
Activate an account, by calling Injection.inject_operation
.
val activate_existing_account :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
?dry_run:bool ->
string ->
Mavryk_protocol_001_PtAtLas.Protocol.Blinded_public_key_hash.activation_code ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.activate_account
Injection.result
Mavryk_base.TzPervasives.tzresult
Lwt.t
Activate an existing account, by calling Injection.inject_operation
with activation code
. It fails if the account is unknown or if the account is not Signature.Ed25519
.
type period_info = {
current_period_kind : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Voting_period.kind;
position : Stdlib.Int32.t;
remaining : Stdlib.Int32.t;
current_proposal : Mavryk_base.TzPervasives.Protocol_hash.t option;
}
type ballots_info = {
current_quorum : Stdlib.Int32.t;
participation : Stdlib.Int32.t;
supermajority : Stdlib.Int64.t;
ballots : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Vote.ballots;
}
val get_period_info :
?successor:bool ->
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
period_info Mavryk_base.TzPervasives.tzresult Lwt.t
get_period_info ~successor cctx ~chain ~block
returns the successor period_info
if successor
, it returns the current period_info
otherwise. This function uses Mavryk_protocol_alpha
.Protocol.Voting_services.successor_period if successor
, otherwise it calls Mavryk_protocol_alpha
.Protocol.Voting_services.current_period. In any case, it also uses Mavryk_protocol_alpha
.Protocol.Voting_services.current_proposal
val get_ballots_info :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
ballots_info Mavryk_base.TzPervasives.tzresult Lwt.t
get_ballots_info cctx ~chain ~block
returns the ballots_info
. It calls Mavryk_protocol_alpha
.Protocol.Voting_services.ballots, Mavryk_protocol_alpha
.Protocol.Voting_services.current_quorum and Mavryk_protocol_alpha
.Protocol.Voting_services.total_voting_power.
val get_proposals :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
Stdlib.Int64.t Mavryk_protocol_001_PtAtLas.Environment.Protocol_hash.Map.t
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Mavryk_protocol_alpha
.Protocol.Voting_services.proposals
val submit_proposals :
?dry_run:bool ->
?verbose_signing:bool ->
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
Mavryk_base.TzPervasives.Protocol_hash.t list ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.proposals
Injection.result_list
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Injection.inject_operation
where contents
is Alpha_context
.Single (Proposals {source; period = index; proposals})
with index
the result of Alpha_services
.Voting.successor_period
val submit_ballot :
?dry_run:bool ->
?verbose_signing:bool ->
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
Mavryk_base.TzPervasives.Protocol_hash.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Vote.ballot ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.ballot
Injection.result_list
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Injection.inject_operation
where contents
is Alpha_context
.Single (Ballot {source; period = index; proposals})
with index
the result of Alpha_services
.Voting.successor_period
val display_receipt_for_operation :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Block_services.chain ->
?predecessors:int ->
Mavryk_base.TzPervasives.Operation_list_hash.elt ->
unit Mavryk_base.TzPervasives.tzresult Lwt.t
lookup an operation in predecessors
previous blocks, and print the receipt if found
val cached_contracts :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
(Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t * int) list
Mavryk_base.TzPervasives.tzresult
Lwt.t
Calls Mavryk_protocol_alpha
.Protocol.Alpha_services.Cache.cached_contracts
val contract_rank :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t ->
int option Mavryk_base.TzPervasives.tzresult Lwt.t
Calls Mavryk_protocol_alpha
.Protocol.Alpha_services.Cache.contract_rank
val contract_cache_size :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
int Mavryk_base.TzPervasives.tzresult Lwt.t
Calls Mavryk_protocol_alpha
.Protocol.Alpha_services.Cache.contract_cache_size
val contract_cache_size_limit :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
int Mavryk_base.TzPervasives.tzresult Lwt.t
Calls Mavryk_protocol_alpha
.Protocol.Alpha_services.Cache.contract_cache_size_limit
val transfer_ticket :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
source:Mavryk_base.TzPervasives.Signature.public_key_hash ->
src_pk:Mavryk_base.TzPervasives.Signature.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
contents:string ->
ty:string ->
ticketer:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
amount:Mavryk_protocol_001_PtAtLas.Protocol.Ticket_amount.t ->
destination:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
entrypoint:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Entrypoint.t ->
unit ->
(Mavryk_base.TzPervasives.Operation_hash.t
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.transfer_ticket
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.transfer_ticket
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result)
Mavryk_base.TzPervasives.tzresult
Lwt.t
val sc_rollup_originate :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Chain_services.chain ->
block:Mavryk_shell_services.Block_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
?whitelist:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.Whitelist.t ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
kind:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.Kind.t ->
boot_sector:string ->
parameters_ty:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.lazy_expr ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
unit ->
(Mavryk_base.TzPervasives.Operation_hash.t
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_originate
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_originate
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result)
Mavryk_base.TzPervasives.tzresult
Lwt.t
Injects a smart-contract rollup origination operation using Injection.inject_operation
.
Originates a smart rollup of kind
with the boot_sector
using paramaters_ty
. Generates a unique smart rollup address returned in the operation's receipt.
This is the only entry-point to create a smart rollup.
val sc_rollup_add_messages :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Chain_services.chain ->
block:Mavryk_shell_services.Block_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
messages:string list ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
unit ->
(Mavryk_base.TzPervasives.Operation_hash.t
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_add_messages
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_add_messages
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result)
Mavryk_base.TzPervasives.tzresult
Lwt.t
Injects a smart-contract rollup add messages operation using Injection.inject_operation
.
Adds external messages to the smart rollup inbox shared with all smart rollups.
val sc_rollup_cement :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Chain_services.chain ->
block:Mavryk_shell_services.Block_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
rollup:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.t ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
unit ->
(Mavryk_base.TzPervasives.Operation_hash.t
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_cement
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_cement
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result)
Mavryk_base.TzPervasives.tzresult
Lwt.t
Injects a smart-contract rollup cement commitment operation using Injection.inject_operation
.
Cements a commitment
for the smart rollup rollup
. The commitment now becomes unrefutable and we can execute outbox messages for the committed PVM state (see sc_rollup_execute_outbox_message
).
val sc_rollup_publish :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Chain_services.chain ->
block:Mavryk_shell_services.Block_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
rollup:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.t ->
commitment:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.Commitment.t ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
unit ->
(Mavryk_base.TzPervasives.Operation_hash.t
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_publish
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_publish
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result)
Mavryk_base.TzPervasives.tzresult
Lwt.t
Injects a smart-contract rollup publish commitment operation using Injection.inject_operation
.
Publishes a commitment
to announces the PVM state at the end of a commitment period and the number of ticks executed. If it is the first time src_pk
publishes a commitment, a bond is frozen.
val sc_rollup_execute_outbox_message :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Chain_services.chain ->
block:Mavryk_shell_services.Block_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
rollup:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.t ->
cemented_commitment:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.Commitment.Hash.t ->
output_proof:string ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
unit ->
(Mavryk_base.TzPervasives.Operation_hash.t
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_execute_outbox_message
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_execute_outbox_message
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result)
Mavryk_base.TzPervasives.tzresult
Lwt.t
Injects a smart-contract rollup execute outbox message operation using Injection.inject_operation
.
Executes output_proof
on the PVM commited state from the cemented_commitment
. Allows to perform L2->L1 communication.
val sc_rollup_recover_bond :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.mav ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
source:Mavryk_base.TzPervasives.Signature.public_key_hash ->
src_pk:Mavryk_base.TzPervasives.Signature.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
sc_rollup:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.t ->
staker:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
unit ->
(Mavryk_base.TzPervasives.Operation_hash.t
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_recover_bond
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_recover_bond
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result)
Mavryk_base.TzPervasives.tzresult
Lwt.t
Injects a smart-contract rollup recover bond operation using Injection.inject_operation
.
Allows to recover the bond frozen by the operation sc_rollup_publish
of src_pk
, if the commitment is no longer subject to refutations.
val sc_rollup_refute :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Chain_services.chain ->
block:Mavryk_shell_services.Block_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
rollup:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.t ->
refutation:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.Game.refutation ->
opponent:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.Staker.t ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
unit ->
(Mavryk_base.TzPervasives.Operation_hash.t
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_refute
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_refute
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result)
Mavryk_base.TzPervasives.tzresult
Lwt.t
Injects a smart-contract rollup refutation operation using Injection.inject_operation
.
Either start a refutation game between src_pk
and oppononent
or plays a move in an existing refutation game.
val sc_rollup_timeout :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Chain_services.chain ->
block:Mavryk_shell_services.Block_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
rollup:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.t ->
alice:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.Staker.t ->
bob:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.Staker.t ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
unit ->
(Mavryk_base.TzPervasives.Operation_hash.t
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_timeout
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.sc_rollup_timeout
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result)
Mavryk_base.TzPervasives.tzresult
Lwt.t
Injects a smart-contract rollup timeout operation using Injection.inject_operation
.
Timeouts the absent player from the refutation game between alice
and bob
.
val get_smart_rollup_ticket_balance :
Protocol_client_context.rpc_context ->
chain:Mavryk_shell_services.Shell_services.chain ->
block:Mavryk_shell_services.Shell_services.block ->
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.t ->
Mavryk_protocol_001_PtAtLas.Protocol.Ticket_token.unparsed_token ->
Z.t Mavryk_base.TzPervasives.tzresult Lwt.t
Calls Mavryk_protocol_plugin_alpha
.Plugin.RPC.Sc_rollup.get_ticket_balance.
val zk_rollup_originate :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Chain_services.chain ->
block:Mavryk_shell_services.Block_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
public_parameters:
Mavryk_protocol_001_PtAtLas.Environment.Plonk.public_parameters ->
circuits_info:
[ `Fee | `Private | `Public ]
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Zk_rollup.Account.SMap.t ->
init_state:Mavryk_bls12_381.Fr.t array ->
nb_ops:int ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
unit ->
(Mavryk_base.TzPervasives.Operation_hash.t
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.zk_rollup_origination
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.zk_rollup_origination
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result,
Mavryk_base.TzPervasives.tztrace)
Stdlib.result
Lwt.t
val zk_rollup_publish :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Chain_services.chain ->
block:Mavryk_shell_services.Block_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
zk_rollup:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Zk_rollup.t ->
ops:
(Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Zk_rollup.Operation.t
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Zk_rollup.Ticket.t
option)
list ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
unit ->
(Mavryk_base.TzPervasives.Operation_hash.t
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.zk_rollup_publish
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.zk_rollup_publish
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result,
Mavryk_base.TzPervasives.tztrace)
Stdlib.result
Lwt.t
val zk_rollup_update :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Chain_services.chain ->
block:Mavryk_shell_services.Block_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
zk_rollup:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Zk_rollup.t ->
update:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Zk_rollup.Update.t ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
unit ->
(Mavryk_base.TzPervasives.Operation_hash.t
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.zk_rollup_update
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.zk_rollup_update
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result,
Mavryk_base.TzPervasives.tztrace)
Stdlib.result
Lwt.t
val dal_publish :
Protocol_client_context.full ->
chain:Mavryk_shell_services.Chain_services.chain ->
block:Mavryk_shell_services.Block_services.block ->
?confirmations:int ->
?dry_run:bool ->
?verbose_signing:bool ->
?simulation:bool ->
?fee:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t ->
?gas_limit:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?safety_guard:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral ->
?storage_limit:Z.t ->
?counter:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t ->
source:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash ->
slot_header:
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Dal.Operations.Publish_slot_header.t ->
src_pk:Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key ->
src_sk:Mavryk_client_base.Client_keys.sk_uri ->
fee_parameter:Injection.fee_parameter ->
unit ->
(Mavryk_base.TzPervasives.Operation_hash.t
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.dal_publish_slot_header
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.contents
* Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.dal_publish_slot_header
Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Kind.manager
Mavryk_protocol_001_PtAtLas.Protocol.Apply_results.contents_result)
Mavryk_base.TzPervasives.tzresult
Lwt.t
Injects a DAL publish commitment operation using Injection.inject_operation
.