@aztec/stdlib 0.0.1-fake-ceab37513c → 0.0.6-commit.a2d1860fe9

package/dest/tx/tx_effect.js

@@ -1,25 +1,21 @@
-import { CONTRACT_CLASS_LOGS_PREFIX, L2_L1_MSGS_PREFIX, MAX_CONTRACT_CLASS_LOGS_PER_TX, MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_LOGS_PER_TX, MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, NOTES_PREFIX, NULLIFIERS_PREFIX, PRIVATE_LOGS_PREFIX, PUBLIC_DATA_UPDATE_REQUESTS_PREFIX, PUBLIC_LOGS_PREFIX, REVERT_CODE_PREFIX, TX_FEE_PREFIX } from '@aztec/constants';
+var _computedKey;
+import { decodeTxBlobData, encodeTxBlobData, getNumTxBlobFields } from '@aztec/blob-lib/encoding';
+import { MAX_CONTRACT_CLASS_LOGS_PER_TX, MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_LOGS_PER_TX, MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX } from '@aztec/constants';
 import { makeTuple, makeTupleAsync } from '@aztec/foundation/array';
-import { toBufferBE } from '@aztec/foundation/bigint-buffer';
-import { Fr } from '@aztec/foundation/fields';
+import { randomInt } from '@aztec/foundation/crypto/random';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { schemas } from '@aztec/foundation/schemas';
-import { BufferReader, FieldReader, serializeArrayOfBufferableToVector, serializeToBuffer } from '@aztec/foundation/serialize';
+import { BufferReader, serializeArrayOfBufferableToVector, serializeToBuffer } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
-import { computeUnbalancedMerkleTreeRoot } from '@aztec/foundation/trees';
 import { inspect } from 'util';
 import { z } from 'zod';
 import { PublicDataWrite } from '../avm/public_data_write.js';
 import { RevertCode } from '../avm/revert_code.js';
 import { ContractClassLog } from '../logs/contract_class_log.js';
 import { PrivateLog } from '../logs/private_log.js';
-import { PublicLog } from '../logs/public_log.js';
+import { FlatPublicLogs, PublicLog } from '../logs/public_log.js';
 import { TxHash } from './tx_hash.js';
-// This will appear as 0x74785f7374617274 in logs
-export const TX_START_PREFIX = 8392562855083340404n;
-// These are helper constants to decode tx effects from blob encoded fields
-export const TX_START_PREFIX_BYTES_LENGTH = TX_START_PREFIX.toString(16).length / 2;
-// 7 bytes for: | 0 | txlen[0] | txlen[1] | 0 | REVERT_CODE_PREFIX | 0 | revertCode |
-export const TX_EFFECT_PREFIX_BYTE_LENGTH = TX_START_PREFIX_BYTES_LENGTH + 7;
+_computedKey = inspect.custom;
 export class TxEffect {
     revertCode;
     txHash;
@@ -116,246 +112,103 @@ export class TxEffect {
             serializeArrayOfBufferableToVector(this.l2ToL1Msgs, 1),
             serializeArrayOfBufferableToVector(this.publicDataWrites, 1),
             serializeArrayOfBufferableToVector(this.privateLogs, 1),
-            serializeArrayOfBufferableToVector(this.publicLogs, 1),
+            serializeArrayOfBufferableToVector(this.publicLogs, 4),
             serializeArrayOfBufferableToVector(this.contractClassLogs, 1)
         ]);
     }
     equals(other) {
         return this.revertCode.equals(other.revertCode) && this.txHash.equals(other.txHash) && this.transactionFee.equals(other.transactionFee) && this.noteHashes.length === other.noteHashes.length && this.noteHashes.every((h, i)=>h.equals(other.noteHashes[i])) && this.nullifiers.length === other.nullifiers.length && this.nullifiers.every((h, i)=>h.equals(other.nullifiers[i])) && this.l2ToL1Msgs.length === other.l2ToL1Msgs.length && this.l2ToL1Msgs.every((h, i)=>h.equals(other.l2ToL1Msgs[i])) && this.publicDataWrites.length === other.publicDataWrites.length && this.publicDataWrites.every((h, i)=>h.equals(other.publicDataWrites[i])) && this.privateLogs.length === other.privateLogs.length && this.privateLogs.every((h, i)=>h.equals(other.privateLogs[i])) && this.publicLogs.length === other.publicLogs.length && this.publicLogs.every((h, i)=>h.equals(other.publicLogs[i])) && this.contractClassLogs.length === other.contractClassLogs.length && this.contractClassLogs.every((h, i)=>h.equals(other.contractClassLogs[i]));
     }
-    /** Returns the size of this tx effect in bytes as serialized onto DA. */ getDASize() {
-        return this.toBlobFields().length * Fr.SIZE_IN_BYTES;
-    }
     /**
    * Deserializes the TxEffect object from a Buffer.
    * @param buffer - Buffer or BufferReader object to deserialize.
    * @returns An instance of TxEffect.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new TxEffect(RevertCode.fromBuffer(reader), TxHash.fromBuffer(reader), Fr.fromBuffer(reader), reader.readVectorUint8Prefix(Fr), reader.readVectorUint8Prefix(Fr), reader.readVectorUint8Prefix(Fr), reader.readVectorUint8Prefix(PublicDataWrite), reader.readVectorUint8Prefix(PrivateLog), reader.readVectorUint8Prefix(PublicLog), reader.readVectorUint8Prefix(ContractClassLog));
+        return new TxEffect(RevertCode.fromBuffer(reader), TxHash.fromBuffer(reader), Fr.fromBuffer(reader), reader.readVectorUint8Prefix(Fr), reader.readVectorUint8Prefix(Fr), reader.readVectorUint8Prefix(Fr), reader.readVectorUint8Prefix(PublicDataWrite), reader.readVectorUint8Prefix(PrivateLog), reader.readVector(PublicLog), reader.readVectorUint8Prefix(ContractClassLog));
     }
-    /**
-   * Computes txOutHash of this tx effect.
-   * @dev Follows new_sha in unbalanced_merkle_tree.nr
-   */ txOutHash() {
-        const { l2ToL1Msgs } = this;
-        if (l2ToL1Msgs.length == 0) {
-            return Buffer.alloc(32);
-        }
-        return computeUnbalancedMerkleTreeRoot(l2ToL1Msgs.map((msg)=>msg.toBuffer()));
-    }
-    static async random(numPublicCallsPerTx = 3, numPublicLogsPerCall = 1, maxEffects = undefined) {
-        return new TxEffect(RevertCode.random(), TxHash.random(), new Fr(Math.floor(Math.random() * 100_000)), makeTuple(maxEffects === undefined ? MAX_NOTE_HASHES_PER_TX : Math.min(maxEffects, MAX_NOTE_HASHES_PER_TX), Fr.random), makeTuple(maxEffects === undefined ? MAX_NULLIFIERS_PER_TX : Math.min(maxEffects, MAX_NULLIFIERS_PER_TX), Fr.random), makeTuple(maxEffects === undefined ? MAX_L2_TO_L1_MSGS_PER_TX : Math.min(maxEffects, MAX_L2_TO_L1_MSGS_PER_TX), Fr.random), makeTuple(maxEffects === undefined ? MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX : Math.min(maxEffects, MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX), PublicDataWrite.random), makeTuple(MAX_PRIVATE_LOGS_PER_TX, ()=>PrivateLog.random()), await makeTupleAsync(numPublicCallsPerTx * numPublicLogsPerCall, async ()=>await PublicLog.random()), await makeTupleAsync(MAX_CONTRACT_CLASS_LOGS_PER_TX, ContractClassLog.random));
+    static async random({ numNoteHashes, numNullifiers, numL2ToL1Msgs, numPublicDataWrites, numPrivateLogs, numPublicCallsPerTx = 3, numPublicLogsPerCall = 1, numContractClassLogs, maxEffects } = {}) {
+        const count = (max, num)=>num ?? Math.min(maxEffects ?? randomInt(max), max);
+        // Every tx effect must have at least 1 nullifier (the first nullifier is used for log indexing)
+        const countNullifiers = (max, num)=>Math.max(1, count(max, num));
+        return new TxEffect(RevertCode.random(), TxHash.random(), new Fr(Math.floor(Math.random() * 100_000)), makeTuple(count(MAX_NOTE_HASHES_PER_TX, numNoteHashes), Fr.random), makeTuple(countNullifiers(MAX_NULLIFIERS_PER_TX, numNullifiers), Fr.random), makeTuple(count(MAX_L2_TO_L1_MSGS_PER_TX, numL2ToL1Msgs), Fr.random), makeTuple(count(MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, numPublicDataWrites), PublicDataWrite.random), makeTuple(count(MAX_PRIVATE_LOGS_PER_TX, numPrivateLogs), ()=>PrivateLog.random()), await Promise.all(new Array(numPublicCallsPerTx * numPublicLogsPerCall).fill(null).map(()=>PublicLog.random())), await makeTupleAsync(count(MAX_CONTRACT_CLASS_LOGS_PER_TX, numContractClassLogs), ContractClassLog.random));
     }
     static empty() {
         return new TxEffect(RevertCode.OK, TxHash.zero(), Fr.ZERO, [], [], [], [], [], [], []);
     }
-    isEmpty() {
-        return this.nullifiers.length === 0;
-    }
     /** Returns a hex representation of the TxEffect object. */ toString() {
         return bufferToHex(this.toBuffer());
     }
-    /**
-   * Returns the prefix as used in a blob.
-   * Used to prefix a 'block' of tx effects with its type and length.
-   */ toPrefix(type, length) {
-        const buf = Buffer.alloc(4);
-        buf.writeUint8(type);
-        buf.writeUInt16BE(length, 2);
-        return new Fr(buf);
-    }
-    /**
-   * Decodes the prefix as used in a blob to tx effect type and length.
-   */ static fromPrefix(prefix) {
-        const buf = prefix.toBuffer().subarray(-4);
+    getNumBlobFields() {
+        return this.getTxStartMarker().numBlobFields;
+    }
+    toBlobFields() {
+        return encodeTxBlobData(this.toTxBlobData());
+    }
+    static fromBlobFields(fields) {
+        return TxEffect.fromTxBlobData(decodeTxBlobData(fields));
+    }
+    getTxStartMarker() {
+        const flatPublicLogs = FlatPublicLogs.fromLogs(this.publicLogs);
+        const partialTxStartMarker = {
+            revertCode: this.revertCode.getCode(),
+            numNoteHashes: this.noteHashes.length,
+            numNullifiers: this.nullifiers.length,
+            numL2ToL1Msgs: this.l2ToL1Msgs.length,
+            numPublicDataWrites: this.publicDataWrites.length,
+            numPrivateLogs: this.privateLogs.length,
+            privateLogsLength: this.privateLogs.reduce((acc, log)=>acc + log.emittedLength, 0),
+            publicLogsLength: flatPublicLogs.length,
+            contractClassLogLength: this.contractClassLogs[0]?.emittedLength ?? 0
+        };
+        const numBlobFields = getNumTxBlobFields(partialTxStartMarker);
         return {
-            type: buf[0],
-            length: new Fr(buf.subarray(-2)).toNumber()
+            ...partialTxStartMarker,
+            numBlobFields
         };
     }
-    /**
-   * Encodes the first field of a tx effect as used in a blob:
-   * TX_START_PREFIX | 0 | txlen[0] txlen[1] | 0 | REVERT_CODE_PREFIX | 0 | revert_code
-   */ encodeFirstField(length, revertCode) {
-        const lengthBuf = Buffer.alloc(2);
-        lengthBuf.writeUInt16BE(length, 0);
-        return new Fr(Buffer.concat([
-            toBufferBE(TX_START_PREFIX, TX_START_PREFIX_BYTES_LENGTH),
-            Buffer.alloc(1),
-            lengthBuf,
-            Buffer.alloc(1),
-            Buffer.from([
-                REVERT_CODE_PREFIX
-            ]),
-            Buffer.alloc(1),
-            revertCode.toBuffer()
-        ]));
-    }
-    /**
-   * Decodes the first field of a tx effect as used in a blob:
-   * TX_START_PREFIX | 0 | txlen[0] txlen[1] | 0 | REVERT_CODE_PREFIX | 0 | revert_code
-   * Assumes that isFirstField has been called already.
-   */ static decodeFirstField(field) {
-        const buf = field.toBuffer().subarray(-TX_EFFECT_PREFIX_BYTE_LENGTH);
+    toTxBlobData() {
         return {
-            length: new Fr(buf.subarray(TX_START_PREFIX_BYTES_LENGTH + 1, TX_START_PREFIX_BYTES_LENGTH + 3)).toNumber(),
-            revertCode: buf[buf.length - 1]
+            txStartMarker: this.getTxStartMarker(),
+            txHash: this.txHash.hash,
+            transactionFee: this.transactionFee,
+            noteHashes: this.noteHashes,
+            nullifiers: this.nullifiers,
+            l2ToL1Msgs: this.l2ToL1Msgs,
+            publicDataWrites: this.publicDataWrites.map((w)=>w.toBlobFields()),
+            privateLogs: this.privateLogs.map((l)=>l.toBlobFields()),
+            publicLogs: FlatPublicLogs.fromLogs(this.publicLogs).toBlobFields(),
+            contractClassLog: this.contractClassLogs.map((l)=>l.toBlobFields()).flat()
         };
     }
     /**
-   * Determines whether a field is the first field of a tx effect
-   */ static isFirstField(field) {
-        const buf = field.toBuffer();
-        if (!buf.subarray(0, field.size - TX_EFFECT_PREFIX_BYTE_LENGTH).equals(Buffer.alloc(field.size - TX_EFFECT_PREFIX_BYTE_LENGTH))) {
-            return false;
-        }
-        const sliced = buf.subarray(-TX_EFFECT_PREFIX_BYTE_LENGTH);
-        if (// Checking we start with the correct prefix...
-        !new Fr(sliced.subarray(0, TX_START_PREFIX_BYTES_LENGTH)).equals(new Fr(TX_START_PREFIX)) || // ...and include the revert code prefix..
-        sliced[sliced.length - 3] !== REVERT_CODE_PREFIX || // ...and the following revert code is valid.
-        sliced[sliced.length - 1] > 4) {
-            return false;
-        }
-        return true;
-    }
-    /**
-   * Returns a flat packed array of prefixed fields of all tx effects, used for blobs.
-   */ toBlobFields() {
-        if (this.isEmpty()) {
-            return [];
-        }
-        const flattened = [];
-        // We reassign the first field when we know the length of all effects - see below
-        flattened.push(Fr.ZERO);
-        flattened.push(this.txHash.hash);
-        // TODO: how long should tx fee be? For now, not using toPrefix()
-        flattened.push(new Fr(Buffer.concat([
-            Buffer.from([
-                TX_FEE_PREFIX
-            ]),
-            Buffer.alloc(1),
-            this.transactionFee.toBuffer().subarray(3)
-        ])));
-        if (this.noteHashes.length) {
-            flattened.push(this.toPrefix(NOTES_PREFIX, this.noteHashes.length));
-            flattened.push(...this.noteHashes);
-        }
-        if (this.nullifiers.length) {
-            flattened.push(this.toPrefix(NULLIFIERS_PREFIX, this.nullifiers.length));
-            flattened.push(...this.nullifiers);
-        }
-        if (this.l2ToL1Msgs.length) {
-            flattened.push(this.toPrefix(L2_L1_MSGS_PREFIX, this.l2ToL1Msgs.length));
-            flattened.push(...this.l2ToL1Msgs);
-        }
-        if (this.publicDataWrites.length) {
-            flattened.push(this.toPrefix(PUBLIC_DATA_UPDATE_REQUESTS_PREFIX, this.publicDataWrites.length));
-            flattened.push(...this.publicDataWrites.flatMap((w)=>w.toBlobFields()));
-        }
-        if (this.privateLogs.length) {
-            flattened.push(this.toPrefix(PRIVATE_LOGS_PREFIX, this.privateLogs.length));
-            flattened.push(...this.privateLogs.flatMap((l)=>l.toBlobFields()));
-        }
-        if (this.publicLogs.length) {
-            flattened.push(this.toPrefix(PUBLIC_LOGS_PREFIX, this.publicLogs.length));
-            flattened.push(...this.publicLogs.flatMap((l)=>l.toBlobFields()));
-        }
-        if (this.contractClassLogs.length) {
-            flattened.push(this.toPrefix(CONTRACT_CLASS_LOGS_PREFIX, this.contractClassLogs.length));
-            flattened.push(...this.contractClassLogs.flatMap((l)=>l.toBlobFields()));
-        }
-        // The first value appended to each list of fields representing a tx effect is:
-        // TX_START_PREFIX | 0 | txlen[0] txlen[1] | 0 | REVERT_CODE_PREFIX | 0 | revert_code
-        // Tx start and len are to aid decomposing/ identifying when we reach a new tx effect
-        // The remaining bytes are used for revert code, since that only requires 3 bytes
-        flattened[0] = this.encodeFirstField(flattened.length, this.revertCode);
-        return flattened;
-    }
-    /**
-   * Decodes a flat packed array of prefixed fields to TxEffect
-   */ static fromBlobFields(fields) {
-        const ensureEmpty = (arr)=>{
-            if (arr.length) {
-                throw new Error('Invalid fields given to TxEffect.fromBlobFields(): Attempted to assign property twice.');
-            }
-        };
-        const effect = this.empty();
-        const reader = FieldReader.asReader(fields);
-        const totalFields = reader.remainingFields();
-        if (!totalFields) {
-            return effect;
-        }
-        const firstField = reader.readField();
-        if (!this.isFirstField(firstField)) {
-            throw new Error('Invalid fields given to TxEffect.fromBlobFields(): First field invalid.');
-        }
-        const { length: fieldsToProcess, revertCode } = this.decodeFirstField(firstField);
-        effect.revertCode = RevertCode.fromField(new Fr(revertCode));
-        effect.txHash = new TxHash(reader.readField());
-        // TODO: how long should tx fee be? For now, not using fromPrefix()
-        const prefixedFee = reader.readField();
-        // NB: Fr.fromBuffer hangs here if you provide a buffer less than 32 in len
-        // todo: try new Fr(prefixedFee.toBuffer().subarray(3))
-        effect.transactionFee = Fr.fromBuffer(Buffer.concat([
-            Buffer.alloc(3),
-            prefixedFee.toBuffer().subarray(3)
-        ]));
-        let fieldsProcessed = totalFields - reader.remainingFields();
-        while(fieldsProcessed < fieldsToProcess){
-            const { type, length } = this.fromPrefix(reader.readField());
-            switch(type){
-                case NOTES_PREFIX:
-                    ensureEmpty(effect.noteHashes);
-                    effect.noteHashes = reader.readFieldArray(length);
-                    break;
-                case NULLIFIERS_PREFIX:
-                    ensureEmpty(effect.nullifiers);
-                    effect.nullifiers = reader.readFieldArray(length);
-                    break;
-                case L2_L1_MSGS_PREFIX:
-                    ensureEmpty(effect.l2ToL1Msgs);
-                    effect.l2ToL1Msgs = reader.readFieldArray(length);
-                    break;
-                case PUBLIC_DATA_UPDATE_REQUESTS_PREFIX:
-                    {
-                        ensureEmpty(effect.publicDataWrites);
-                        effect.publicDataWrites = Array.from({
-                            length
-                        }, ()=>PublicDataWrite.fromBlobFields(reader));
-                        break;
-                    }
-                case PRIVATE_LOGS_PREFIX:
-                    {
-                        ensureEmpty(effect.privateLogs);
-                        effect.privateLogs = Array.from({
-                            length
-                        }, ()=>PrivateLog.fromBlobFields(reader));
-                        break;
-                    }
-                case PUBLIC_LOGS_PREFIX:
-                    {
-                        ensureEmpty(effect.publicLogs);
-                        effect.publicLogs = Array.from({
-                            length
-                        }, ()=>PublicLog.fromBlobFields(reader));
-                        break;
-                    }
-                case CONTRACT_CLASS_LOGS_PREFIX:
-                    {
-                        ensureEmpty(effect.contractClassLogs);
-                        effect.contractClassLogs = Array.from({
-                            length
-                        }, ()=>ContractClassLog.fromBlobFields(reader));
-                        break;
-                    }
-                case REVERT_CODE_PREFIX:
-                default:
-                    throw new Error(`Too many fields to decode given to TxEffect.fromBlobFields()`);
-            }
-            fieldsProcessed = totalFields - reader.remainingFields();
-        }
-        return effect;
+   * Decodes a flat packed array of fields to TxEffect.
+   */ static fromTxBlobData(txBlobData) {
+        const txStartMarker = txBlobData.txStartMarker;
+        const revertCode = RevertCode.fromNumber(txStartMarker.revertCode);
+        const txHash = new TxHash(txBlobData.txHash);
+        const transactionFee = txBlobData.transactionFee;
+        const noteHashes = txBlobData.noteHashes;
+        const nullifiers = txBlobData.nullifiers;
+        const l2ToL1Msgs = txBlobData.l2ToL1Msgs;
+        const publicDataWrites = txBlobData.publicDataWrites.map((w)=>PublicDataWrite.fromBlobFields(w));
+        const privateLogs = txBlobData.privateLogs.map((l)=>PrivateLog.fromBlobFields(l.length, l));
+        const publicLogs = FlatPublicLogs.fromBlobFields(txStartMarker.publicLogsLength, txBlobData.publicLogs).toLogs();
+        const contractClassLogs = txStartMarker.contractClassLogLength > 0 ? [
+            ContractClassLog.fromBlobFields(txStartMarker.contractClassLogLength, txBlobData.contractClassLog)
+        ] : [];
+        return TxEffect.from({
+            revertCode,
+            txHash,
+            transactionFee,
+            noteHashes,
+            nullifiers,
+            l2ToL1Msgs,
+            publicDataWrites,
+            privateLogs,
+            publicLogs,
+            contractClassLogs
+        });
     }
     static from(fields) {
         return new TxEffect(fields.revertCode, fields.txHash, fields.transactionFee, fields.noteHashes, fields.nullifiers, fields.l2ToL1Msgs, fields.publicDataWrites, fields.privateLogs, fields.publicLogs, fields.contractClassLogs);
@@ -374,7 +227,7 @@ export class TxEffect {
             contractClassLogs: z.array(ContractClassLog.schema)
         }).transform(TxEffect.from);
     }
-    [inspect.custom]() {
+    [_computedKey]() {
         return `TxEffect {
       revertCode: ${this.revertCode.getCode()},
       txHash: ${this.txHash},
@@ -384,7 +237,7 @@ export class TxEffect {
       l2ToL1Msgs: [${this.l2ToL1Msgs.map((h)=>h.toString()).join(', ')}],
       publicDataWrites: [${this.publicDataWrites.map((h)=>h.toString()).join(', ')}],
       privateLogs: [${this.privateLogs.map((l)=>l.fields.map((f)=>f.toString()).join(',')).join(', ')}],
-      publicLogs: [${this.publicLogs.map((l)=>l.fields.map((f)=>f.toString()).join(',')).join(', ')}],
+      publicLogs: ${inspect(this.publicLogs)},
       contractClassLogs: [${this.contractClassLogs.map((l)=>l.toFields().map((f)=>f.toString()).join(',')).join(', ')}],
      }`;
     }

package/dest/tx/tx_execution_request.d.ts

@@ -1,4 +1,4 @@
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader } from '@aztec/foundation/serialize';
 import type { FieldsOf } from '@aztec/foundation/types';
 import { inspect } from 'util';
@@ -118,4 +118,4 @@ export declare class TxExecutionRequest {
     static random(): Promise<TxExecutionRequest>;
     [inspect.custom](): string;
 }
-//# sourceMappingURL=tx_execution_request.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfZXhlY3V0aW9uX3JlcXVlc3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90eC90eF9leGVjdXRpb25fcmVxdWVzdC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUU5RSxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBRy9CLE9BQU8sRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQy9ELE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUM5RCxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDekQsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFXLE1BQU0scUJBQXFCLENBQUM7QUFFM0QsT0FBTyxFQUFFLE9BQU8sRUFBRSxNQUFNLGNBQWMsQ0FBQztBQUV2QyxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDbEQsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQzVDLE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUU1Qzs7R0FFRztBQUVILHFCQUFhLGtCQUFrQjtJQUUzQjs7T0FFRztJQUNJLE1BQU0sRUFBRSxZQUFZO0lBQzNCOztPQUVHO0lBQ0ksZ0JBQWdCLEVBQUUsZ0JBQWdCO0lBQ3pDOzs7T0FHRztJQUNJLGlCQUFpQixFQUFFLEVBQUU7SUFDNUI7O09BRUc7SUFDSSxTQUFTLEVBQUUsU0FBUztJQUMzQjs7OztPQUlHO0lBQ0ksV0FBVyxFQUFFLFlBQVksRUFBRTtJQUNsQzs7O09BR0c7SUFDSSxhQUFhLEVBQUUsV0FBVyxFQUFFO0lBQ25DOztPQUVHO0lBQ0ksUUFBUSxFQUFFLE9BQU8sRUFBRTtJQUMxQjs7O09BR0c7SUFDSSxJQUFJO0lBckNiO0lBQ0U7O09BRUc7SUFDSSxNQUFNLEVBQUUsWUFBWTtJQUMzQjs7T0FFRztJQUNJLGdCQUFnQixFQUFFLGdCQUFnQjtJQUN6Qzs7O09BR0c7SUFDSSxpQkFBaUIsRUFBRSxFQUFFO0lBQzVCOztPQUVHO0lBQ0ksU0FBUyxFQUFFLFNBQVM7SUFDM0I7Ozs7T0FJRztJQUNJLFdBQVcsRUFBRSxZQUFZLEVBQUU7SUFDbEM7OztPQUdHO0lBQ0ksYUFBYSxFQUFFLFdBQVcsRUFBRTtJQUNuQzs7T0FFRztJQUNJLFFBQVEsRUFBRSxPQUFPLEVBQUU7SUFDMUI7OztPQUdHO0lBQ0ksSUFBSSxLQUFjLEVBQ3ZCO0lBR0osTUFBTSxLQUFLLE1BQU0sSUFBSSxNQUFNLENBQUMsa0JBQWtCLENBQUMsQ0FhOUM7SUFFRCxXQUFXLElBQUksU0FBUyxDQVN2QjtJQUVELE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxrQkFBa0IsQ0FBQywwR0FXcEQ7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsa0JBQWtCLENBQUMsR0FBRyxrQkFBa0IsQ0FFcEU7SUFFRDs7O09BR0c7SUFDSCxRQUFRLDRCQVdQO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSxrQkFFUDtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLGtCQUFrQixDQVluRTtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsa0JBQWtCLENBRWpEO0lBRUQsT0FBYSxNQUFNLGdDQWNsQjtJQUVELENBQUMsT0FBTyxDQUFDLE1BQU0sQ0FBQyxXQUVmO0NBQ0YifQ==

package/dest/tx/tx_execution_request.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tx_execution_request.d.ts","sourceRoot":"","sources":["../../src/tx/tx_execution_request.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,qBAAqB,CAAC;AAE3D,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C;;GAEG;AACH,qBAAa,kBAAkB;IAE3B;;OAEG;IACI,MAAM,EAAE,YAAY;IAC3B;;OAEG;IACI,gBAAgB,EAAE,gBAAgB;IACzC;;;OAGG;IACI,iBAAiB,EAAE,EAAE;IAC5B;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;;;OAIG;IACI,WAAW,EAAE,YAAY,EAAE;IAClC;;;OAGG;IACI,aAAa,EAAE,WAAW,EAAE;IACnC;;OAEG;IACI,QAAQ,EAAE,OAAO,EAAE;IAC1B;;;OAGG;IACI,IAAI;;IApCX;;OAEG;IACI,MAAM,EAAE,YAAY;IAC3B;;OAEG;IACI,gBAAgB,EAAE,gBAAgB;IACzC;;;OAGG;IACI,iBAAiB,EAAE,EAAE;IAC5B;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;;;OAIG;IACI,WAAW,EAAE,YAAY,EAAE;IAClC;;;OAGG;IACI,aAAa,EAAE,WAAW,EAAE;IACnC;;OAEG;IACI,QAAQ,EAAE,OAAO,EAAE;IAC1B;;;OAGG;IACI,IAAI,KAAc;IAG3B,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,kBAAkB,CAAC,CAa9C;IAED,WAAW,IAAI,SAAS;IAWxB,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,kBAAkB,CAAC;IAarD,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,kBAAkB,CAAC,GAAG,kBAAkB;IAIrE;;;OAGG;IACH,QAAQ;IAaR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,kBAAkB;IAcpE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB;WAIrC,MAAM;IAgBnB,CAAC,OAAO,CAAC,MAAM,CAAC;CAGjB"}
+{"version":3,"file":"tx_execution_request.d.ts","sourceRoot":"","sources":["../../src/tx/tx_execution_request.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAG/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,qBAAqB,CAAC;AAE3D,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C;;GAEG;AAEH,qBAAa,kBAAkB;IAE3B;;OAEG;IACI,MAAM,EAAE,YAAY;IAC3B;;OAEG;IACI,gBAAgB,EAAE,gBAAgB;IACzC;;;OAGG;IACI,iBAAiB,EAAE,EAAE;IAC5B;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;;;OAIG;IACI,WAAW,EAAE,YAAY,EAAE;IAClC;;;OAGG;IACI,aAAa,EAAE,WAAW,EAAE;IACnC;;OAEG;IACI,QAAQ,EAAE,OAAO,EAAE;IAC1B;;;OAGG;IACI,IAAI;IArCb;IACE;;OAEG;IACI,MAAM,EAAE,YAAY;IAC3B;;OAEG;IACI,gBAAgB,EAAE,gBAAgB;IACzC;;;OAGG;IACI,iBAAiB,EAAE,EAAE;IAC5B;;OAEG;IACI,SAAS,EAAE,SAAS;IAC3B;;;;OAIG;IACI,WAAW,EAAE,YAAY,EAAE;IAClC;;;OAGG;IACI,aAAa,EAAE,WAAW,EAAE;IACnC;;OAEG;IACI,QAAQ,EAAE,OAAO,EAAE;IAC1B;;;OAGG;IACI,IAAI,KAAc,EACvB;IAGJ,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,kBAAkB,CAAC,CAa9C;IAED,WAAW,IAAI,SAAS,CASvB;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,kBAAkB,CAAC,0GAWpD;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,kBAAkB,CAAC,GAAG,kBAAkB,CAEpE;IAED;;;OAGG;IACH,QAAQ,4BAWP;IAED;;;OAGG;IACH,QAAQ,kBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,kBAAkB,CAYnE;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB,CAEjD;IAED,OAAa,MAAM,gCAclB;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAEf;CACF"}

package/dest/tx/tx_execution_request.js

@@ -1,4 +1,5 @@
-import { Fr } from '@aztec/foundation/fields';
+var _computedKey;
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
 import { inspect } from 'util';
@@ -13,9 +14,11 @@ import { FunctionData } from './function_data.js';
 import { HashedValues } from './hashed_values.js';
 import { TxContext } from './tx_context.js';
 import { TxRequest } from './tx_request.js';
+_computedKey = inspect.custom;
 /**
  * Request to execute a transaction. Similar to TxRequest, but has the full args.
- */ export class TxExecutionRequest {
+ */ // docs:start:tx_execution_request_class
+export class TxExecutionRequest {
     origin;
     functionSelector;
     firstCallArgsHash;
@@ -55,6 +58,7 @@ import { TxRequest } from './tx_request.js';
         this.capsules = capsules;
         this.salt = salt;
     }
+    // docs:end:tx_execution_request_class
     static get schema() {
         return z.object({
             origin: schemas.AztecAddress,
@@ -128,7 +132,7 @@ import { TxRequest } from './tx_request.js';
             ])
         ], Fr.random());
     }
-    [inspect.custom]() {
+    [_computedKey]() {
         return `TxExecutionRequest(${this.origin} called ${this.functionSelector})`;
     }
 }

package/dest/tx/tx_hash.d.ts

@@ -1,4 +1,4 @@
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader } from '@aztec/foundation/serialize';
 /**
  * A class representing hash of Aztec transaction.
@@ -31,4 +31,4 @@ export declare class TxHashArray extends Array<TxHash> {
     static fromBuffer(buffer: Buffer | BufferReader): TxHashArray;
     toBuffer(): Buffer;
 }
-//# sourceMappingURL=tx_hash.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfaGFzaC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3R4L3R4X2hhc2gudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxZQUFZLEVBQXNDLE1BQU0sNkJBQTZCLENBQUM7QUFJL0Y7OztHQUdHO0FBQ0gscUJBQWEsTUFBTTtJQUVmLG1HQUFtRzthQUNuRixJQUFJLEVBQUUsRUFBRTtJQUYxQjtJQUNFLG1HQUFtRztJQUNuRixJQUFJLEVBQUUsRUFBRSxFQUN0QjtJQUVKLE1BQU0sQ0FBQyxNQUFNLFdBRVo7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxVQUFVLEdBQUcsWUFBWSxVQUdsRDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sVUFFNUI7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEtBQUssRUFBRSxNQUFNLFVBRTlCO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxLQUFLLEVBQUUsRUFBRSxVQUV6QjtJQUVNLFFBQVEsNEJBRWQ7SUFFTSxRQUFRLGtCQUVkO0lBRU0sUUFBUSxXQUVkO0lBRUQsTUFBTSxrQkFFTDtJQUVNLE1BQU0sQ0FBQyxLQUFLLEVBQUUsTUFBTSxXQUUxQjtJQUVELE1BQU0sS0FBSyxNQUFNLGlOQUVoQjtJQUVELE1BQU0sQ0FBQyxJQUFJLFdBRVY7SUFFRCxNQUFNLEtBQUssSUFBSSxXQUVkO0NBQ0Y7QUFFRDs7SUFFSTtBQUNKLHFCQUFhLFdBQVksU0FBUSxLQUFLLENBQUMsTUFBTSxDQUFDO0lBQzVDLE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLGVBUzlDO0lBRU0sUUFBUSxJQUFJLE1BQU0sQ0FFeEI7Q0FDRiJ9

package/dest/tx/tx_hash.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tx_hash.d.ts","sourceRoot":"","sources":["../../src/tx/tx_hash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAsC,MAAM,6BAA6B,CAAC;AAI/F;;;GAGG;AACH,qBAAa,MAAM;IAEf,mGAAmG;aACnF,IAAI,EAAE,EAAE;;IADxB,mGAAmG;IACnF,IAAI,EAAE,EAAE;IAG1B,MAAM,CAAC,MAAM;IAIb,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,YAAY;IAKnD,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM;IAI/B,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE;IAInB,QAAQ;IAIR,QAAQ;IAIR,QAAQ;IAIf,MAAM;IAIC,MAAM,CAAC,KAAK,EAAE,MAAM;IAI3B,MAAM,KAAK,MAAM,iNAEhB;IAED,MAAM,CAAC,IAAI;IAIX,MAAM,KAAK,IAAI,WAEd;CACF;AAED;;IAEI;AACJ,qBAAa,WAAY,SAAQ,KAAK,CAAC,MAAM,CAAC;IAC5C,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAWxC,QAAQ,IAAI,MAAM;CAG1B"}
+{"version":3,"file":"tx_hash.d.ts","sourceRoot":"","sources":["../../src/tx/tx_hash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAsC,MAAM,6BAA6B,CAAC;AAI/F;;;GAGG;AACH,qBAAa,MAAM;IAEf,mGAAmG;aACnF,IAAI,EAAE,EAAE;IAF1B;IACE,mGAAmG;IACnF,IAAI,EAAE,EAAE,EACtB;IAEJ,MAAM,CAAC,MAAM,WAEZ;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,YAAY,UAGlD;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,UAE5B;IAED,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,UAE9B;IAED,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,UAEzB;IAEM,QAAQ,4BAEd;IAEM,QAAQ,kBAEd;IAEM,QAAQ,WAEd;IAED,MAAM,kBAEL;IAEM,MAAM,CAAC,KAAK,EAAE,MAAM,WAE1B;IAED,MAAM,KAAK,MAAM,iNAEhB;IAED,MAAM,CAAC,IAAI,WAEV;IAED,MAAM,KAAK,IAAI,WAEd;CACF;AAED;;IAEI;AACJ,qBAAa,WAAY,SAAQ,KAAK,CAAC,MAAM,CAAC;IAC5C,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,eAS9C;IAEM,QAAQ,IAAI,MAAM,CAExB;CACF"}

package/dest/tx/tx_hash.js

@@ -1,4 +1,4 @@
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader, serializeArrayOfBufferableToVector } from '@aztec/foundation/serialize';
 import { schemas } from '../schemas/index.js';
 /**

package/dest/tx/tx_receipt.d.ts

@@ -1,14 +1,21 @@
-import type { FieldsOf } from '@aztec/foundation/types';
+import { BlockNumber } from '@aztec/foundation/branded-types';
 import { RevertCode } from '../avm/revert_code.js';
-import { L2BlockHash } from '../block/block_hash.js';
+import { BlockHash } from '../block/block_hash.js';
 import { type ZodFor } from '../schemas/schemas.js';
 import { TxHash } from './tx_hash.js';
-/**
- * Possible status of a transaction.
- */
+/** Block inclusion/finalization status. */
 export declare enum TxStatus {
     DROPPED = "dropped",
     PENDING = "pending",
+    PROPOSED = "proposed",
+    CHECKPOINTED = "checkpointed",
+    PROVEN = "proven",
+    FINALIZED = "finalized"
+}
+/** Tx status sorted by finalization progress. */
+export declare const SortedTxStatuses: TxStatus[];
+/** Execution result - only set when tx is in a block. */
+export declare enum TxExecutionResult {
     SUCCESS = "success",
     APP_LOGIC_REVERTED = "app_logic_reverted",
     TEARDOWN_REVERTED = "teardown_reverted",
@@ -23,32 +30,54 @@ export declare enum TxStatus {
 export declare class TxReceipt {
     /** A unique identifier for a transaction. */
     txHash: TxHash;
-    /** The transaction's status. */
+    /** The transaction's block finalization status. */
     status: TxStatus;
+    /** The execution result of the transaction, only set when tx is in a block. */
+    executionResult: TxExecutionResult | undefined;
     /** Description of transaction error, if any. */
-    error: string;
+    error: string | undefined;
     /** The transaction fee paid for the transaction. */
     transactionFee?: bigint | undefined;
     /** The hash of the block containing the transaction. */
-    blockHash?: L2BlockHash | undefined;
+    blockHash?: BlockHash | undefined;
     /** The block number in which the transaction was included. */
-    blockNumber?: number | undefined;
+    blockNumber?: BlockNumber | undefined;
     constructor(
     /** A unique identifier for a transaction. */
     txHash: TxHash, 
-    /** The transaction's status. */
+    /** The transaction's block finalization status. */
     status: TxStatus, 
+    /** The execution result of the transaction, only set when tx is in a block. */
+    executionResult: TxExecutionResult | undefined, 
     /** Description of transaction error, if any. */
-    error: string, 
+    error: string | undefined, 
     /** The transaction fee paid for the transaction. */
     transactionFee?: bigint | undefined, 
     /** The hash of the block containing the transaction. */
-    blockHash?: L2BlockHash | undefined, 
+    blockHash?: BlockHash | undefined, 
     /** The block number in which the transaction was included. */
-    blockNumber?: number | undefined);
+    blockNumber?: BlockNumber | undefined);
+    /** Returns true if the transaction was executed successfully. */
+    hasExecutionSucceeded(): boolean;
+    /** Returns true if the transaction execution reverted. */
+    hasExecutionReverted(): boolean;
+    /** Returns true if the transaction has been included in a block (proposed, checkpointed, proven, or finalized). */
+    isMined(): boolean;
+    /** Returns true if the transaction is pending. */
+    isPending(): boolean;
+    /** Returns true if the transaction was dropped. */
+    isDropped(): boolean;
     static empty(): TxReceipt;
     static get schema(): ZodFor<TxReceipt>;
-    static from(fields: FieldsOf<TxReceipt>): TxReceipt;
-    static statusFromRevertCode(revertCode: RevertCode): TxStatus.SUCCESS | TxStatus.APP_LOGIC_REVERTED | TxStatus.TEARDOWN_REVERTED | TxStatus.BOTH_REVERTED;
+    static from(fields: {
+        txHash: TxHash;
+        status: TxStatus;
+        executionResult?: TxExecutionResult;
+        error?: string;
+        transactionFee?: bigint;
+        blockHash?: BlockHash;
+        blockNumber?: BlockNumber;
+    }): TxReceipt;
+    static executionResultFromRevertCode(revertCode: RevertCode): TxExecutionResult;
 }
-//# sourceMappingURL=tx_receipt.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfcmVjZWlwdC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3R4L3R4X3JlY2VpcHQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFdBQVcsRUFBcUIsTUFBTSxpQ0FBaUMsQ0FBQztBQUlqRixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDbkQsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQ25ELE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBVyxNQUFNLHVCQUF1QixDQUFDO0FBQzdELE9BQU8sRUFBRSxNQUFNLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFFdEMsMkNBQTJDO0FBQzNDLG9CQUFZLFFBQVE7SUFDbEIsT0FBTyxZQUFZO0lBQ25CLE9BQU8sWUFBWTtJQUNuQixRQUFRLGFBQWE7SUFDckIsWUFBWSxpQkFBaUI7SUFDN0IsTUFBTSxXQUFXO0lBQ2pCLFNBQVMsY0FBYztDQUN4QjtBQUVELGlEQUFpRDtBQUNqRCxlQUFPLE1BQU0sZ0JBQWdCLEVBQUUsUUFBUSxFQU90QyxDQUFDO0FBRUYseURBQXlEO0FBQ3pELG9CQUFZLGlCQUFpQjtJQUMzQixPQUFPLFlBQVk7SUFDbkIsa0JBQWtCLHVCQUF1QjtJQUN6QyxpQkFBaUIsc0JBQXNCO0lBQ3ZDLGFBQWEsa0JBQWtCO0NBQ2hDO0FBRUQ7Ozs7O0dBS0c7QUFDSCxxQkFBYSxTQUFTO0lBRWxCLDZDQUE2QztJQUN0QyxNQUFNLEVBQUUsTUFBTTtJQUNyQixtREFBbUQ7SUFDNUMsTUFBTSxFQUFFLFFBQVE7SUFDdkIsK0VBQStFO0lBQ3hFLGVBQWUsRUFBRSxpQkFBaUIsR0FBRyxTQUFTO0lBQ3JELGdEQUFnRDtJQUN6QyxLQUFLLEVBQUUsTUFBTSxHQUFHLFNBQVM7SUFDaEMsb0RBQW9EO0lBQzdDLGNBQWMsQ0FBQztJQUN0Qix3REFBd0Q7SUFDakQsU0FBUyxDQUFDO0lBQ2pCLDhEQUE4RDtJQUN2RCxXQUFXLENBQUM7SUFkckI7SUFDRSw2Q0FBNkM7SUFDdEMsTUFBTSxFQUFFLE1BQU07SUFDckIsbURBQW1EO0lBQzVDLE1BQU0sRUFBRSxRQUFRO0lBQ3ZCLCtFQUErRTtJQUN4RSxlQUFlLEVBQUUsaUJBQWlCLEdBQUcsU0FBUztJQUNyRCxnREFBZ0Q7SUFDekMsS0FBSyxFQUFFLE1BQU0sR0FBRyxTQUFTO0lBQ2hDLG9EQUFvRDtJQUM3QyxjQUFjLENBQUMsb0JBQVE7SUFDOUIsd0RBQXdEO0lBQ2pELFNBQVMsQ0FBQyx1QkFBVztJQUM1Qiw4REFBOEQ7SUFDdkQsV0FBVyxDQUFDLHlCQUFhLEVBQzlCO0lBRUosaUVBQWlFO0lBQ2pFLHFCQUFxQixJQUFJLE9BQU8sQ0FFL0I7SUFFRCwwREFBMEQ7SUFDMUQsb0JBQW9CLElBQUksT0FBTyxDQUU5QjtJQUVELG1IQUFtSDtJQUNuSCxPQUFPLElBQUksT0FBTyxDQU9qQjtJQUVELGtEQUFrRDtJQUNsRCxTQUFTLElBQUksT0FBTyxDQUVuQjtJQUVELG1EQUFtRDtJQUNuRCxTQUFTLElBQUksT0FBTyxDQUVuQjtJQUVELE1BQU0sQ0FBQyxLQUFLLGNBRVg7SUFFRCxNQUFNLEtBQUssTUFBTSxJQUFJLE1BQU0sQ0FBQyxTQUFTLENBQUMsQ0FZckM7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRTtRQUNsQixNQUFNLEVBQUUsTUFBTSxDQUFDO1FBQ2YsTUFBTSxFQUFFLFFBQVEsQ0FBQztRQUNqQixlQUFlLENBQUMsRUFBRSxpQkFBaUIsQ0FBQztRQUNwQyxLQUFLLENBQUMsRUFBRSxNQUFNLENBQUM7UUFDZixjQUFjLENBQUMsRUFBRSxNQUFNLENBQUM7UUFDeEIsU0FBUyxDQUFDLEVBQUUsU0FBUyxDQUFDO1FBQ3RCLFdBQVcsQ0FBQyxFQUFFLFdBQVcsQ0FBQztLQUMzQixhQVVBO0lBRUQsT0FBYyw2QkFBNkIsQ0FBQyxVQUFVLEVBQUUsVUFBVSxHQUFHLGlCQUFpQixDQVlyRjtDQUNGIn0=

package/dest/tx/tx_receipt.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tx_receipt.d.ts","sourceRoot":"","sources":["../../src/tx/tx_receipt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAIxD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC;;GAEG;AACH,oBAAY,QAAQ;IAClB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,kBAAkB,uBAAuB;IACzC,iBAAiB,sBAAsB;IACvC,aAAa,kBAAkB;CAChC;AAED;;;;;GAKG;AACH,qBAAa,SAAS;IAElB,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,gCAAgC;IACzB,MAAM,EAAE,QAAQ;IACvB,gDAAgD;IACzC,KAAK,EAAE,MAAM;IACpB,oDAAoD;IAC7C,cAAc,CAAC,EAAE,MAAM;IAC9B,wDAAwD;IACjD,SAAS,CAAC,EAAE,WAAW;IAC9B,8DAA8D;IACvD,WAAW,CAAC,EAAE,MAAM;;IAX3B,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,gCAAgC;IACzB,MAAM,EAAE,QAAQ;IACvB,gDAAgD;IACzC,KAAK,EAAE,MAAM;IACpB,oDAAoD;IAC7C,cAAc,CAAC,EAAE,MAAM,YAAA;IAC9B,wDAAwD;IACjD,SAAS,CAAC,EAAE,WAAW,YAAA;IAC9B,8DAA8D;IACvD,WAAW,CAAC,EAAE,MAAM,YAAA;IAG7B,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAWrC;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC;WAWzB,oBAAoB,CAAC,UAAU,EAAE,UAAU;CAa1D"}
+{"version":3,"file":"tx_receipt.d.ts","sourceRoot":"","sources":["../../src/tx/tx_receipt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAqB,MAAM,iCAAiC,CAAC;AAIjF,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,2CAA2C;AAC3C,oBAAY,QAAQ;IAClB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,YAAY,iBAAiB;IAC7B,MAAM,WAAW;IACjB,SAAS,cAAc;CACxB;AAED,iDAAiD;AACjD,eAAO,MAAM,gBAAgB,EAAE,QAAQ,EAOtC,CAAC;AAEF,yDAAyD;AACzD,oBAAY,iBAAiB;IAC3B,OAAO,YAAY;IACnB,kBAAkB,uBAAuB;IACzC,iBAAiB,sBAAsB;IACvC,aAAa,kBAAkB;CAChC;AAED;;;;;GAKG;AACH,qBAAa,SAAS;IAElB,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,mDAAmD;IAC5C,MAAM,EAAE,QAAQ;IACvB,+EAA+E;IACxE,eAAe,EAAE,iBAAiB,GAAG,SAAS;IACrD,gDAAgD;IACzC,KAAK,EAAE,MAAM,GAAG,SAAS;IAChC,oDAAoD;IAC7C,cAAc,CAAC;IACtB,wDAAwD;IACjD,SAAS,CAAC;IACjB,8DAA8D;IACvD,WAAW,CAAC;IAdrB;IACE,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,mDAAmD;IAC5C,MAAM,EAAE,QAAQ;IACvB,+EAA+E;IACxE,eAAe,EAAE,iBAAiB,GAAG,SAAS;IACrD,gDAAgD;IACzC,KAAK,EAAE,MAAM,GAAG,SAAS;IAChC,oDAAoD;IAC7C,cAAc,CAAC,oBAAQ;IAC9B,wDAAwD;IACjD,SAAS,CAAC,uBAAW;IAC5B,8DAA8D;IACvD,WAAW,CAAC,yBAAa,EAC9B;IAEJ,iEAAiE;IACjE,qBAAqB,IAAI,OAAO,CAE/B;IAED,0DAA0D;IAC1D,oBAAoB,IAAI,OAAO,CAE9B;IAED,mHAAmH;IACnH,OAAO,IAAI,OAAO,CAOjB;IAED,kDAAkD;IAClD,SAAS,IAAI,OAAO,CAEnB;IAED,mDAAmD;IACnD,SAAS,IAAI,OAAO,CAEnB;IAED,MAAM,CAAC,KAAK,cAEX;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAYrC;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE;QAClB,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,QAAQ,CAAC;QACjB,eAAe,CAAC,EAAE,iBAAiB,CAAC;QACpC,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,SAAS,CAAC,EAAE,SAAS,CAAC;QACtB,WAAW,CAAC,EAAE,WAAW,CAAC;KAC3B,aAUA;IAED,OAAc,6BAA6B,CAAC,UAAU,EAAE,UAAU,GAAG,iBAAiB,CAYrF;CACF"}