Economics API

Economics API

Accounts own certain balance; and each transaction and each receipt have certain amount of balance and prepaid gas attached to them. During the contract execution, the contract has access to the following u128 values:

• account_balance -- the balance attached to the given account. This includes the attached_deposit that was attached to the transaction;

• attached_deposit -- the balance that was attached to the call that will be immediately deposited before the contract execution starts;

• prepaid_gas -- the tokens attached to the call that can be used to pay for the gas;

• used_gas -- the gas that was already burnt during the contract execution and attached to promises (cannot exceed prepaid_gas);

If contract execution fails prepaid_gas - used_gas is refunded back to signer_account_id and attached_deposit is refunded back to predecessor_account_id.

An external call (see Context API ) has no prepaid gas. Instead, the contract pays for all the gas the call uses from its own balance, at the gas price of the call: the gas it burns, the gas attached to function calls, and the execution fees of all actions and receipts. The gas is limited by fixed limits, not by the balance: the gas burnt is limited by max_gas_burnt_external, and the gas burnt plus the gas attached to promises is limited by max_total_prepaid_gas. The contract is charged after the call, and the call is rejected if the balance can't pay.

While the call runs, account_balance returns the real balance of the contract, which includes the money the call will owe for its gas. Deposits and transfers can spend all of it, but the call must leave enough to pay for its fees and its gas, or it is rejected.

The call also pays fees for its input before the method runs (see Gas in External Contract Calls ). They are charged with the gas after the call. used_gas does not include them, and the fees lower the max_gas_burnt_external limit on the gas burnt.

An external call has no deposit. If one is called with a nonzero attached_deposit, it fails with DepositInExternalCall before any contract code runs.

The following spec is the same for all functions:

` #![allow(unused)] fn main() { account_balance(balance_ptr: u64) attached_deposit(balance_ptr: u64)

} `

-- writes the value into the u128 variable pointed by balance_ptr.

Panics

• If balance_ptr + 16 points outside the memory of the guest with MemoryAccessViolation;

• If called in a view function panics with ProhibitedInView.

Current bugs

• Use a different name;

#![allow(unused)] fn main() { prepaid_gas() -> u64 used_gas() -> u64 }

Panics

• If called in a view function panics with ProhibitedInView;

• If prepaid_gas is called in an external call panics with ProhibitedInExternalCall.