@aztec-labs/pxe 6.0.0-rc.1 → 6.0.0-rc.2

package/dest/storage/fact_store/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/storage/fact_store/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,KAAK,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,KAAK,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAClG,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EACL,gBAAgB,EAChB,wBAAwB,EACxB,0BAA0B,EAC1B,uBAAuB,EACvB,qBAAqB,EACrB,KAAK,eAAe,EACpB,KAAK,qBAAqB,EAC1B,KAAK,mBAAmB,EACxB,KAAK,6BAA6B,GACnC,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/storage/fact_store/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,KAAK,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACrG,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EACL,gBAAgB,EAChB,wBAAwB,EACxB,0BAA0B,EAC1B,uBAAuB,EACvB,qBAAqB,EACrB,KAAK,eAAe,EACpB,KAAK,qBAAqB,EAC1B,KAAK,mBAAmB,EACxB,KAAK,6BAA6B,GACnC,MAAM,mBAAmB,CAAC"}

package/dest/storage/fact_store/origin_state.d.ts

@@ -1,6 +1,6 @@
 import type { Fr } from '@aztec-labs/foundation/curves/bn254';
 import type { L2Tips } from '@aztec-labs/stdlib/block';
-import type { FactCollectionKey, OriginBlock } from './fact_store_keys.js';
+import type { BlockReference, FactCollectionKey } from './fact_store_keys.js';
 import type { Fact } from './stored_fact.js';
 /**
  * Chain state of a retractable fact's origin block, mirroring the L2 chain tips.
@@ -35,7 +35,7 @@ export type TipBlockNumbers = {
  */
 export declare function anchoredTipBlockNumbers(tips: L2Tips, anchorBlockNumber: number): TipBlockNumbers;
 /** A retractable fact's origin block annotated with that block's current chain state. */
-export type RetractableFactOrigin = OriginBlock & {
+export type RetractableFactOrigin = BlockReference & {
     blockState: OriginBlockState;
 };
 /** A fact enriched with origin-block state. `originBlock` is undefined for a non-retractable fact. */
@@ -56,4 +56,4 @@ export type FactCollectionWithOriginState = {
 export declare function classifyOriginBlockState(blockNumber: number, tips: TipBlockNumbers): OriginBlockState;
 /** Enriches a stored fact with the chain state of its origin block (when retractable). */
 export declare function toFactWithOriginState(fact: Fact, tips: TipBlockNumbers): FactWithOriginState;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoib3JpZ2luX3N0YXRlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvc3RvcmFnZS9mYWN0X3N0b3JlL29yaWdpbl9zdGF0ZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUM5RCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUV2RCxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxXQUFXLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUMzRSxPQUFPLEtBQUssRUFBRSxJQUFJLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUU3Qzs7Ozs7Ozs7OztHQVVHO0FBQ0gsb0JBQVksZ0JBQWdCO0lBQzFCLE9BQU8sSUFBSTtJQUNYLE1BQU0sSUFBSTtJQUNWLFNBQVMsSUFBSTtDQUNkO0FBRUQsa0ZBQWtGO0FBQ2xGLHdCQUFnQiwwQkFBMEIsQ0FBQyxLQUFLLEVBQUUsTUFBTSxHQUFHLGdCQUFnQixDQU0xRTtBQUVELCtHQUErRztBQUMvRyxNQUFNLE1BQU0sZUFBZSxHQUFHO0lBQUUsaUJBQWlCLEVBQUUsTUFBTSxDQUFDO0lBQUMsb0JBQW9CLEVBQUUsTUFBTSxDQUFBO0NBQUUsQ0FBQztBQUUxRjs7Ozs7OztHQU9HO0FBQ0gsd0JBQWdCLHVCQUF1QixDQUFDLElBQUksRUFBRSxNQUFNLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSxHQUFHLGVBQWUsQ0FLaEc7QUFFRCx5RkFBeUY7QUFDekYsTUFBTSxNQUFNLHFCQUFxQixHQUFHLFdBQVcsR0FBRztJQUFFLFVBQVUsRUFBRSxnQkFBZ0IsQ0FBQTtDQUFFLENBQUM7QUFFbkYsc0dBQXNHO0FBQ3RHLE1BQU0sTUFBTSxtQkFBbUIsR0FBRztJQUFFLFVBQVUsRUFBRSxFQUFFLENBQUM7SUFBQyxPQUFPLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFBQyxXQUFXLEVBQUUscUJBQXFCLEdBQUcsU0FBUyxDQUFBO0NBQUUsQ0FBQztBQUVwSCw4REFBOEQ7QUFDOUQsTUFBTSxNQUFNLDZCQUE2QixHQUFHO0lBQUUsR0FBRyxFQUFFLGlCQUFpQixDQUFDO0lBQUMsS0FBSyxFQUFFLG1CQUFtQixFQUFFLENBQUE7Q0FBRSxDQUFDO0FBRXJHOzs7R0FHRztBQUNILHdCQUFnQix3QkFBd0IsQ0FBQyxXQUFXLEVBQUUsTUFBTSxFQUFFLElBQUksRUFBRSxlQUFlLEdBQUcsZ0JBQWdCLENBUXJHO0FBRUQsMEZBQTBGO0FBQzFGLHdCQUFnQixxQkFBcUIsQ0FBQyxJQUFJLEVBQUUsSUFBSSxFQUFFLElBQUksRUFBRSxlQUFlLEdBQUcsbUJBQW1CLENBUzVGIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoib3JpZ2luX3N0YXRlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvc3RvcmFnZS9mYWN0X3N0b3JlL29yaWdpbl9zdGF0ZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUM5RCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUV2RCxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUM5RSxPQUFPLEtBQUssRUFBRSxJQUFJLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUU3Qzs7Ozs7Ozs7OztHQVVHO0FBQ0gsb0JBQVksZ0JBQWdCO0lBQzFCLE9BQU8sSUFBSTtJQUNYLE1BQU0sSUFBSTtJQUNWLFNBQVMsSUFBSTtDQUNkO0FBRUQsa0ZBQWtGO0FBQ2xGLHdCQUFnQiwwQkFBMEIsQ0FBQyxLQUFLLEVBQUUsTUFBTSxHQUFHLGdCQUFnQixDQU0xRTtBQUVELCtHQUErRztBQUMvRyxNQUFNLE1BQU0sZUFBZSxHQUFHO0lBQUUsaUJBQWlCLEVBQUUsTUFBTSxDQUFDO0lBQUMsb0JBQW9CLEVBQUUsTUFBTSxDQUFBO0NBQUUsQ0FBQztBQUUxRjs7Ozs7OztHQU9HO0FBQ0gsd0JBQWdCLHVCQUF1QixDQUFDLElBQUksRUFBRSxNQUFNLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSxHQUFHLGVBQWUsQ0FLaEc7QUFFRCx5RkFBeUY7QUFDekYsTUFBTSxNQUFNLHFCQUFxQixHQUFHLGNBQWMsR0FBRztJQUFFLFVBQVUsRUFBRSxnQkFBZ0IsQ0FBQTtDQUFFLENBQUM7QUFFdEYsc0dBQXNHO0FBQ3RHLE1BQU0sTUFBTSxtQkFBbUIsR0FBRztJQUFFLFVBQVUsRUFBRSxFQUFFLENBQUM7SUFBQyxPQUFPLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFBQyxXQUFXLEVBQUUscUJBQXFCLEdBQUcsU0FBUyxDQUFBO0NBQUUsQ0FBQztBQUVwSCw4REFBOEQ7QUFDOUQsTUFBTSxNQUFNLDZCQUE2QixHQUFHO0lBQUUsR0FBRyxFQUFFLGlCQUFpQixDQUFDO0lBQUMsS0FBSyxFQUFFLG1CQUFtQixFQUFFLENBQUE7Q0FBRSxDQUFDO0FBRXJHOzs7R0FHRztBQUNILHdCQUFnQix3QkFBd0IsQ0FBQyxXQUFXLEVBQUUsTUFBTSxFQUFFLElBQUksRUFBRSxlQUFlLEdBQUcsZ0JBQWdCLENBUXJHO0FBRUQsMEZBQTBGO0FBQzFGLHdCQUFnQixxQkFBcUIsQ0FBQyxJQUFJLEVBQUUsSUFBSSxFQUFFLElBQUksRUFBRSxlQUFlLEdBQUcsbUJBQW1CLENBUzVGIn0=

package/dest/storage/fact_store/origin_state.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"origin_state.d.ts","sourceRoot":"","sources":["../../../src/storage/fact_store/origin_state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAC9D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAEvD,OAAO,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAC3E,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAE7C;;;;;;;;;;GAUG;AACH,oBAAY,gBAAgB;IAC1B,OAAO,IAAI;IACX,MAAM,IAAI;IACV,SAAS,IAAI;CACd;AAED,kFAAkF;AAClF,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,MAAM,GAAG,gBAAgB,CAM1E;AAED,+GAA+G;AAC/G,MAAM,MAAM,eAAe,GAAG;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,oBAAoB,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1F;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,GAAG,eAAe,CAKhG;AAED,yFAAyF;AACzF,MAAM,MAAM,qBAAqB,GAAG,WAAW,GAAG;IAAE,UAAU,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAEnF,sGAAsG;AACtG,MAAM,MAAM,mBAAmB,GAAG;IAAE,UAAU,EAAE,EAAE,CAAC;IAAC,OAAO,EAAE,EAAE,EAAE,CAAC;IAAC,WAAW,EAAE,qBAAqB,GAAG,SAAS,CAAA;CAAE,CAAC;AAEpH,8DAA8D;AAC9D,MAAM,MAAM,6BAA6B,GAAG;IAAE,GAAG,EAAE,iBAAiB,CAAC;IAAC,KAAK,EAAE,mBAAmB,EAAE,CAAA;CAAE,CAAC;AAErG;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,GAAG,gBAAgB,CAQrG;AAED,0FAA0F;AAC1F,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,GAAG,mBAAmB,CAS5F"}
+{"version":3,"file":"origin_state.d.ts","sourceRoot":"","sources":["../../../src/storage/fact_store/origin_state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAC9D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAEvD,OAAO,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAC9E,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAE7C;;;;;;;;;;GAUG;AACH,oBAAY,gBAAgB;IAC1B,OAAO,IAAI;IACX,MAAM,IAAI;IACV,SAAS,IAAI;CACd;AAED,kFAAkF;AAClF,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,MAAM,GAAG,gBAAgB,CAM1E;AAED,+GAA+G;AAC/G,MAAM,MAAM,eAAe,GAAG;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,oBAAoB,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1F;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,GAAG,eAAe,CAKhG;AAED,yFAAyF;AACzF,MAAM,MAAM,qBAAqB,GAAG,cAAc,GAAG;IAAE,UAAU,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAEtF,sGAAsG;AACtG,MAAM,MAAM,mBAAmB,GAAG;IAAE,UAAU,EAAE,EAAE,CAAC;IAAC,OAAO,EAAE,EAAE,EAAE,CAAC;IAAC,WAAW,EAAE,qBAAqB,GAAG,SAAS,CAAA;CAAE,CAAC;AAEpH,8DAA8D;AAC9D,MAAM,MAAM,6BAA6B,GAAG;IAAE,GAAG,EAAE,iBAAiB,CAAC;IAAC,KAAK,EAAE,mBAAmB,EAAE,CAAA;CAAE,CAAC;AAErG;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,GAAG,gBAAgB,CAQrG;AAED,0FAA0F;AAC1F,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,GAAG,mBAAmB,CAS5F"}

package/dest/storage/fact_store/stored_fact.d.ts

@@ -1,11 +1,11 @@
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { BufferReader } from '@aztec-labs/foundation/serialize';
-import { FactCollectionKey, type OriginBlock } from './fact_store_keys.js';
+import { type BlockReference, FactCollectionKey } from './fact_store_keys.js';
 /** A fact as returned by the fact store. */
 export type Fact = {
     factTypeId: Fr;
     payload: Fr[];
-    originBlock: OriginBlock | undefined;
+    originBlock: BlockReference | undefined;
 };
 /**
  * A single immutable fact belonging to a fact collection.
@@ -14,8 +14,8 @@ export declare class StoredFact {
     readonly factCollectionKey: FactCollectionKey;
     readonly factTypeId: Fr;
     readonly payload: Fr[];
-    readonly originBlock: OriginBlock | undefined;
-    constructor(factCollectionKey: FactCollectionKey, factTypeId: Fr, payload: Fr[], originBlock: OriginBlock | undefined);
+    readonly originBlock: BlockReference | undefined;
+    constructor(factCollectionKey: FactCollectionKey, factTypeId: Fr, payload: Fr[], originBlock: BlockReference | undefined);
     /** Whether this fact is deleted on block pruning (true) or survives reorgs (false). */
     get isRetractable(): boolean;
     /** Stable digest of the payload, used for fact idempotency. */
@@ -29,4 +29,4 @@ export declare class StoredFact {
  * Builds the serialized key that identifies a fact in the store.
  */
 export declare function factKeyStrOf(fact: StoredFact): string;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RvcmVkX2ZhY3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zdG9yYWdlL2ZhY3Rfc3RvcmUvc3RvcmVkX2ZhY3QudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBQ3pELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sa0NBQWtDLENBQUM7QUFHbkYsT0FBTyxFQUFFLGlCQUFpQixFQUFFLEtBQUssV0FBVyxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFFM0UsNENBQTRDO0FBQzVDLE1BQU0sTUFBTSxJQUFJLEdBQUc7SUFBRSxVQUFVLEVBQUUsRUFBRSxDQUFDO0lBQUMsT0FBTyxFQUFFLEVBQUUsRUFBRSxDQUFDO0lBQUMsV0FBVyxFQUFFLFdBQVcsR0FBRyxTQUFTLENBQUE7Q0FBRSxDQUFDO0FBRTNGOztHQUVHO0FBQ0gscUJBQWEsVUFBVTthQUVILGlCQUFpQixFQUFFLGlCQUFpQjthQUNwQyxVQUFVLEVBQUUsRUFBRTthQUNkLE9BQU8sRUFBRSxFQUFFLEVBQUU7YUFDYixXQUFXLEVBQUUsV0FBVyxHQUFHLFNBQVM7SUFKdEQsWUFDa0IsaUJBQWlCLEVBQUUsaUJBQWlCLEVBQ3BDLFVBQVUsRUFBRSxFQUFFLEVBQ2QsT0FBTyxFQUFFLEVBQUUsRUFBRSxFQUNiLFdBQVcsRUFBRSxXQUFXLEdBQUcsU0FBUyxFQUNsRDtJQUVKLHVGQUF1RjtJQUN2RixJQUFJLGFBQWEsSUFBSSxPQUFPLENBRTNCO0lBRUQsK0RBQStEO0lBQy9ELFdBQVcsSUFBSSxFQUFFLENBRWhCO0lBRUQsdURBQXVEO0lBQ3ZELE1BQU0sSUFBSSxJQUFJLENBRWI7SUFFRCxRQUFRLElBQUksTUFBTSxDQWFqQjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsVUFBVSxDQW1CM0Q7Q0FDRjtBQUVEOztHQUVHO0FBQ0gsd0JBQWdCLFlBQVksQ0FBQyxJQUFJLEVBQUUsVUFBVSxHQUFHLE1BQU0sQ0FHckQifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RvcmVkX2ZhY3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zdG9yYWdlL2ZhY3Rfc3RvcmUvc3RvcmVkX2ZhY3QudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBQ3pELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sa0NBQWtDLENBQUM7QUFHbkYsT0FBTyxFQUFFLEtBQUssY0FBYyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFFOUUsNENBQTRDO0FBQzVDLE1BQU0sTUFBTSxJQUFJLEdBQUc7SUFBRSxVQUFVLEVBQUUsRUFBRSxDQUFDO0lBQUMsT0FBTyxFQUFFLEVBQUUsRUFBRSxDQUFDO0lBQUMsV0FBVyxFQUFFLGNBQWMsR0FBRyxTQUFTLENBQUE7Q0FBRSxDQUFDO0FBRTlGOztHQUVHO0FBQ0gscUJBQWEsVUFBVTthQUVILGlCQUFpQixFQUFFLGlCQUFpQjthQUNwQyxVQUFVLEVBQUUsRUFBRTthQUNkLE9BQU8sRUFBRSxFQUFFLEVBQUU7YUFDYixXQUFXLEVBQUUsY0FBYyxHQUFHLFNBQVM7SUFKekQsWUFDa0IsaUJBQWlCLEVBQUUsaUJBQWlCLEVBQ3BDLFVBQVUsRUFBRSxFQUFFLEVBQ2QsT0FBTyxFQUFFLEVBQUUsRUFBRSxFQUNiLFdBQVcsRUFBRSxjQUFjLEdBQUcsU0FBUyxFQUNyRDtJQUVKLHVGQUF1RjtJQUN2RixJQUFJLGFBQWEsSUFBSSxPQUFPLENBRTNCO0lBRUQsK0RBQStEO0lBQy9ELFdBQVcsSUFBSSxFQUFFLENBRWhCO0lBRUQsdURBQXVEO0lBQ3ZELE1BQU0sSUFBSSxJQUFJLENBRWI7SUFFRCxRQUFRLElBQUksTUFBTSxDQWFqQjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsVUFBVSxDQW1CM0Q7Q0FDRjtBQUVEOztHQUVHO0FBQ0gsd0JBQWdCLFlBQVksQ0FBQyxJQUFJLEVBQUUsVUFBVSxHQUFHLE1BQU0sQ0FHckQifQ==

package/dest/storage/fact_store/stored_fact.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"stored_fact.d.ts","sourceRoot":"","sources":["../../../src/storage/fact_store/stored_fact.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;AAGnF,OAAO,EAAE,iBAAiB,EAAE,KAAK,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAE3E,4CAA4C;AAC5C,MAAM,MAAM,IAAI,GAAG;IAAE,UAAU,EAAE,EAAE,CAAC;IAAC,OAAO,EAAE,EAAE,EAAE,CAAC;IAAC,WAAW,EAAE,WAAW,GAAG,SAAS,CAAA;CAAE,CAAC;AAE3F;;GAEG;AACH,qBAAa,UAAU;aAEH,iBAAiB,EAAE,iBAAiB;aACpC,UAAU,EAAE,EAAE;aACd,OAAO,EAAE,EAAE,EAAE;aACb,WAAW,EAAE,WAAW,GAAG,SAAS;IAJtD,YACkB,iBAAiB,EAAE,iBAAiB,EACpC,UAAU,EAAE,EAAE,EACd,OAAO,EAAE,EAAE,EAAE,EACb,WAAW,EAAE,WAAW,GAAG,SAAS,EAClD;IAEJ,uFAAuF;IACvF,IAAI,aAAa,IAAI,OAAO,CAE3B;IAED,+DAA+D;IAC/D,WAAW,IAAI,EAAE,CAEhB;IAED,uDAAuD;IACvD,MAAM,IAAI,IAAI,CAEb;IAED,QAAQ,IAAI,MAAM,CAajB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,UAAU,CAmB3D;CACF;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAGrD"}
+{"version":3,"file":"stored_fact.d.ts","sourceRoot":"","sources":["../../../src/storage/fact_store/stored_fact.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;AAGnF,OAAO,EAAE,KAAK,cAAc,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAE9E,4CAA4C;AAC5C,MAAM,MAAM,IAAI,GAAG;IAAE,UAAU,EAAE,EAAE,CAAC;IAAC,OAAO,EAAE,EAAE,EAAE,CAAC;IAAC,WAAW,EAAE,cAAc,GAAG,SAAS,CAAA;CAAE,CAAC;AAE9F;;GAEG;AACH,qBAAa,UAAU;aAEH,iBAAiB,EAAE,iBAAiB;aACpC,UAAU,EAAE,EAAE;aACd,OAAO,EAAE,EAAE,EAAE;aACb,WAAW,EAAE,cAAc,GAAG,SAAS;IAJzD,YACkB,iBAAiB,EAAE,iBAAiB,EACpC,UAAU,EAAE,EAAE,EACd,OAAO,EAAE,EAAE,EAAE,EACb,WAAW,EAAE,cAAc,GAAG,SAAS,EACrD;IAEJ,uFAAuF;IACvF,IAAI,aAAa,IAAI,OAAO,CAE3B;IAED,+DAA+D;IAC/D,WAAW,IAAI,EAAE,CAEhB;IAED,uDAAuD;IACvD,MAAM,IAAI,IAAI,CAEb;IAED,QAAQ,IAAI,MAAM,CAajB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,UAAU,CAmB3D;CACF;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAGrD"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec-labs/pxe",
-  "version": "6.0.0-rc.1",
+  "version": "6.0.0-rc.2",
   "type": "module",
   "typedocOptions": {
     "entryPoints": [
@@ -71,21 +71,21 @@
     ]
   },
   "dependencies": {
-    "@aztec-foundation/bb.js": "6.0.0-rc.1",
-    "@aztec-foundation/noir-acvm_js": "6.0.0-rc.1",
-    "@aztec-foundation/noir-noirc_abi": "6.0.0-rc.1",
-    "@aztec-foundation/noir-types": "6.0.0-rc.1",
-    "@aztec-labs/bb-prover": "6.0.0-rc.1",
-    "@aztec-labs/constants": "6.0.0-rc.1",
-    "@aztec-labs/ethereum": "6.0.0-rc.1",
-    "@aztec-labs/foundation": "6.0.0-rc.1",
-    "@aztec-labs/key-store": "6.0.0-rc.1",
-    "@aztec-labs/kv-store": "6.0.0-rc.1",
-    "@aztec-labs/noir-protocol-circuits-types": "6.0.0-rc.1",
-    "@aztec-labs/protocol-contracts": "6.0.0-rc.1",
-    "@aztec-labs/simulator": "6.0.0-rc.1",
-    "@aztec-labs/standard-contracts": "6.0.0-rc.1",
-    "@aztec-labs/stdlib": "6.0.0-rc.1",
+    "@aztec-foundation/bb.js": "6.0.0-rc.5",
+    "@aztec-foundation/noir-acvm_js": "6.0.0-rc.5",
+    "@aztec-foundation/noir-noirc_abi": "6.0.0-rc.5",
+    "@aztec-foundation/noir-types": "6.0.0-rc.5",
+    "@aztec-labs/bb-prover": "6.0.0-rc.2",
+    "@aztec-labs/constants": "6.0.0-rc.2",
+    "@aztec-labs/ethereum": "6.0.0-rc.2",
+    "@aztec-labs/foundation": "6.0.0-rc.2",
+    "@aztec-labs/key-store": "6.0.0-rc.2",
+    "@aztec-labs/kv-store": "6.0.0-rc.2",
+    "@aztec-labs/noir-protocol-circuits-types": "6.0.0-rc.2",
+    "@aztec-labs/protocol-contracts": "6.0.0-rc.2",
+    "@aztec-labs/simulator": "6.0.0-rc.2",
+    "@aztec-labs/standard-contracts": "6.0.0-rc.2",
+    "@aztec-labs/stdlib": "6.0.0-rc.2",
     "koa": "^2.16.1",
     "koa-router": "^13.1.1",
     "lodash.omit": "^4.5.0",
@@ -94,8 +94,8 @@
     "viem": "npm:@aztec/viem@2.38.3"
   },
   "devDependencies": {
-    "@aztec-labs/noir-test-contracts.js": "6.0.0-rc.1",
-    "@aztec-labs/world-state": "6.0.0-rc.1",
+    "@aztec-labs/noir-test-contracts.js": "6.0.0-rc.2",
+    "@aztec-labs/world-state": "6.0.0-rc.2",
     "@jest/globals": "^30.0.0",
     "@types/jest": "^30.0.0",
     "@types/lodash.omit": "^4.5.7",

package/src/contract_function_simulator/contract_function_simulator.ts

@@ -732,7 +732,12 @@ export async function generateSimulatedProvingResult(
     );
     gasUsed = meterGasUsed(revertibleData, isPrivateOnlyTx).add(meterGasUsed(nonRevertibleData, isPrivateOnlyTx));
     if (publicTeardownCallRequest) {
-      gasUsed = gasUsed.add(privateExecutionResult.entrypoint.publicInputs.txContext.gasSettings.teardownGasLimits);
+      // The teardown call is dispatched by the AVM like any other enqueued public call, so it consumes the startup
+      // gas on top of its gas limits.
+      const teardownStartupGas = Gas.from({ daGas: 0, l2Gas: FIXED_AVM_STARTUP_L2_GAS });
+      gasUsed = gasUsed
+        .add(privateExecutionResult.entrypoint.publicInputs.txContext.gasSettings.teardownGasLimits)
+        .add(teardownStartupGas);
     }
 
     inputsForPublic = new PartialPrivateTailPublicInputsForPublic(

package/src/contract_function_simulator/index.ts

@@ -79,6 +79,8 @@ export { pickNotes } from './pick_notes.js';
 export type { IMiscOracle, IUtilityExecutionOracle, IPrivateExecutionOracle } from './oracle/interfaces.js';
 export type { FactCollection } from './noir-structs/fact_collection.js';
 export type { NoteData } from './noir-structs/note_data.js';
+export type { NullifierStatus } from './noir-structs/nullifier_status.js';
+export type { NoteOrigin } from './noir-structs/note_origin.js';
 export type { ResolvedTaggingStrategy } from './noir-structs/resolved_tagging_strategy.js';
 export { TxResolverService } from '../messages/tx_resolver_service.js';
 export { UtilityExecutionOracle } from './oracle/utility_execution_oracle.js';

package/src/contract_function_simulator/noir-structs/note_origin.ts

@@ -0,0 +1,11 @@
+import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+
+import type { BlockReference } from '../../storage/fact_store/index.js';
+
+/** TypeScript counterpart of `NoteOrigin` in Aztec.nr. */
+export type NoteOrigin = {
+  /** Hash of the tx that created the note. */
+  txHash: Fr;
+  /** The block that tx was included in. */
+  block: BlockReference;
+};

package/src/contract_function_simulator/noir-structs/nullifier_status.ts

@@ -0,0 +1,9 @@
+import type { BlockReference } from '../../storage/fact_store/index.js';
+import type { Option } from './option.js';
+
+/** TypeScript counterpart of `NullifierStatus` in Aztec.nr. */
+export type NullifierStatus = {
+  exists: boolean;
+  /** The block the nullifier was included in. Absent when it does not exist or is pending in the current transaction. */
+  originBlock: Option<BlockReference>;
+};

package/src/contract_function_simulator/oracle/acir_callback.ts

@@ -24,7 +24,10 @@ export class UnavailableOracleError extends Error {
 export function buildACIRCallback(
   handler: OracleHandler,
   options: {
-    /** The contract whose function the callback is built for. */
+    /**
+     * The contract whose function the callback is built for. Protocol contracts are only served the protocol oracles,
+     * which no other contract is served.
+     */
     contractAddress?: AztecAddress;
     currentRegistry?: Record<string, OracleRegistryEntry>;
     legacyRegistry?: Record<string, LegacyOracleEntry>;
@@ -37,6 +40,18 @@ export function buildACIRCallback(
     legacyRegistry = LEGACY_ORACLE_REGISTRY,
     protocolRegistry = PROTOCOL_ORACLE_REGISTRY,
   } = options;
+  const calledByProtocolContract = contractAddress !== undefined && isProtocolContract(contractAddress);
+  const target = calledByProtocolContract
+    ? buildProtocolOracleCallbacks(handler, protocolRegistry)
+    : buildCurrentAndLegacyOracleCallbacks(handler, currentRegistry, legacyRegistry);
+  return new Proxy(target, makeUnknownOracleTrap(handler, calledByProtocolContract));
+}
+
+function buildCurrentAndLegacyOracleCallbacks(
+  handler: OracleHandler,
+  currentRegistry: Record<string, OracleRegistryEntry>,
+  legacyRegistry: Record<string, LegacyOracleEntry>,
+): ACIRCallback {
   const target = {} as ACIRCallback;
   for (const [oracleKey, entry] of Object.entries(currentRegistry)) {
     const { oracleKind, methodName } = parseOracleName(oracleKey, 'Oracle');
@@ -72,27 +87,23 @@ export function buildACIRCallback(
     };
   }
 
-  // Protocol oracle names: served to protocol contracts only, each with its own wire.
-  const calledByProtocolContract = contractAddress !== undefined && isProtocolContract(contractAddress);
+  return target;
+}
+
+function buildProtocolOracleCallbacks(
+  handler: OracleHandler,
+  protocolRegistry: Record<string, ProtocolOracleEntry>,
+): ACIRCallback {
+  const target = {} as ACIRCallback;
   for (const [protocolKey, protocol] of Object.entries(protocolRegistry)) {
-    if (protocolKey in target) {
-      throw new Error(`Protocol oracle "${protocolKey}" collides with another oracle of the same name`);
-    }
     const wire = makeEntry({ params: [...protocol.params], returnType: protocol.returnType });
     target[protocolKey] = async (...inputs: ACVMField[][]) => {
-      if (!calledByProtocolContract) {
-        const caller = contractAddress ?? 'a caller that is not a contract';
-        throw new Error(
-          `Oracle '${protocolKey}' can only be called by protocol contracts, but was called by ${caller}`,
-        );
-      }
       assertHandlerSupportsOracleKind(handler, protocol.oracleKind);
       const args = wire.deserializeParams(inputs).map(p => p.value);
       return wire.serializeReturn(await protocol.serve(handler, args));
     };
   }
-
-  return new Proxy(target, makeUnknownOracleTrap(handler, calledByProtocolContract));
+  return target;
 }
 
 /** Parses an `aztec_{oracleKind}_{method}` oracle name into its parts, throwing if it doesn't follow the convention. */

package/src/contract_function_simulator/oracle/oracle_registry.ts

@@ -11,6 +11,7 @@ import {
   BLOCK_HASH,
   BLOCK_HEADER,
   BLOCK_NUMBER,
+  BLOCK_REFERENCE,
   BOOL,
   BOUNDED_VEC,
   CALL_PRIVATE_RESULT,
@@ -29,11 +30,12 @@ import {
   MEMBERSHIP_WITNESS,
   type MaybePromise,
   NOTE,
+  NOTE_ORIGIN,
   NOTE_SELECTOR,
   NOTE_VALIDATION_REQUEST,
   NULLIFIER_MEMBERSHIP_WITNESS,
+  NULLIFIER_STATUS,
   OPTION,
-  ORIGIN_BLOCK,
   type OutputSlot,
   PENDING_TAGGED_LOG,
   POINT,
@@ -184,9 +186,9 @@ export const ORACLE_REGISTRY = {
     returnType: OPTION(PUBLIC_KEYS_AND_PARTIAL_ADDRESS),
   }),
 
-  aztec_utl_doesNullifierExist: makeEntry({
-    params: [{ name: 'innerNullifier', type: FIELD }],
-    returnType: BOOL,
+  aztec_utl_getNullifierStatuses: makeEntry({
+    params: [{ name: 'innerNullifiers', type: EPHEMERAL_ARRAY(FIELD) }],
+    returnType: EPHEMERAL_ARRAY(NULLIFIER_STATUS),
   }),
 
   aztec_utl_getL1ToL2MembershipWitnessV2: makeEntry({
@@ -238,6 +240,15 @@ export const ORACLE_REGISTRY = {
     returnType: BOUNDED_VEC(NOTE),
   }),
 
+  aztec_utl_getSettledNoteOrigin: makeEntry({
+    params: [
+      { name: 'noteHash', type: FIELD },
+      { name: 'contractAddress', type: AZTEC_ADDRESS },
+      { name: 'noteNonce', type: FIELD },
+    ],
+    returnType: OPTION(NOTE_ORIGIN),
+  }),
+
   aztec_utl_getPendingTaggedLogsV2: makeEntry({
     params: [
       { name: 'scope', type: AZTEC_ADDRESS },
@@ -348,7 +359,7 @@ export const ORACLE_REGISTRY = {
       { name: 'factCollectionId', type: FIELD },
       { name: 'factTypeId', type: FIELD },
       { name: 'payload', type: EPHEMERAL_ARRAY(FIELD) },
-      { name: 'originBlock', type: OPTION(ORIGIN_BLOCK) },
+      { name: 'originBlock', type: OPTION(BLOCK_REFERENCE) },
     ],
   }),
 

package/src/contract_function_simulator/oracle/oracle_type_mappings.ts

@@ -50,7 +50,7 @@ import {
 } from '@aztec-labs/stdlib/tx';
 
 import {
-  type OriginBlock,
+  type BlockReference,
   type OriginBlockState,
   type RetractableFactOrigin,
   originBlockStateFromNumber,
@@ -65,8 +65,10 @@ import type { FactCollection } from '../noir-structs/fact_collection.js';
 import { type LogRetrievalRequest, type LogSource, logSourceFromField } from '../noir-structs/log_retrieval_request.js';
 import type { LogRetrievalResponse } from '../noir-structs/log_retrieval_response.js';
 import type { NoteData } from '../noir-structs/note_data.js';
+import type { NoteOrigin } from '../noir-structs/note_origin.js';
 import { NoteValidationRequest } from '../noir-structs/note_validation_request.js';
 import type { NullifierMembershipWitnessData } from '../noir-structs/nullifier_membership_witness_data.js';
+import type { NullifierStatus } from '../noir-structs/nullifier_status.js';
 import { Option } from '../noir-structs/option.js';
 import type { PendingTaggedLog } from '../noir-structs/pending_tagged_log.js';
 import type { ProvidedSecret } from '../noir-structs/provided_secret.js';
@@ -543,11 +545,21 @@ export const PENDING_TAGGED_LOG: TypeMapping<PendingTaggedLog> = STRUCT([
   { name: 'context', type: RESOLVED_TX },
 ]);
 
-export const ORIGIN_BLOCK: TypeMapping<OriginBlock> = STRUCT([
+export const BLOCK_REFERENCE: TypeMapping<BlockReference> = STRUCT([
   { name: 'blockNumber', type: U32 },
   { name: 'blockHash', type: FIELD },
 ]);
 
+export const NULLIFIER_STATUS: TypeMapping<NullifierStatus> = STRUCT([
+  { name: 'exists', type: BOOL },
+  { name: 'originBlock', type: OPTION(BLOCK_REFERENCE) },
+]);
+
+export const NOTE_ORIGIN: TypeMapping<NoteOrigin> = STRUCT([
+  { name: 'txHash', type: FIELD },
+  { name: 'block', type: BLOCK_REFERENCE },
+]);
+
 const ORIGIN_BLOCK_STATE: TypeMapping<OriginBlockState> = SCALAR({
   kind: 'origin-block-state',
   serialization: { fn: v => [new Fr(v)] },

package/src/contract_function_simulator/oracle/private_execution_oracle.ts

@@ -45,6 +45,7 @@ import { ExecutionTaggingIndexCache } from '../execution_tagging_index_cache.js'
 import type { HashedValuesCache } from '../hashed_values_cache.js';
 import { BoundedVec } from '../noir-structs/bounded_vec.js';
 import type { NoteData } from '../noir-structs/note_data.js';
+import type { NullifierStatus } from '../noir-structs/nullifier_status.js';
 import { Option } from '../noir-structs/option.js';
 import type { ResolvedTaggingStrategy } from '../noir-structs/resolved_tagging_strategy.js';
 import { pickNotes } from '../pick_notes.js';
@@ -417,21 +418,23 @@ export class PrivateExecutionOracle extends UtilityExecutionOracle implements IP
     return Promise.resolve(preimage);
   }
 
-  override async doesNullifierExist(innerNullifier: Fr): Promise<boolean> {
-    // This oracle must be overridden because while utility execution can only meaningfully check if a nullifier exists
-    // in the synched block, during private execution there's also the possibility of it being pending, i.e. created
-    // in the current transaction.
+  protected override async getSiloedNullifierStatuses(siloedNullifiers: Fr[]): Promise<NullifierStatus[]> {
+    // This must be overridden because while utility execution can only meaningfully check if a nullifier exists in
+    // the anchor block, during private execution there's also the possibility of it being pending, i.e. created in
+    // the current transaction.
 
-    this.logger.debug(`Checking existence of inner nullifier ${innerNullifier}`, {
+    this.logger.debug(`Checking existence of ${siloedNullifiers.length} nullifiers`, {
       contractAddress: this.contractAddress,
+      siloedNullifiers,
     });
 
-    const nullifier = (await siloNullifier(this.contractAddress, innerNullifier)).toBigInt();
+    const pendingNullifiers = this.noteCache.getNullifiers(this.contractAddress);
+    const isPending = siloedNullifiers.map(nullifier => pendingNullifiers.has(nullifier.toBigInt()));
+    const settledStatuses = await super.getSiloedNullifierStatuses(siloedNullifiers.filter((_, i) => !isPending[i]));
 
-    return (
-      this.noteCache.getNullifiers(this.contractAddress).has(nullifier) ||
-      (await super.doesNullifierExist(innerNullifier))
-    );
+    const pendingStatus: NullifierStatus = { exists: true, originBlock: Option.none() };
+    let nextSettled = 0;
+    return isPending.map(pending => (pending ? pendingStatus : settledStatuses[nextSettled++]));
   }
 
   /**

package/src/contract_function_simulator/oracle/utility_execution_oracle.ts

@@ -5,7 +5,7 @@ import {
   PRIVATE_LOG_CIPHERTEXT_LEN,
 } from '@aztec-labs/constants';
 import type { BlockNumber } from '@aztec-labs/foundation/branded-types';
-import { uniqueBy } from '@aztec-labs/foundation/collection';
+import { chunk, uniqueBy } from '@aztec-labs/foundation/collection';
 import { Aes128 } from '@aztec-labs/foundation/crypto/aes128';
 import { Fr } from '@aztec-labs/foundation/curves/bn254';
 import { Point } from '@aztec-labs/foundation/curves/grumpkin';
@@ -28,12 +28,12 @@ import { AztecAddress } from '@aztec-labs/stdlib/aztec-address';
 import { BlockHash, type BlockParameter, type L2TipsProvider } from '@aztec-labs/stdlib/block';
 import type { CompleteAddress, ContractInstancePreimageWithAddress, PartialAddress } from '@aztec-labs/stdlib/contract';
 import { siloNullifier } from '@aztec-labs/stdlib/hash';
-import type { AztecNode } from '@aztec-labs/stdlib/interfaces/server';
+import { type AztecNode, MAX_RPC_LEN } from '@aztec-labs/stdlib/interfaces/client';
 import type { KeyValidationRequest } from '@aztec-labs/stdlib/kernel';
 import { PublicKeys, computeAddressSecret, hashPublicKey } from '@aztec-labs/stdlib/keys';
 import { AppTaggingSecret, FlatPublicLogs, appSiloEcdhSharedSecret } from '@aztec-labs/stdlib/logs';
 import { type UnsiloedMessageNullifier, getL1ToL2MessageWitness } from '@aztec-labs/stdlib/messaging';
-import type { NoteStatus } from '@aztec-labs/stdlib/note';
+import { NoteStatus } from '@aztec-labs/stdlib/note';
 import { MerkleTreeId } from '@aztec-labs/stdlib/trees';
 import {
   type BlockHeader,
@@ -58,7 +58,7 @@ import type { AddressStore } from '../../storage/address_store/address_store.js'
 import { assertAllowedScope } from '../../storage/allowed_scopes.js';
 import type { CapsuleService } from '../../storage/capsule_store/capsule_service.js';
 import { FactCollectionKey, FactCollectionTypeKey, anchoredTipBlockNumbers } from '../../storage/fact_store/index.js';
-import type { FactService, OriginBlock } from '../../storage/fact_store/index.js';
+import type { BlockReference, FactService } from '../../storage/fact_store/index.js';
 import type { NoteStore } from '../../storage/note_store/note_store.js';
 import type { PrivateEventStore } from '../../storage/private_event_store/private_event_store.js';
 import type { ChangeSetId } from '../../storage/staged_write_coordinator.js';
@@ -74,11 +74,13 @@ import { type FactCollection, emptyFactCollection, toNoirFactCollection } from '
 import type { LogRetrievalRequest } from '../noir-structs/log_retrieval_request.js';
 import type { LogRetrievalResponse } from '../noir-structs/log_retrieval_response.js';
 import type { NoteData } from '../noir-structs/note_data.js';
+import type { NoteOrigin } from '../noir-structs/note_origin.js';
 import type { NoteValidationRequest } from '../noir-structs/note_validation_request.js';
 import {
   type NullifierMembershipWitnessData,
   toNullifierMembershipWitnessData,
 } from '../noir-structs/nullifier_membership_witness_data.js';
+import type { NullifierStatus } from '../noir-structs/nullifier_status.js';
 import { Option } from '../noir-structs/option.js';
 import type { PendingTaggedLog } from '../noir-structs/pending_tagged_log.js';
 import type { ProvidedSecret } from '../noir-structs/provided_secret.js';
@@ -506,17 +508,65 @@ export class UtilityExecutionOracle implements IMiscOracle, IUtilityExecutionOra
   }
 
   /**
-   * Check if a nullifier exists in the nullifier tree.
-   * @param innerNullifier - The inner nullifier.
-   * @returns A boolean indicating whether the nullifier exists in the tree or not.
+   * Returns the tx and block in which a settled note of the executing contract was created, or `None` if no such note
+   * is known. Nullified notes are also returned.
    */
-  public async doesNullifierExist(innerNullifier: Fr) {
-    const [nullifier, anchor] = await allToCompletion([
-      siloNullifier(this.contractAddress, innerNullifier!),
-      this.anchorBlockHeader.toBlockParameter(),
-    ]);
-    const [leafIndex] = await this.aztecNode.findLeavesIndexes(anchor, MerkleTreeId.NULLIFIER_TREE, [nullifier]);
-    return leafIndex?.data !== undefined;
+  public async getSettledNoteOrigin(
+    noteHash: Fr,
+    contractAddress: AztecAddress,
+    noteNonce: Fr,
+  ): Promise<Option<NoteOrigin>> {
+    this.#assertOwnContract(contractAddress);
+
+    // The store is only indexed by contract, so this scans all of the contract's notes. The query is rare enough and
+    // stores are small enough that this is not a concern.
+    const notes = await this.noteStore.getNotes(
+      { contractAddress, status: NoteStatus.ACTIVE_OR_NULLIFIED, scopes: this.scopes },
+      this.changeSetId,
+    );
+    const note = notes.find(note => note.noteHash.equals(noteHash) && note.noteNonce.equals(noteNonce));
+
+    return note
+      ? Option.some({
+          txHash: note.txHash.hash,
+          block: { blockNumber: note.l2BlockNumber, blockHash: Fr.fromHexString(note.l2BlockHash) },
+        })
+      : Option.none();
+  }
+
+  /**
+   * Returns the status of each inner nullifier: whether it exists in the nullifier tree at the anchor block and, if
+   * so, the block it was inserted in. Results are aligned with the input.
+   */
+  public async getNullifierStatuses(innerNullifiers: EphemeralArray<Fr>): Promise<EphemeralArray<NullifierStatus>> {
+    const siloedNullifiers = await allToCompletion(
+      innerNullifiers
+        .readAll(this.ephemeralArrayService)
+        .map(innerNullifier => siloNullifier(this.contractAddress, innerNullifier)),
+    );
+    const statuses = await this.getSiloedNullifierStatuses(siloedNullifiers);
+    return EphemeralArray.fromValues(this.ephemeralArrayService, statuses);
+  }
+
+  /** Looks up siloed nullifiers in the nullifier tree at the anchor block, returning one status per input. */
+  protected async getSiloedNullifierStatuses(siloedNullifiers: Fr[]): Promise<NullifierStatus[]> {
+    const anchor = await this.anchorBlockHeader.toBlockParameter();
+    const leaves = (
+      await allToCompletion(
+        chunk(siloedNullifiers, MAX_RPC_LEN).map(batch =>
+          this.aztecNode.findLeavesIndexes(anchor, MerkleTreeId.NULLIFIER_TREE, batch),
+        ),
+      )
+    ).flat();
+    return leaves.map(
+      (leaf): NullifierStatus =>
+        leaf
+          ? {
+              exists: true,
+              originBlock: Option.some({ blockNumber: leaf.l2BlockNumber, blockHash: leaf.l2BlockHash.toFr() }),
+            }
+          : { exists: false, originBlock: Option.none() },
+    );
   }
 
   /**
@@ -787,7 +837,7 @@ export class UtilityExecutionOracle implements IMiscOracle, IUtilityExecutionOra
     factCollectionId: Fr,
     factTypeId: Fr,
     payload: EphemeralArray<Fr>,
-    originBlock: Option<OriginBlock>,
+    originBlock: Option<BlockReference>,
   ): Promise<void> {
     this.#assertOwnContract(contractAddress);
     return this.factService.recordFact(

package/src/operation_queue.ts

@@ -37,6 +37,10 @@ export type SyncedOperationContext = {
  * {@link StagedWriteCoordinator}): staged writes are committed if the operation succeeds and discarded if it throws.
  */
 export class OperationQueue {
+  private static readonly WARN_QUEUE_DEPTH = 10;
+  private static readonly WARN_WAIT_MS = 30_000;
+  private static readonly WARN_INTERVAL_MS = 60_000;
+  private lastPressureWarningAt = -Infinity;
   private readonly queue = new SerialQueue();
   private readonly node: CachingAztecNode;
   private readonly synchronizer: BlockSynchronizer;
@@ -72,13 +76,40 @@ export class OperationQueue {
    */
   public run<T>(fn: () => Promise<T>): Promise<T> {
     // TODO(#12636): relax the conditions under which we forbid concurrency.
-    if (this.queue.length() != 0) {
-      this.log.warn(
-        `PXE is already processing ${this.queue.length()} operations, concurrent execution is not supported. Will run once those are complete.`,
-      );
+    const queued = new Timer();
+    const queueDepth = this.queue.length();
+    if (queueDepth >= OperationQueue.WARN_QUEUE_DEPTH) {
+      this.warnQueuePressure('depth', queueDepth, 0);
     }
+    const waitWarning = setTimeout(() => {
+      this.warnQueuePressure('wait', this.queue.length(), queued.ms());
+    }, OperationQueue.WARN_WAIT_MS);
 
-    return this.queue.put(fn);
+    return this.queue
+      .put(() => {
+        clearTimeout(waitWarning);
+        this.log.debug('Starting queued PXE operation', {
+          eventName: 'pxe_operation_started',
+          queueDepth,
+          waitMs: queued.ms(),
+        });
+        return fn();
+      })
+      .finally(() => clearTimeout(waitWarning));
+  }
+
+  private warnQueuePressure(reason: 'depth' | 'wait', queueDepth: number, waitMs: number): void {
+    const now = Date.now();
+    if (now - this.lastPressureWarningAt < OperationQueue.WARN_INTERVAL_MS) {
+      return;
+    }
+    this.lastPressureWarningAt = now;
+    this.log.warn('PXE operation queue is congested', {
+      eventName: 'pxe_operation_queue_pressure',
+      reason,
+      queueDepth,
+      waitMs,
+    });
   }
 
   /**

package/src/oracle_version.ts

@@ -10,8 +10,8 @@
 /// used to provide helpful error messages if a contract calls an oracle that doesn't exist. We don't throw immediately
 /// if AZTEC_NR_MINOR > PXE_MINOR because if a contract is updated to use a newer Aztec.nr dependency without actually
 /// using any of the new oracles then there is no reason to throw.
-export const ORACLE_VERSION_MAJOR = 31;
-export const ORACLE_VERSION_MINOR = 0;
+export const ORACLE_VERSION_MAJOR = 32;
+export const ORACLE_VERSION_MINOR = 1;
 
 /// This hash is computed from `ORACLE_REGISTRY` (each oracle's name, ordered parameter names and
 /// types, and return type) and is used to detect when the oracle interface changes. When it does, you need to either:
@@ -19,7 +19,7 @@ export const ORACLE_VERSION_MINOR = 0;
 /// - increment only `ORACLE_VERSION_MINOR` if the change is additive (a new oracle was added).
 ///
 /// These constants must be kept in sync between this file and `noir-projects/aztec-nr/aztec/src/oracle/version.nr`.
-export const ORACLE_INTERFACE_HASH = '34050955eaba2373f10bb168a41d8ea2634cf1bb3b86048cd168fe784fc82a73';
+export const ORACLE_INTERFACE_HASH = 'f597d4c9e2b7d578e1b26ae757bfdc3bf698593cb82893dd80aad59442eecb7c';
 
 /// The oracle interface served to the protocol contracts, which is versioned separately from the Aztec.nr one above.
 /// It is a single number that must match exactly: protocol contracts are only rebuilt when they are redeployed on a

package/src/storage/fact_store/fact_service.ts

@@ -4,7 +4,7 @@ import type { AztecAddress } from '@aztec-labs/stdlib/aztec-address';
 import { assertAllowedScope } from '../allowed_scopes.js';
 import type { ChangeSetId } from '../staged_write_coordinator.js';
 import type { FactStore } from './fact_store.js';
-import type { FactCollectionKey, FactCollectionTypeKey, OriginBlock } from './fact_store_keys.js';
+import type { BlockReference, FactCollectionKey, FactCollectionTypeKey } from './fact_store_keys.js';
 import {
   type FactCollectionWithOriginState,
   type FactWithOriginState,
@@ -29,7 +29,7 @@ export class FactService {
     factCollectionKey: FactCollectionKey,
     factTypeId: Fr,
     payload: Fr[],
-    originBlock: OriginBlock | undefined,
+    originBlock: BlockReference | undefined,
     changeSetId: ChangeSetId,
   ): Promise<void> {
     assertAllowedScope(factCollectionKey.scope, this.allowedScopes);