Execution tracing for past blocks

Cargo.toml

@@ -87,7 +87,8 @@ fuel-core-xtask = { version = "0.0.0", path = "./xtask" }
 fuel-gas-price-algorithm = { version = "0.40.0", path = "crates/fuel-gas-price-algorithm" }
 
 # Fuel dependencies
-fuel-vm-private = { version = "0.58.2", package = "fuel-vm", default-features = false }
+fuel-vm-private = { git = "https://github.com/FuelLabs/fuel-vm", branch = "dento/execution-trace", package = "fuel-vm", default-features = false }
+# fuel-vm-private = { version = "0.58.2", package = "fuel-vm", default-features = false }
 
 # Common dependencies
 anyhow = "1.0"

crates/client/assets/schema.sdl

@@ -734,6 +734,10 @@ type Mutation {
 	"""
 	dryRun(txs: [HexString!]!, utxoValidation: Boolean, gasPrice: U64): [DryRunTransactionExecutionStatus!]!
 	"""
+	Get execution trace for an already-executed transaction.
+	"""
+	traceTx(txId: HexString!, trigger: TraceTrigger!): [TraceTransactionExecutionStatus!]!
+	"""
 	Submits transaction to the `TxPool`.
 
 	Returns submitted transaction if the transaction is included in the `TxPool` without problems.
@@ -1170,6 +1174,71 @@ type SuccessStatus {
 
 scalar Tai64Timestamp
 
+type TraceFailureStatus {
+	programState: ProgramState
+	reason: String!
+	receipts: [Receipt!]!
+	executionTrace: [TraceFrame!]!
+	totalGas: U64!
+	totalFee: U64!
+}
+
+type TraceFrame {
+	"""
+	Register values
+	"""
+	registers: [U64!]!
+	"""
+	Changes to memory `(address, bytes)` that occurred since the last frame
+	"""
+	memoryDiff: [TraceFrameMemoryPatch!]!
+	"""
+	How many of the original receipts have been produced by this point
+	"""
+	receiptCount: Int!
+}
+
+type TraceFrameMemoryPatch {
+	"""
+	Start address
+	"""
+	start: Int!
+	"""
+	Bytes of data
+	"""
+	bytes: HexString!
+}
+
+type TraceSuccessStatus {
+	programState: ProgramState
+	receipts: [Receipt!]!
+	executionTrace: [TraceFrame!]!
+	totalGas: U64!
+	totalFee: U64!
+}
+
+type TraceTransactionExecutionStatus {
+	id: TransactionId!
+	status: TraceTransactionStatus!
+	receipts: [Receipt!]!
+}
+
+union TraceTransactionStatus = TraceSuccessStatus | TraceFailureStatus
+
+"""
+One of the films in the Star Wars Trilogy
+"""
+enum TraceTrigger {
+	"""
+	After each instruction
+	"""
+	ON_INSTRUCTION
+	"""
+	After an instruction has created a receipt
+	"""
+	ON_RECEIPT
+}
+
 type Transaction {
 	id: TransactionId!
 	inputAssetIds: [AssetId!]