PostTxExecute

Introduction

The PostTxExecute join point is triggered during the DeliverTx phase of the Transaction lifecycle. The following represents the call graph:

ApplyTransaction
- ⮕ ApplyMessageWithConfig
  - ⮕ evm.Call
    - ⮕ loop opCodes
      - | evm.Interpreter.Run 0
      - | evm.Interpreter.Run 1
      - ....
  - ⚙ PostTxExecute join point
- ⮕ RefundGas

At this stage, the account state remains pristine, enabling Aspect to preload information as needed.

Interface

interface IPostTxExecuteJP extends IAspectBase {
  postTxExecute(input: PostTxExecuteInput): void;
}

Parameter
- input: PostTxExecuteInput; The base layer will deliver the PostTxExecuteInput object to Aspect in this join point.
  - input.block.number: current block number.
  - input.tx.from: caller of the transaction.
  - input.tx.to: to address of the transaction.
  - input.tx.hash: hash of the transaction.
  - input.receipt.status: execution status of the transaction.
Returns
- void; If Aspect returns normally, the transaction will continue to execute. If Aspect calls sys.revert to revert the transaction, the base layer will revert the transaction.

Example

/**
 * postTxExecute is a join-point that gets invoked after the execution of a transaction.
 *
 * @param input Input of the given join-point
 * @return void
 */
postTxExecute(input: PostTxExecuteInput): void {
  // In this method, check the balance of target account and force to fail
  // the transaction if the blance is not as expect.
  
  // 'hexToUint8Array' is imported from "@artela/aspect-libs";
  let addr = hexToUint8Array("0xE2AF7C239b4F2800a2F742d406628b4fc4b8a0d4");

  // get balance for the account
  // 'sys, BigInt' is imported from "@artela/aspect-libs";
  let balance = BigInt.fromUint8Array(sys.hostApi.stateDb.balance(addr));

  // check the balance base the rule.
  if (balance.toUInt64() < 1000) {
    sys.revert("abort transaction, balance is not enough");
  }
}

Programming Guide

There are two programming modes that can be used in this method:

By utilizing the 'input' input argument, it provides essential insights into transactions and block processing. see how to use input.
Using the 'sys' namespace, it provides both hight level API and low-level API access to system data and contextual information generated during blockchain runtime, including details about the environment, blocks, transactions, and utility classes such as crypto and ABI encoding/decoding. see more details.

Important point: Since the join point is in the EVM execution process, using sys.revert(), sys.require() in this join point will actually revert the transaction.

Host APIs

For a comprehensive overview of all APIs and their usage see API References.

Each join-point has access to different host APIs, and the host APIs available within the current breakpoint can be found at the following table.

System APIs	Availability	Description
sys.revert	✅	Forces the current transaction to fail.
sys.require	✅	Checks if certain conditions are met; if not, forces the entire transaction to fail.
sys.log	✅	A wrapper for `sys.hostApi.util.log`, prints log messages to Artela output for debugging on the localnet.
sys.aspect.id	✅	Retrieves the ID of the aspect.
sys.aspect.version	✅	Retrieves the version of the aspect.
sys.aspect.mutableState	✅	A wrapper for `sys.hostApi.aspectState` that facilitates easier reading or writing of values of a specified type to aspect state.
sys.aspect.property	✅	A wrapper for `sys.hostApi.aspectProperty` that facilitates easier reading of values of a specified type from aspect property.
sys.aspect.readonlyState	✅	A wrapper for `sys.hostApi.aspectState` that facilitates easier reading of values of a specified type from aspect state.
sys.aspect.transientStorage	✅	A wrapper for `sys.hostApi.aspectTransientStorage` that facilitates easier reading or writing of values of a specified type to aspect transient storage.
sys.hostApi.aspectProperty	✅	Retrieves the property of the aspect as written in aspect deployment.
sys.hostApi.aspectState	✅	Retrieves or writes the state of the aspect.
sys.hostApi.aspectTransientStorage	✅	Retrieves or writes to the transient storage of the aspect. This storage is only valid within the current transaction lifecycle.
sys.hostApi.crypto.ecRecover	✅	Calls crypto methods `ecRecover`.
sys.hostApi.crypto.keccak	✅	Calls crypto methods `keccak`.
sys.hostApi.crypto.ripemd160	✅	Calls crypto methods `ripemd160`.
sys.hostApi.crypto.sha256	✅	Calls crypto methods `sha256`.
sys.hostApi.runtimeContext	✅	Retrieves runtime context by the key. Refer to the runtime context to see which keys can be accessed by the current join point.
sys.hostApi.stateDb.balance	✅	Gets the balance of the specified address from the EVM state database.
sys.hostApi.stateDb.codeHash	✅	Gets the hash of the code from the EVM state database.
sys.hostApi.stateDb.codeSize	✅	Gets the size of the code from the EVM state database.
sys.hostApi.stateDb.hasSuicided	✅	Gets the codehash from the EVM state database.
sys.hostApi.stateDb.nonce	✅	Checks if the contract at the specified address is suicided in the current transactions.
sys.hostApi.stateDb.stateAt	✅	Gets the state at a specific point.
sys.hostApi.evmCall.jitCall	❌	Creates a contract call and executes it immediately.
sys.hostApi.evmCall.staticCall	❌	Creates a static call and executes it immediately.
sys.hostApi.trace.queryCallTree	✅	Returns the call tree of EVM execution.
sys.hostApi.trace.queryStateChange	✅	Returns the state change in EVM execution for the specified key.

Runtime context

The Aspect Runtime Context encapsulates data generated through the consensus process. With the acquired Runtime Context object, retrieve specific data by specifying the relevant Context Key. Each Context Key is associated with a particular type of data or information.

Usage

const parentHash = sys.hostApi.runtimeContext.get("block.header.parentHash");
// decode BytesData
const parentHashData = Protobuf.decode < BytesData > (parentHashBytes, BytesData.decode);
sys.log('block.header.parentHash' + ' ' + uint8ArrayToHex(parentHashData.data));


const logs = sys.hostApi.runtimeContext.get('receipt.logs');
// decode EthLogs
const logsData = Protobuf.decode<EthLogs>(logs, EthLogs.decode);
for (let i = 0; i < logsData.logs.length; i++) {
  sys.log('receipt.logs ' + i.toString(10) + ' ' + uint8ArrayToHex(logsData.logs[i].address) + ' ' + uint8ArrayToHex(logsData.logs[i].data),
  );
}

Key table

Context key	Value type	Description
isCall	BoolData	Get the current transaction is Call or Send. If it is Call, return true.
tx.type	UintData	Returns the transaction type id. LegacyTxType=0x00 AccessListTxType=0x01 DynamicFeeTxType=0x02 BlobTxType=0x03
tx.chainId	BytesData	Returns the EIP155 chain ID of the transaction. The return value will always be non-nil. For legacy transactions which are not replay-protected, the return value is zero.
tx.accessList	EthAccessList	AccessListTx is the data of EIP-2930 access list transactions.
tx.nonce	UintData	Returns the sender account nonce of the transaction.
tx.gasPrice	BytesData	Returns the gas price of the transaction.
tx.gas	UintData	Returns the gas limit of the transaction.
tx.gasTipCap	BytesData	Returns the gasTipCap per gas of the transaction.
tx.gasFeeCap	BytesData	Returns the fee cap per gas of the transaction.
tx.to	BytesData	Returns the recipient address of the transaction. For contract-creation transactions, To returns nil.
tx.value	BytesData	Returns the ether amount of the transaction.
tx.data	BytesData	Returns the input data of the transaction.
tx.bytes	BytesData	Returns the transaction marshal binary.
tx.hash	BytesData	Returns the transaction hash.
tx.unsigned.bytes	BytesData	Returns the unsigned transaction marshal binary.
tx.unsigned.hash	BytesData	Returns the unsigned transaction hash.
tx.sig.v	BytesData	Returns the V signature values of the transaction.
tx.sig.r	BytesData	Returns the R signature values of the transaction.
tx.sig.s	BytesData	Returns the S signature values of the transaction.
tx.from	BytesData	Returns the from address of the transaction.
tx.index	UintData	Returns the transaction index of current block.
block.header.parentHash	BytesData	Get the current block header parent hash.
block.header.miner	BytesData	Get the current block header miner.
block.header.transactionsRoot	BytesData	Get the current block TransactionsRoot hash.
block.header.number	UintData	Get the current block number.
block.header.timestamp	UintData	Get the current block header timestamp.
env.extraEIPs	IntArrayData	Retrieve the EVM module parameters for the 'extra_eips': defines the additional EIPs for the vm.Config.
env.enableCreate	BoolData	Retrieve the EVM module parameters for the 'enable_create': toggles states transitions that use the vm.Create function.
env.enableCall	BoolData	Retrieve the EVM module parameters for the 'enable_call': toggles states transitions that use the vm.Call function.
env.allowUnprotectedTxs	BoolData	Retrieve the EVM module parameters for the 'allow_unprotected_txs': defines if replay-protected (i.e non EIP155 // signed) transactions can be executed on the states machine.
env.chain.chainId	UintData	Retrieve the Ethereum chain config id.
env.chain.homesteadBlock	UintData	Retrieve the Ethereum chain configuration for the 'homestead_block': switch (nil no fork, 0 = already homestead)
env.chain.daoForkBlock	UintData	Retrieve the Ethereum chain configuration for the 'dao_fork_block': corresponds to TheDAO hard-fork switch block (nil no fork)
env.chain.daoForkSupport	BoolData	Retrieve the Ethereum chain configuration for the 'dao_fork_support': defines whether the nodes supports or opposes the DAO hard-fork
env.chain.eip150Block	UintData	Retrieve the Ethereum chain configuration for the 'eip150_block': EIP150 implements the Gas price changes (https://github.com/ethereum/EIPs/issues/150) EIP150 HF block (nil no fork)
env.chain.eip155Block	UintData	Retrieve the Ethereum chain configuration for the 'eip155_block'.
env.chain.eip158Block	UintData	Retrieve the Ethereum chain configuration for the 'eip158_block'.
env.chain.byzantiumBlock	UintData	Retrieve the Ethereum chain configuration for the 'byzantium_block': Byzantium switch block (nil no fork, 0 =already on byzantium)
env.chain.constantinopleBlock	UintData	Retrieve the Ethereum chain configuration for the 'constantinople_block': Constantinople switch block (nil no fork, 0 = already activated)
env.chain.petersburgBlock	UintData	Retrieve the Ethereum chain configuration for the 'petersburg_block': Petersburg switch block (nil no fork, 0 = already activated)
env.chain.istanbulBlock	UintData	Retrieve the Ethereum chain configuration for the 'istanbul_block': Istanbul switch block (nil no fork, 0 = already on istanbul)
env.chain.muirGlacierBlock	UintData	Retrieve the Ethereum chain configuration for the 'muir_glacier_block': Eip-2384 (bomb delay) switch block ( nil no fork, 0 = already activated).
env.chain.berlinBlock	UintData	Retrieve the Ethereum chain configuration for the 'berlin_block': Berlin switch block (nil = no fork, 0 = already on berlin)
env.chain.londonBlock	UintData	Retrieve the Ethereum chain configuration for the 'london_block': London switch block (nil = no fork, 0 = already on london)
env.chain.arrowGlacierBlock	UintData	Retrieve the Ethereum chain configuration for the 'arrow_glacier_block': Eip-4345 (bomb delay) switch block (nil = no fork, 0 = already activated)
env.chain.grayGlacierBlock	UintData	Retrieve the Ethereum chain configuration for the 'gray_glacier_block': EIP-5133 (bomb delay) switch block (nil = no fork, 0 = already activated)
env.chain.mergeNetSplitBlock	UintData	Retrieve the Ethereum chain configuration for the 'merge_netsplit_block': Virtual fork after The Merge to use as a network splitter.
env.chain.shanghaiTime	UintData	Retrieve the Ethereum chain configuration for the 'shanghaiTime': Shanghai switch time (nil = no fork, 0 = already on shanghai).
env.chain.cancunTime	UintData	Retrieve the Ethereum chain configuration for the 'CancunTime': Cancun switch time (nil = no fork, 0 = already on cancun).
env.chain.pragueTime	UintData	Retrieve the Ethereum chain configuration for the 'PragueTime': Prague switch time (nil = no fork, 0 = already on prague).
env.consensusParams.block.maxGas	IntData	Retrieve the max gas per block.
env.consensusParams.block.maxBytes	IntData	Retrieve the max block size, in bytes.
env.consensusParams.evidence.maxAgeDuration	IntData	Retrieve the max age duration.It should correspond with an app's "unbonding period" or other similar mechanism for handling.
env.consensusParams.evidence.maxAgeNumBlocks	IntData	The basic formula for calculating this is: MaxAgeDuration / {average block time}.
env.consensusParams.evidence.maxBytes	IntData	Retrieve the maximum size of total evidence in bytes that can be committed in a single block.
env.consensusParams.validator.pubKeyTypes	StringArrayData	Restrict the public key types validators can use.
env.consensusParams.appVersion	UintData	The ABCI application version.
aspect.id	BytesData	Returns current aspect id.
aspect.version	UintData	Returns current aspect version.
receipt.status	UintData	Returns the receipt status of the EVM call.
receipt.logs	EthLogs	Returns the receipt logs of the EVM call.
receipt.gasUsed	UintData	Returns the receipt gas used of the EVM call.
receipt.cumulativeGasUsed	UintData	Returns the cumulative gas used of the receipt.
receipt.bloom	BytesData	Returns the receipt bloom.

PostTxExecute

Introduction​

Interface​

Example​

Programming Guide​

Host APIs​

Runtime context​

Usage​

Key table​