Module Mavryk_client_001_PtAtLas.Client_proto_context

Calls Mavryk_protocol_alpha.Protocol.Contract_services.list.

Calls Mavryk_protocol_plugin_alpha.Plugin.RPC.Contract.get_storage_normalized.

Calls Mavryk_protocol_plugin_alpha.Plugin.RPC.Contract.get_used_storage_space.

Calls Mavryk_protocol_plugin_alpha.Plugin.RPC.Contract.get_paid_storage_space.

Calls Mavryk_protocol_alpha.Protocol.Contract_services.contract_big_map_get_opt.

Calls Injection.prepare_manager_operation with Register_global_constant constant as operation.

Calls Mavryk_protocol_plugin_alpha.Plugin.RPC.Big_map.big_map_get_normalized.

Calls Mavryk_protocol_plugin_alpha.Plugin.RPC.Contract.get_script_normalized.

Calls Mavryk_protocol_alpha.Protocol.Contract_services.script_opt.

Calls Mavryk_protocol_alpha.Protocol.Contract_services.balance.

Calls Mavryk_protocol_alpha.Protocol.Contract_services.staked_balance.

Calls Mavryk_protocol_alpha.Protocol.Contract_services.full_balance.

Calls Mavryk_protocol_plugin_alpha.Plugin.RPC.Contract.get_ticket_balance.

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

Calls Mavryk_protocol_alpha.Protocol.Delegate_services.frozen_deposits_limit.

Calls Injection.prepare_manager_operation with Alpha_context.Delegation delegate_opt as operation.

Calls Injection.inject_manager_operation with Annotated_manager_operation.annotated_list.Single_manager build_delegate_operation ?fee opt_delegate as operation.

Calls Injection.inject_manager_operation with Annotated_manager_operation.annotated_list.Single_manager Alpha_context.Set_deposits_limit limit_opt as operation.

Calls Injection.inject_manager_operation with Annotated_manager_operation.annotated_list.Single_manager Alpha_context.Increase_paid_storage {amount_in_bytes; destination} as operation.

Same as set_delegate but the ~source argument of Injection.inject_manager_operation is Signature.Public_key.hash src_pk.

Calls Raw_contract_alias.add.

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.

Calls Michelson_v1_parser.parse_expressionarg.

Calls Injection.prepare_manager_operation with Alpha_context.Transaction {amount;parameters;destinations;entrypoint} as operation.

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.

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.

Calls Injection.prepare_manager_operation with Reveal pk as operation

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.

val activation_key_encoding : activation_key Mavryk_base.TzPervasives.Data_encoding.t
type batch_transfer_operation = {
  1. destination : string;
  2. fee : string option;
  3. gas_limit : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Gas.Arith.integral option;
  4. storage_limit : Z.t option;
  5. amount : string;
  6. arg : string option;
  7. 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

Activate an account, by calling Injection.inject_operation.

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 = {
  1. current_period_kind : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Voting_period.kind;
  2. position : Stdlib.Int32.t;
  3. remaining : Stdlib.Int32.t;
  4. current_proposal : Mavryk_base.TzPervasives.Protocol_hash.t option;
}
type ballots_info = {
  1. current_quorum : Stdlib.Int32.t;
  2. participation : Stdlib.Int32.t;
  3. supermajority : Stdlib.Int64.t;
  4. ballots : Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Vote.ballots;
}

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

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.

Calls Mavryk_protocol_alpha.Protocol.Voting_services.proposals

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

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

lookup an operation in predecessors previous blocks, and print the receipt if found

Calls Mavryk_protocol_alpha.Protocol.Alpha_services.Cache.cached_contracts

Calls Mavryk_protocol_alpha.Protocol.Alpha_services.Cache.contract_rank

Calls Mavryk_protocol_alpha.Protocol.Alpha_services.Cache.contract_cache_size

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.

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.

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).

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.

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.

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

Injects a DAL publish commitment operation using Injection.inject_operation.