@aztec/prover-node 6.0.0-nightly.20260729 → 6.0.0-nightly.20260731
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -101,6 +101,8 @@ export declare class CheckpointProver {
|
|
|
101
101
|
private readonly runPromise;
|
|
102
102
|
/** Tracks the cancel-driven teardown so `whenDone()` can await it. */
|
|
103
103
|
private cancelPromise?;
|
|
104
|
+
/** Tracks the success-driven sub-tree teardown (once block proofs are captured) so `whenDone()` can await it. */
|
|
105
|
+
private teardownPromise?;
|
|
104
106
|
constructor(args: CheckpointProverArgs, deps: CheckpointProverDeps);
|
|
105
107
|
/**
|
|
106
108
|
* Stable content-addressed identifier: `${checkpoint number}:${slot}:${archive root}`.
|
|
@@ -160,4 +162,4 @@ export declare class CheckpointProver {
|
|
|
160
162
|
private processTxs;
|
|
161
163
|
private createFork;
|
|
162
164
|
}
|
|
163
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
165
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludC1wcm92ZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9qb2IvY2hlY2twb2ludC1wcm92ZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEtBQUssY0FBYyxFQUF1QyxNQUFNLGtCQUFrQixDQUFDO0FBQzVGLE9BQU8sRUFBZSxLQUFLLFdBQVcsRUFBRSxLQUFLLFVBQVUsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRWpHLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUNoRSxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUVwRCxPQUFPLEtBQUssRUFBRSxLQUFLLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUN6RCxPQUFPLEVBQUUsS0FBSyxZQUFZLEVBQVMsTUFBTSx5QkFBeUIsQ0FBQztBQUduRSxPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQy9ELE9BQU8sS0FBSyxFQUFpQyxVQUFVLEVBQUUsYUFBYSxFQUFFLE1BQU0sbUNBQW1DLENBQUM7QUFDbEgsT0FBTyxLQUFLLEVBQW1CLHNCQUFzQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFdkYsT0FBTyxLQUFLLEVBQUUsb0JBQW9CLEVBQVcsTUFBTSxxQkFBcUIsQ0FBQztBQUN6RSxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUMzRCxPQUFPLEtBQUssRUFBRSx3QkFBd0IsRUFBRSxXQUFXLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUc3RixPQUFPLEtBQUssRUFBRSxXQUFXLEVBQWUsRUFBRSxFQUFVLE1BQU0sa0JBQWtCLENBQUM7QUFFN0UsT0FBTyxLQUFLLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSxlQUFlLENBQUM7QUFFMUQsK0RBQStEO0FBQy9ELE1BQU0sTUFBTSxvQkFBb0IsR0FBRztJQUNqQyxhQUFhLEVBQUUsa0JBQWtCLENBQUM7SUFDbEMsMEVBQTBFO0lBQzFFLFVBQVUsRUFBRSxVQUFVLENBQUM7SUFDdkIsc0JBQXNCLEVBQUUsc0JBQXNCLENBQUM7SUFDL0MsVUFBVSxFQUFFLElBQUksQ0FBQyx3QkFBd0IsRUFBRSxNQUFNLENBQUMsQ0FBQztJQUNuRCxVQUFVLEVBQUUsV0FBVyxDQUFDO0lBQ3hCLDZGQUEyRjtJQUMzRixZQUFZLEVBQUUsWUFBWSxDQUFDO0lBQzNCLFFBQVEsRUFBRSxVQUFVLENBQUM7SUFDckIsT0FBTyxFQUFFLG9CQUFvQixDQUFDO0lBQzlCLDZCQUE2QjtJQUM3QixvQkFBb0IsRUFBRSxNQUFNLENBQUM7SUFDN0IsaUNBQWlDO0lBQ2pDLFFBQVEsRUFBRSxJQUFJLEdBQUcsU0FBUyxDQUFDO0lBQzNCOzs7T0FHRztJQUNILFFBQVEsQ0FBQyxFQUFFLENBQUMsTUFBTSxFQUFFLGdCQUFnQixLQUFLLElBQUksQ0FBQztJQUM5Qzs7O09BR0c7SUFDSCx1QkFBdUIsQ0FBQyxFQUFFLE1BQU0sT0FBTyxDQUFDLEtBQUssQ0FBQyxDQUFDO0lBQy9DLEdBQUcsRUFBRSxNQUFNLENBQUM7Q0FDYixDQUFDO0FBRUYscUZBQXFGO0FBQ3JGLE1BQU0sTUFBTSx5QkFBeUIsR0FBRztJQUN0QyxxR0FBcUc7SUFDckcsdUJBQXVCLENBQUMsRUFBRSxNQUFNLE9BQU8sQ0FBQyxLQUFLLENBQUMsQ0FBQztDQUNoRCxDQUFDO0FBRUYsZ0VBQWdFO0FBQ2hFLE1BQU0sTUFBTSxvQkFBb0IsR0FBRztJQUNqQyxVQUFVLEVBQUUsVUFBVSxDQUFDO0lBQ3ZCLHFHQUFxRztJQUNyRyxXQUFXLEVBQUUsV0FBVyxDQUFDO0lBQ3pCLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQ3JDLG1CQUFtQixFQUFFLFdBQVcsQ0FBQztJQUNqQyxjQUFjLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDckIsMEJBQTBCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLGNBQWMsQ0FBQyxDQUFDO0NBQzlELENBQUM7QUFFRjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7R0FvQkc7QUFDSCxxQkFBYSxnQkFBZ0I7SUFvQ3pCLE9BQU8sQ0FBQyxRQUFRLENBQUMsSUFBSTtJQW5DdkIsUUFBUSxDQUFDLEVBQUUsRUFBRSxNQUFNLENBQUM7SUFDcEIsUUFBUSxDQUFDLFVBQVUsRUFBRSxVQUFVLENBQUM7SUFDaEMsUUFBUSxDQUFDLFdBQVcsRUFBRSxXQUFXLENBQUM7SUFDbEMsUUFBUSxDQUFDLFVBQVUsRUFBRSxVQUFVLENBQUM7SUFDaEMsUUFBUSxDQUFDLFlBQVksRUFBRSxvQkFBb0IsRUFBRSxDQUFDO0lBQzlDLFFBQVEsQ0FBQyxtQkFBbUIsRUFBRSxXQUFXLENBQUM7SUFDMUMsUUFBUSxDQUFDLGNBQWMsRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUM5QixRQUFRLENBQUMsMEJBQTBCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLGNBQWMsQ0FBQyxDQUFDO0lBRXRFLHVFQUF1RTtJQUN2RSxPQUFPLENBQUMsUUFBUSxDQUFDLFdBQVcsQ0FBb0Y7SUFPaEgsdUdBQXVHO0lBQ3ZHLE9BQU8sQ0FBQyxTQUFTLENBQVM7SUFDMUIsMEdBQXdHO0lBQ3hHLE9BQU8sQ0FBQyxNQUFNLENBQVM7SUFDdkIsMERBQTBEO0lBQzFELE9BQU8sQ0FBQyxTQUFTLENBQVM7SUFDMUIsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUFnQztJQUNoRCxPQUFPLENBQUMsUUFBUSxDQUFDLGVBQWUsQ0FBeUI7SUFFekQsZ0dBQWdHO0lBQ2hHLE9BQU8sQ0FBQyxRQUFRLENBQUMsVUFBVSxDQUFnQjtJQUMzQyxzRUFBc0U7SUFDdEUsT0FBTyxDQUFDLGFBQWEsQ0FBQyxDQUFnQjtJQUN0QyxpSEFBaUg7SUFDakgsT0FBTyxDQUFDLGVBQWUsQ0FBQyxDQUFnQjtJQUV4QyxZQUNFLElBQUksRUFBRSxvQkFBb0IsRUFDVCxJQUFJLEVBQUUsb0JBQW9CLEVBdUI1QztJQUVEOzs7O09BSUc7SUFDSCxPQUFjLEtBQUssQ0FBQyxVQUFVLEVBQUUsVUFBVSxHQUFHLE1BQU0sQ0FFbEQ7SUFFTSxXQUFXLElBQUksT0FBTyxDQUU1QjtJQUVEOzs7OztPQUtHO0lBQ0ksUUFBUSxJQUFJLE9BQU8sQ0FFekI7SUFFRCwwRkFBd0Y7SUFDakYsY0FBYyxJQUFJLFdBQVcsQ0FFbkM7SUFFRCw2R0FBNkc7SUFDdEcsb0JBQW9CLElBQUksT0FBTyxDQUFDLGFBQWEsQ0FBQyxtQkFBbUIsQ0FBQyxDQUFDLENBRXpFO0lBRUQsMEVBQTBFO0lBQzdELFFBQVEsSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBZXJDO1lBRWEsZ0JBQWdCO0lBcUI5Qjs7OztPQUlHO0lBQ0gsT0FBTyxDQUFDLGVBQWU7WUFlVCxRQUFRO1lBVVIsU0FBUztJQVV2Qjs7Ozs7Ozs7T0FRRztJQUNVLGVBQWUsSUFBSSxPQUFPLENBQUMsR0FBRyxDQUFDLE1BQU0sRUFBRSxFQUFFLENBQUMsQ0FBQyxDQVN2RDtZQUVhLGlCQUFpQjtJQW1KL0I7Ozs7Ozs7O09BUUc7SUFDSSxNQUFNLENBQUMsRUFBRSxPQUFlLEVBQUUsR0FBRTtRQUFFLE9BQU8sQ0FBQyxFQUFFLE9BQU8sQ0FBQTtLQUFPLEdBQUcsSUFBSSxDQXFCbkU7WUFFYSxTQUFTO1lBY1QsZUFBZTtJQWU3QixPQUFPLENBQUMsY0FBYztZQUlSLFVBQVU7WUEwQlYsVUFBVTtDQWV6QiJ9
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"checkpoint-prover.d.ts","sourceRoot":"","sources":["../../src/job/checkpoint-prover.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,cAAc,EAAuC,MAAM,kBAAkB,CAAC;AAC5F,OAAO,EAAe,KAAK,WAAW,EAAE,KAAK,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAEjG,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,KAAK,YAAY,EAAS,MAAM,yBAAyB,CAAC;AAGnE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,KAAK,EAAiC,UAAU,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAClH,OAAO,KAAK,EAAmB,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAEvF,OAAO,KAAK,EAAE,oBAAoB,EAAW,MAAM,qBAAqB,CAAC;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,wBAAwB,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAG7F,OAAO,KAAK,EAAE,WAAW,EAAe,EAAE,EAAU,MAAM,kBAAkB,CAAC;AAE7E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAE1D,+DAA+D;AAC/D,MAAM,MAAM,oBAAoB,GAAG;IACjC,aAAa,EAAE,kBAAkB,CAAC;IAClC,0EAA0E;IAC1E,UAAU,EAAE,UAAU,CAAC;IACvB,sBAAsB,EAAE,sBAAsB,CAAC;IAC/C,UAAU,EAAE,IAAI,CAAC,wBAAwB,EAAE,MAAM,CAAC,CAAC;IACnD,UAAU,EAAE,WAAW,CAAC;IACxB,6FAA2F;IAC3F,YAAY,EAAE,YAAY,CAAC;IAC3B,QAAQ,EAAE,UAAU,CAAC;IACrB,OAAO,EAAE,oBAAoB,CAAC;IAC9B,6BAA6B;IAC7B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,iCAAiC;IACjC,QAAQ,EAAE,IAAI,GAAG,SAAS,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,gBAAgB,KAAK,IAAI,CAAC;IAC9C;;;OAGG;IACH,uBAAuB,CAAC,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/C,GAAG,EAAE,MAAM,CAAC;CACb,CAAC;AAEF,qFAAqF;AACrF,MAAM,MAAM,yBAAyB,GAAG;IACtC,qGAAqG;IACrG,uBAAuB,CAAC,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;CAChD,CAAC;AAEF,gEAAgE;AAChE,MAAM,MAAM,oBAAoB,GAAG;IACjC,UAAU,EAAE,UAAU,CAAC;IACvB,qGAAqG;IACrG,WAAW,EAAE,WAAW,CAAC;IACzB,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC,mBAAmB,EAAE,WAAW,CAAC;IACjC,cAAc,EAAE,EAAE,EAAE,CAAC;IACrB,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC,CAAC;CAC9D,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,qBAAa,gBAAgB;
|
|
1
|
+
{"version":3,"file":"checkpoint-prover.d.ts","sourceRoot":"","sources":["../../src/job/checkpoint-prover.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,cAAc,EAAuC,MAAM,kBAAkB,CAAC;AAC5F,OAAO,EAAe,KAAK,WAAW,EAAE,KAAK,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAEjG,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,KAAK,YAAY,EAAS,MAAM,yBAAyB,CAAC;AAGnE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,KAAK,EAAiC,UAAU,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAClH,OAAO,KAAK,EAAmB,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AAEvF,OAAO,KAAK,EAAE,oBAAoB,EAAW,MAAM,qBAAqB,CAAC;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,wBAAwB,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAG7F,OAAO,KAAK,EAAE,WAAW,EAAe,EAAE,EAAU,MAAM,kBAAkB,CAAC;AAE7E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAE1D,+DAA+D;AAC/D,MAAM,MAAM,oBAAoB,GAAG;IACjC,aAAa,EAAE,kBAAkB,CAAC;IAClC,0EAA0E;IAC1E,UAAU,EAAE,UAAU,CAAC;IACvB,sBAAsB,EAAE,sBAAsB,CAAC;IAC/C,UAAU,EAAE,IAAI,CAAC,wBAAwB,EAAE,MAAM,CAAC,CAAC;IACnD,UAAU,EAAE,WAAW,CAAC;IACxB,6FAA2F;IAC3F,YAAY,EAAE,YAAY,CAAC;IAC3B,QAAQ,EAAE,UAAU,CAAC;IACrB,OAAO,EAAE,oBAAoB,CAAC;IAC9B,6BAA6B;IAC7B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,iCAAiC;IACjC,QAAQ,EAAE,IAAI,GAAG,SAAS,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,gBAAgB,KAAK,IAAI,CAAC;IAC9C;;;OAGG;IACH,uBAAuB,CAAC,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/C,GAAG,EAAE,MAAM,CAAC;CACb,CAAC;AAEF,qFAAqF;AACrF,MAAM,MAAM,yBAAyB,GAAG;IACtC,qGAAqG;IACrG,uBAAuB,CAAC,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC;CAChD,CAAC;AAEF,gEAAgE;AAChE,MAAM,MAAM,oBAAoB,GAAG;IACjC,UAAU,EAAE,UAAU,CAAC;IACvB,qGAAqG;IACrG,WAAW,EAAE,WAAW,CAAC;IACzB,YAAY,EAAE,oBAAoB,EAAE,CAAC;IACrC,mBAAmB,EAAE,WAAW,CAAC;IACjC,cAAc,EAAE,EAAE,EAAE,CAAC;IACrB,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC,CAAC;CAC9D,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,qBAAa,gBAAgB;IAoCzB,OAAO,CAAC,QAAQ,CAAC,IAAI;IAnCvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,oBAAoB,EAAE,CAAC;IAC9C,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,EAAE,EAAE,CAAC;IAC9B,QAAQ,CAAC,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC,CAAC;IAEtE,uEAAuE;IACvE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAoF;IAOhH,uGAAuG;IACvG,OAAO,CAAC,SAAS,CAAS;IAC1B,0GAAwG;IACxG,OAAO,CAAC,MAAM,CAAS;IACvB,0DAA0D;IAC1D,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,OAAO,CAAC,CAAgC;IAChD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAyB;IAEzD,gGAAgG;IAChG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAgB;IAC3C,sEAAsE;IACtE,OAAO,CAAC,aAAa,CAAC,CAAgB;IACtC,iHAAiH;IACjH,OAAO,CAAC,eAAe,CAAC,CAAgB;IAExC,YACE,IAAI,EAAE,oBAAoB,EACT,IAAI,EAAE,oBAAoB,EAuB5C;IAED;;;;OAIG;IACH,OAAc,KAAK,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,CAElD;IAEM,WAAW,IAAI,OAAO,CAE5B;IAED;;;;;OAKG;IACI,QAAQ,IAAI,OAAO,CAEzB;IAED,0FAAwF;IACjF,cAAc,IAAI,WAAW,CAEnC;IAED,6GAA6G;IACtG,oBAAoB,IAAI,OAAO,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAC,CAEzE;IAED,0EAA0E;IAC7D,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAerC;YAEa,gBAAgB;IAqB9B;;;;OAIG;IACH,OAAO,CAAC,eAAe;YAeT,QAAQ;YAUR,SAAS;IAUvB;;;;;;;;OAQG;IACU,eAAe,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CASvD;YAEa,iBAAiB;IAmJ/B;;;;;;;;OAQG;IACI,MAAM,CAAC,EAAE,OAAe,EAAE,GAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAA;KAAO,GAAG,IAAI,CAqBnE;YAEa,SAAS;YAcT,eAAe;IAe7B,OAAO,CAAC,cAAc;YAIR,UAAU;YA0BV,UAAU;CAezB"}
|
|
@@ -52,6 +52,7 @@ import { MerkleTreeId } from '@aztec/stdlib/trees';
|
|
|
52
52
|
abortController;
|
|
53
53
|
/** Tracks the eager gather+execute task so `cancel()` and `whenDone()` can await its unwind. */ runPromise;
|
|
54
54
|
/** Tracks the cancel-driven teardown so `whenDone()` can await it. */ cancelPromise;
|
|
55
|
+
/** Tracks the success-driven sub-tree teardown (once block proofs are captured) so `whenDone()` can await it. */ teardownPromise;
|
|
55
56
|
constructor(args, deps){
|
|
56
57
|
this.deps = deps;
|
|
57
58
|
this.blockProofs = promiseWithResolvers();
|
|
@@ -107,9 +108,19 @@ import { MerkleTreeId } from '@aztec/stdlib/trees';
|
|
|
107
108
|
}
|
|
108
109
|
/** Resolves when all in-flight work for this prover has fully unwound. */ async whenDone() {
|
|
109
110
|
await this.runPromise.catch(()=>{});
|
|
111
|
+
// `runPromise` resolves once block-level proving is *enqueued*, but the sub-tree's proofs (and the
|
|
112
|
+
// success-driven teardown they trigger) land later, on the `getSubTreeResult()` callback. Awaiting
|
|
113
|
+
// `blockProofs` here bridges that gap: on success the callback resolves `blockProofs` and then
|
|
114
|
+
// synchronously sets `teardownPromise` before this await resumes, so the teardown is observable
|
|
115
|
+
// below; on failure/cancel `blockProofs` rejects and teardown is driven by the `finally`/cancel
|
|
116
|
+
// paths already awaited via `runPromise`/`cancelPromise`.
|
|
117
|
+
await this.blockProofs.promise.catch(()=>{});
|
|
110
118
|
if (this.cancelPromise) {
|
|
111
119
|
await this.cancelPromise;
|
|
112
120
|
}
|
|
121
|
+
if (this.teardownPromise) {
|
|
122
|
+
await this.teardownPromise;
|
|
123
|
+
}
|
|
113
124
|
}
|
|
114
125
|
async gatherAndExecute() {
|
|
115
126
|
try {
|
|
@@ -228,6 +239,14 @@ import { MerkleTreeId } from '@aztec/stdlib/trees';
|
|
|
228
239
|
// Spans processing + proving (from executeCheckpoint start, after tx gathering) to proofs ready.
|
|
229
240
|
this.deps.metrics.recordCheckpointProving(checkpointTimer.ms());
|
|
230
241
|
this.blockProofs.resolve(result.blockProofOutputs);
|
|
242
|
+
// Release the sub-tree orchestrator now that its output is captured. The block-proof outputs
|
|
243
|
+
// survive via the resolved promise; everything else the sub-tree held — per-tx AVM inputs, and
|
|
244
|
+
// the base/merge/parity proof trees — is dead once proving completes, yet the prover is retained
|
|
245
|
+
// for the whole proof-submission window. Dropping it here is what stops that retention from
|
|
246
|
+
// accumulating across every proven checkpoint. Post-completion consumers (the top-tree job, a
|
|
247
|
+
// rebuilt EpochSession, failure upload) read only `whenBlockProofsReady()` and this prover's own
|
|
248
|
+
// fields (`checkpoint`, `txs`, headers, sibling paths), never the sub-tree.
|
|
249
|
+
this.teardownPromise = this.teardownSubTree();
|
|
231
250
|
}, (err)=>this.failBlockProofs(err instanceof Error ? err : new Error(String(err))));
|
|
232
251
|
if (signal.aborted) {
|
|
233
252
|
return;
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/prover-node",
|
|
3
|
-
"version": "6.0.0-nightly.
|
|
3
|
+
"version": "6.0.0-nightly.20260731",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"exports": {
|
|
6
6
|
".": "./dest/index.js",
|
|
@@ -56,29 +56,29 @@
|
|
|
56
56
|
]
|
|
57
57
|
},
|
|
58
58
|
"dependencies": {
|
|
59
|
-
"@aztec/archiver": "6.0.0-nightly.
|
|
60
|
-
"@aztec/bb-prover": "6.0.0-nightly.
|
|
61
|
-
"@aztec/bb.js": "6.0.0-nightly.
|
|
62
|
-
"@aztec/blob-client": "6.0.0-nightly.
|
|
63
|
-
"@aztec/blob-lib": "6.0.0-nightly.
|
|
64
|
-
"@aztec/constants": "6.0.0-nightly.
|
|
65
|
-
"@aztec/epoch-cache": "6.0.0-nightly.
|
|
66
|
-
"@aztec/ethereum": "6.0.0-nightly.
|
|
67
|
-
"@aztec/foundation": "6.0.0-nightly.
|
|
68
|
-
"@aztec/kv-store": "6.0.0-nightly.
|
|
69
|
-
"@aztec/l1-artifacts": "6.0.0-nightly.
|
|
70
|
-
"@aztec/native": "6.0.0-nightly.
|
|
71
|
-
"@aztec/node-keystore": "6.0.0-nightly.
|
|
72
|
-
"@aztec/node-lib": "6.0.0-nightly.
|
|
73
|
-
"@aztec/noir-protocol-circuits-types": "6.0.0-nightly.
|
|
74
|
-
"@aztec/p2p": "6.0.0-nightly.
|
|
75
|
-
"@aztec/protocol-contracts": "6.0.0-nightly.
|
|
76
|
-
"@aztec/prover-client": "6.0.0-nightly.
|
|
77
|
-
"@aztec/sequencer-client": "6.0.0-nightly.
|
|
78
|
-
"@aztec/simulator": "6.0.0-nightly.
|
|
79
|
-
"@aztec/stdlib": "6.0.0-nightly.
|
|
80
|
-
"@aztec/telemetry-client": "6.0.0-nightly.
|
|
81
|
-
"@aztec/world-state": "6.0.0-nightly.
|
|
59
|
+
"@aztec/archiver": "6.0.0-nightly.20260731",
|
|
60
|
+
"@aztec/bb-prover": "6.0.0-nightly.20260731",
|
|
61
|
+
"@aztec/bb.js": "6.0.0-nightly.20260731",
|
|
62
|
+
"@aztec/blob-client": "6.0.0-nightly.20260731",
|
|
63
|
+
"@aztec/blob-lib": "6.0.0-nightly.20260731",
|
|
64
|
+
"@aztec/constants": "6.0.0-nightly.20260731",
|
|
65
|
+
"@aztec/epoch-cache": "6.0.0-nightly.20260731",
|
|
66
|
+
"@aztec/ethereum": "6.0.0-nightly.20260731",
|
|
67
|
+
"@aztec/foundation": "6.0.0-nightly.20260731",
|
|
68
|
+
"@aztec/kv-store": "6.0.0-nightly.20260731",
|
|
69
|
+
"@aztec/l1-artifacts": "6.0.0-nightly.20260731",
|
|
70
|
+
"@aztec/native": "6.0.0-nightly.20260731",
|
|
71
|
+
"@aztec/node-keystore": "6.0.0-nightly.20260731",
|
|
72
|
+
"@aztec/node-lib": "6.0.0-nightly.20260731",
|
|
73
|
+
"@aztec/noir-protocol-circuits-types": "6.0.0-nightly.20260731",
|
|
74
|
+
"@aztec/p2p": "6.0.0-nightly.20260731",
|
|
75
|
+
"@aztec/protocol-contracts": "6.0.0-nightly.20260731",
|
|
76
|
+
"@aztec/prover-client": "6.0.0-nightly.20260731",
|
|
77
|
+
"@aztec/sequencer-client": "6.0.0-nightly.20260731",
|
|
78
|
+
"@aztec/simulator": "6.0.0-nightly.20260731",
|
|
79
|
+
"@aztec/stdlib": "6.0.0-nightly.20260731",
|
|
80
|
+
"@aztec/telemetry-client": "6.0.0-nightly.20260731",
|
|
81
|
+
"@aztec/world-state": "6.0.0-nightly.20260731",
|
|
82
82
|
"source-map-support": "^0.5.21",
|
|
83
83
|
"tslib": "^2.4.0",
|
|
84
84
|
"viem": "npm:@aztec/viem@2.38.2"
|
|
@@ -120,6 +120,8 @@ export class CheckpointProver {
|
|
|
120
120
|
private readonly runPromise: Promise<void>;
|
|
121
121
|
/** Tracks the cancel-driven teardown so `whenDone()` can await it. */
|
|
122
122
|
private cancelPromise?: Promise<void>;
|
|
123
|
+
/** Tracks the success-driven sub-tree teardown (once block proofs are captured) so `whenDone()` can await it. */
|
|
124
|
+
private teardownPromise?: Promise<void>;
|
|
123
125
|
|
|
124
126
|
constructor(
|
|
125
127
|
args: CheckpointProverArgs,
|
|
@@ -184,9 +186,19 @@ export class CheckpointProver {
|
|
|
184
186
|
/** Resolves when all in-flight work for this prover has fully unwound. */
|
|
185
187
|
public async whenDone(): Promise<void> {
|
|
186
188
|
await this.runPromise.catch(() => {});
|
|
189
|
+
// `runPromise` resolves once block-level proving is *enqueued*, but the sub-tree's proofs (and the
|
|
190
|
+
// success-driven teardown they trigger) land later, on the `getSubTreeResult()` callback. Awaiting
|
|
191
|
+
// `blockProofs` here bridges that gap: on success the callback resolves `blockProofs` and then
|
|
192
|
+
// synchronously sets `teardownPromise` before this await resumes, so the teardown is observable
|
|
193
|
+
// below; on failure/cancel `blockProofs` rejects and teardown is driven by the `finally`/cancel
|
|
194
|
+
// paths already awaited via `runPromise`/`cancelPromise`.
|
|
195
|
+
await this.blockProofs.promise.catch(() => {});
|
|
187
196
|
if (this.cancelPromise) {
|
|
188
197
|
await this.cancelPromise;
|
|
189
198
|
}
|
|
199
|
+
if (this.teardownPromise) {
|
|
200
|
+
await this.teardownPromise;
|
|
201
|
+
}
|
|
190
202
|
}
|
|
191
203
|
|
|
192
204
|
private async gatherAndExecute(): Promise<void> {
|
|
@@ -323,6 +335,14 @@ export class CheckpointProver {
|
|
|
323
335
|
// Spans processing + proving (from executeCheckpoint start, after tx gathering) to proofs ready.
|
|
324
336
|
this.deps.metrics.recordCheckpointProving(checkpointTimer.ms());
|
|
325
337
|
this.blockProofs.resolve(result.blockProofOutputs);
|
|
338
|
+
// Release the sub-tree orchestrator now that its output is captured. The block-proof outputs
|
|
339
|
+
// survive via the resolved promise; everything else the sub-tree held — per-tx AVM inputs, and
|
|
340
|
+
// the base/merge/parity proof trees — is dead once proving completes, yet the prover is retained
|
|
341
|
+
// for the whole proof-submission window. Dropping it here is what stops that retention from
|
|
342
|
+
// accumulating across every proven checkpoint. Post-completion consumers (the top-tree job, a
|
|
343
|
+
// rebuilt EpochSession, failure upload) read only `whenBlockProofsReady()` and this prover's own
|
|
344
|
+
// fields (`checkpoint`, `txs`, headers, sibling paths), never the sub-tree.
|
|
345
|
+
this.teardownPromise = this.teardownSubTree();
|
|
326
346
|
},
|
|
327
347
|
err => this.failBlockProofs(err instanceof Error ? err : new Error(String(err))),
|
|
328
348
|
);
|