@aztec/prover-node 5.0.0-private.20260319 → 5.0.0-rc.2

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.
Files changed (71) hide show
  1. package/README.md +518 -0
  2. package/dest/actions/download-epoch-proving-job.js +1 -1
  3. package/dest/actions/rerun-epoch-proving-job.d.ts +4 -3
  4. package/dest/actions/rerun-epoch-proving-job.d.ts.map +1 -1
  5. package/dest/actions/rerun-epoch-proving-job.js +103 -21
  6. package/dest/bin/run-failed-epoch.js +1 -3
  7. package/dest/checkpoint-store.d.ts +87 -0
  8. package/dest/checkpoint-store.d.ts.map +1 -0
  9. package/dest/checkpoint-store.js +186 -0
  10. package/dest/config.d.ts +1 -1
  11. package/dest/config.d.ts.map +1 -1
  12. package/dest/config.js +1 -1
  13. package/dest/factory.d.ts +1 -1
  14. package/dest/factory.d.ts.map +1 -1
  15. package/dest/factory.js +22 -8
  16. package/dest/index.d.ts +2 -1
  17. package/dest/index.d.ts.map +1 -1
  18. package/dest/index.js +1 -0
  19. package/dest/job/checkpoint-prover.d.ts +134 -0
  20. package/dest/job/checkpoint-prover.d.ts.map +1 -0
  21. package/dest/job/checkpoint-prover.js +353 -0
  22. package/dest/job/epoch-session.d.ts +146 -0
  23. package/dest/job/epoch-session.d.ts.map +1 -0
  24. package/dest/job/epoch-session.js +720 -0
  25. package/dest/job/top-tree-job.d.ts +82 -0
  26. package/dest/job/top-tree-job.d.ts.map +1 -0
  27. package/dest/job/top-tree-job.js +152 -0
  28. package/dest/metrics.d.ts +35 -8
  29. package/dest/metrics.d.ts.map +1 -1
  30. package/dest/metrics.js +86 -14
  31. package/dest/monitors/epoch-monitor.js +6 -2
  32. package/dest/proof-publishing-service.d.ts +161 -0
  33. package/dest/proof-publishing-service.d.ts.map +1 -0
  34. package/dest/proof-publishing-service.js +335 -0
  35. package/dest/prover-node-publisher.d.ts +22 -15
  36. package/dest/prover-node-publisher.d.ts.map +1 -1
  37. package/dest/prover-node-publisher.js +197 -60
  38. package/dest/prover-node.d.ts +105 -67
  39. package/dest/prover-node.d.ts.map +1 -1
  40. package/dest/prover-node.js +482 -224
  41. package/dest/prover-publisher-factory.d.ts +2 -2
  42. package/dest/prover-publisher-factory.d.ts.map +1 -1
  43. package/dest/prover-publisher-factory.js +3 -3
  44. package/dest/session-manager.d.ts +158 -0
  45. package/dest/session-manager.d.ts.map +1 -0
  46. package/dest/session-manager.js +452 -0
  47. package/dest/test/index.d.ts +7 -6
  48. package/dest/test/index.d.ts.map +1 -1
  49. package/package.json +23 -23
  50. package/src/actions/download-epoch-proving-job.ts +1 -1
  51. package/src/actions/rerun-epoch-proving-job.ts +114 -28
  52. package/src/bin/run-failed-epoch.ts +1 -2
  53. package/src/checkpoint-store.ts +218 -0
  54. package/src/config.ts +2 -1
  55. package/src/factory.ts +18 -10
  56. package/src/index.ts +1 -0
  57. package/src/job/checkpoint-prover.ts +468 -0
  58. package/src/job/epoch-session.ts +436 -0
  59. package/src/job/top-tree-job.ts +227 -0
  60. package/src/metrics.ts +102 -23
  61. package/src/monitors/epoch-monitor.ts +2 -2
  62. package/src/proof-publishing-service.ts +427 -0
  63. package/src/prover-node-publisher.ts +231 -77
  64. package/src/prover-node.ts +552 -251
  65. package/src/prover-publisher-factory.ts +3 -3
  66. package/src/session-manager.ts +552 -0
  67. package/src/test/index.ts +6 -6
  68. package/dest/job/epoch-proving-job.d.ts +0 -63
  69. package/dest/job/epoch-proving-job.d.ts.map +0 -1
  70. package/dest/job/epoch-proving-job.js +0 -762
  71. package/src/job/epoch-proving-job.ts +0 -465
@@ -0,0 +1,161 @@
1
+ import type { BatchedBlob } from '@aztec/blob-lib';
2
+ import type { ViemCommitteeAttestation } from '@aztec/ethereum/contracts';
3
+ import { BlockNumber, type CheckpointNumber, type EpochNumber } from '@aztec/foundation/branded-types';
4
+ import { type LoggerBindings } from '@aztec/foundation/log';
5
+ import { SerialQueue } from '@aztec/foundation/queue';
6
+ import type { DateProvider } from '@aztec/foundation/timer';
7
+ import type { L2BlockSource } from '@aztec/stdlib/block';
8
+ import type { Proof } from '@aztec/stdlib/proofs';
9
+ import type { CheckpointHeader, RootRollupPublicInputs } from '@aztec/stdlib/rollup';
10
+ import type { ProverNodePublisher } from './prover-node-publisher.js';
11
+ import type { ProverPublisherFactory } from './prover-publisher-factory.js';
12
+ /** A single proof candidate offered to the publishing service by an `EpochSession`. */
13
+ export type PublishCandidate = {
14
+ /** Stable id; matches the originating session so `withdraw` can target this entry. */
15
+ id: string;
16
+ epoch: EpochNumber;
17
+ /**
18
+ * Full vs partial. A `partial` candidate is an early-finish optimisation: if the chain's
19
+ * proven tip catches up to or past its `endBlock` before it publishes, it's superseded —
20
+ * publishing would be wasted L1 gas. A `full` candidate covers the entire epoch and is
21
+ * useful to publish even after some other prover-node has already submitted (the rollup
22
+ * contract records the submission per prover-id), so it is never auto-superseded by the
23
+ * proven tip alone.
24
+ */
25
+ kind: 'full' | 'partial';
26
+ /** First L2 block in the candidate's range. */
27
+ startBlock: BlockNumber;
28
+ /** Last L2 block in the candidate's range. */
29
+ endBlock: BlockNumber;
30
+ /**
31
+ * Wall-clock time after which the candidate is no longer worth publishing — typically
32
+ * the L1 proof-submission window deadline. If the candidate is still queued at this
33
+ * time it resolves as `'expired'`. If it's already in flight, the publish runs to
34
+ * completion (the L1 tx may still mine; the deadline only governs whether the service
35
+ * will start a publish). `undefined` disables the per-candidate timer.
36
+ */
37
+ deadline: Date | undefined;
38
+ /** Everything `ProverNodePublisher.submitEpochProof` needs. */
39
+ fromCheckpoint: CheckpointNumber;
40
+ toCheckpoint: CheckpointNumber;
41
+ publicInputs: RootRollupPublicInputs;
42
+ proof: Proof;
43
+ batchedBlobInputs: BatchedBlob;
44
+ attestations: ViemCommitteeAttestation[];
45
+ /** Committee-attested checkpoint headers for the range, supplying the L1-verified fee recipient/value. */
46
+ headers: CheckpointHeader[];
47
+ };
48
+ /** Terminal outcome for a candidate. The promise from `submit()` resolves with one of these. */
49
+ export type PublishOutcome = 'published' | 'superseded' | 'failed' | 'withdrawn' | 'expired';
50
+ /** Subset of `ProverPublisherFactory` the service uses — single async `create()` call. */
51
+ export type PublisherFactoryLike = Pick<ProverPublisherFactory, 'create'>;
52
+ /** Subset of `ProverNodePublisher` the service drives — one publish per fresh publisher. */
53
+ export type PublisherLike = Pick<ProverNodePublisher, 'submitEpochProof' | 'analyzeEpochProofSubmission'>;
54
+ /** Config for the publishing service. */
55
+ export type ProofPublishingServiceConfig = {
56
+ /** When true, submitting a candidate runs `analyzeEpochProofSubmission` instead of publishing. */
57
+ skipSubmitProof: boolean;
58
+ };
59
+ export type ProofPublishingServiceDeps = {
60
+ publisherFactory: PublisherFactoryLike;
61
+ l2BlockSource: Pick<L2BlockSource, 'getBlockNumber'>;
62
+ dateProvider: DateProvider;
63
+ config: ProofPublishingServiceConfig;
64
+ bindings?: LoggerBindings;
65
+ };
66
+ /**
67
+ * Central owner of L1 proof submission. Sessions offer their proofs here as
68
+ * `PublishCandidate`s; the service serialises one publish at a time, picks the
69
+ * longest candidate per epoch as the winner, and resolves the rest as
70
+ * `'superseded'` without spending L1 gas.
71
+ *
72
+ * Construction-time invariants:
73
+ * - Every publish runs against a freshly-created `ProverNodePublisher` from the factory.
74
+ * - Only one publish is ever in flight (`SerialQueue` drain) — no defensive locks.
75
+ * - Once an L1 publish starts, it runs to completion. `withdraw` is a queue-only
76
+ * operation: it removes a candidate that has not yet started publishing. An in-flight
77
+ * candidate is left alone and its outcome (`'published'` / `'failed'`) is reported as
78
+ * usual — the originating session has already moved to a terminal state via `cancel()`
79
+ * and ignores the late outcome.
80
+ *
81
+ * Eligibility for publication is decided against the proven block number read inside
82
+ * the drain (so the value is consistent with the publish that runs on the same drain
83
+ * pass): a candidate is eligible when its predecessor block is proven and (for partial
84
+ * candidates) the candidate's range extends past the proven tip. `onChainProven` is a
85
+ * wake-up signal; it does not pass state into the drain.
86
+ */
87
+ export declare class ProofPublishingService {
88
+ private readonly deps;
89
+ private readonly log;
90
+ private readonly epochs;
91
+ /**
92
+ * One drain task at a time. Submits, withdrawals, chain-proven advances, and prunes
93
+ * all schedule a `drain` here, so the eligibility re-check and the L1 publish never
94
+ * interleave.
95
+ *
96
+ * Protected so unit tests can `await drainQueue.syncPoint()` to wait for pending
97
+ * drain work to settle deterministically (no sleeps).
98
+ */
99
+ protected readonly drainQueue: SerialQueue;
100
+ /** Tracks the candidate currently being published. Set while drain is awaiting the L1 publish. */
101
+ private inFlight;
102
+ private stopped;
103
+ constructor(deps: ProofPublishingServiceDeps);
104
+ /**
105
+ * Offers a proof candidate to the service. The returned promise resolves once the
106
+ * service settles the candidate's fate: `'published'` if it wins and L1 accepts it,
107
+ * `'superseded'` if a longer candidate for the same epoch wins, `'failed'` if the
108
+ * L1 submission errored, `'withdrawn'` if the originating session cancelled,
109
+ * `'expired'` if the candidate's `deadline` elapsed before publishing started.
110
+ */
111
+ submit(candidate: PublishCandidate): Promise<PublishOutcome>;
112
+ /**
113
+ * Pulls a queued candidate from the bucket and resolves its promise as `'withdrawn'`.
114
+ * If the candidate is already being published, the publish runs to completion and the
115
+ * outcome reports whatever L1 returned — callers that cancelled mid-publish must rely
116
+ * on their own terminal-state check to ignore the late outcome. No-op if the candidate
117
+ * is unknown.
118
+ */
119
+ withdraw(candidateId: string): void;
120
+ /**
121
+ * Signals that the L1 proven tip has advanced and the queue should be re-evaluated.
122
+ * The drain reads the proven block number from `l2BlockSource` itself rather than
123
+ * relying on the value passed here — that way the eligibility check uses a value read
124
+ * inside the serial drain, not one captured by a concurrent caller of `onChainProven`.
125
+ */
126
+ onChainProven(_provenBlock: BlockNumber): void;
127
+ /**
128
+ * Stops accepting new submissions, waits for any in-flight publish to settle, and
129
+ * resolves remaining queued candidates as `'withdrawn'`.
130
+ */
131
+ stop(): Promise<void>;
132
+ private scheduleDrain;
133
+ private drain;
134
+ /**
135
+ * Picks the winning candidate for a given epoch. Partial candidates whose `endBlock` is
136
+ * already proven on-chain resolve `'superseded'`.
137
+ * Full candidates are never auto-superseded by the proven tip — multiple prover-nodes
138
+ * legitimately submit redundant full epoch proofs (one per prover-id) and L1 records each.
139
+ * Among the remaining candidates with their predecessor proven, the one with the highest
140
+ * `endBlock` wins; the others resolve `'superseded'`.
141
+ */
142
+ private pickEpochWinner;
143
+ private publishWinner;
144
+ private runPublish;
145
+ private resolveCandidate;
146
+ /**
147
+ * Arms a per-candidate expiry timer if the candidate carries a deadline. When the timer
148
+ * fires, the candidate resolves as `'expired'` — unless it is already in flight, in
149
+ * which case the publish runs to completion (the timer becomes a no-op). The timer is
150
+ * cleared by `resolveCandidate` whenever the candidate settles for any other reason.
151
+ */
152
+ private scheduleExpiry;
153
+ /**
154
+ * Protected so unit tests can drive the deadline path without waiting on the real
155
+ * `setTimeout` to fire. Production code calls this only via the per-candidate timer
156
+ * armed in `scheduleExpiry`.
157
+ */
158
+ protected handleExpiry(candidateId: string): void;
159
+ private readProvenBlockNumber;
160
+ }
161
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvb2YtcHVibGlzaGluZy1zZXJ2aWNlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvb2YtcHVibGlzaGluZy1zZXJ2aWNlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQ25ELE9BQU8sS0FBSyxFQUFFLHdCQUF3QixFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDMUUsT0FBTyxFQUFFLFdBQVcsRUFBRSxLQUFLLGdCQUFnQixFQUFFLEtBQUssV0FBVyxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDdkcsT0FBTyxFQUFlLEtBQUssY0FBYyxFQUFnQixNQUFNLHVCQUF1QixDQUFDO0FBRXZGLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUN0RCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUM1RCxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxLQUFLLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUNsRCxPQUFPLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxzQkFBc0IsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBRXJGLE9BQU8sS0FBSyxFQUFFLG1CQUFtQixFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFDdEUsT0FBTyxLQUFLLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUU1RSx1RkFBdUY7QUFDdkYsTUFBTSxNQUFNLGdCQUFnQixHQUFHO0lBQzdCLHNGQUFzRjtJQUN0RixFQUFFLEVBQUUsTUFBTSxDQUFDO0lBQ1gsS0FBSyxFQUFFLFdBQVcsQ0FBQztJQUNuQjs7Ozs7OztPQU9HO0lBQ0gsSUFBSSxFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFDekIsK0NBQStDO0lBQy9DLFVBQVUsRUFBRSxXQUFXLENBQUM7SUFDeEIsOENBQThDO0lBQzlDLFFBQVEsRUFBRSxXQUFXLENBQUM7SUFDdEI7Ozs7OztPQU1HO0lBQ0gsUUFBUSxFQUFFLElBQUksR0FBRyxTQUFTLENBQUM7SUFDM0IsK0RBQStEO0lBQy9ELGNBQWMsRUFBRSxnQkFBZ0IsQ0FBQztJQUNqQyxZQUFZLEVBQUUsZ0JBQWdCLENBQUM7SUFDL0IsWUFBWSxFQUFFLHNCQUFzQixDQUFDO0lBQ3JDLEtBQUssRUFBRSxLQUFLLENBQUM7SUFDYixpQkFBaUIsRUFBRSxXQUFXLENBQUM7SUFDL0IsWUFBWSxFQUFFLHdCQUF3QixFQUFFLENBQUM7SUFDekMsMEdBQTBHO0lBQzFHLE9BQU8sRUFBRSxnQkFBZ0IsRUFBRSxDQUFDO0NBQzdCLENBQUM7QUFFRixnR0FBZ0c7QUFDaEcsTUFBTSxNQUFNLGNBQWMsR0FBRyxXQUFXLEdBQUcsWUFBWSxHQUFHLFFBQVEsR0FBRyxXQUFXLEdBQUcsU0FBUyxDQUFDO0FBRTdGLDRGQUEwRjtBQUMxRixNQUFNLE1BQU0sb0JBQW9CLEdBQUcsSUFBSSxDQUFDLHNCQUFzQixFQUFFLFFBQVEsQ0FBQyxDQUFDO0FBRTFFLDhGQUE0RjtBQUM1RixNQUFNLE1BQU0sYUFBYSxHQUFHLElBQUksQ0FBQyxtQkFBbUIsRUFBRSxrQkFBa0IsR0FBRyw2QkFBNkIsQ0FBQyxDQUFDO0FBRTFHLHlDQUF5QztBQUN6QyxNQUFNLE1BQU0sNEJBQTRCLEdBQUc7SUFDekMsa0dBQWtHO0lBQ2xHLGVBQWUsRUFBRSxPQUFPLENBQUM7Q0FDMUIsQ0FBQztBQUVGLE1BQU0sTUFBTSwwQkFBMEIsR0FBRztJQUN2QyxnQkFBZ0IsRUFBRSxvQkFBb0IsQ0FBQztJQUN2QyxhQUFhLEVBQUUsSUFBSSxDQUFDLGFBQWEsRUFBRSxnQkFBZ0IsQ0FBQyxDQUFDO0lBQ3JELFlBQVksRUFBRSxZQUFZLENBQUM7SUFDM0IsTUFBTSxFQUFFLDRCQUE0QixDQUFDO0lBQ3JDLFFBQVEsQ0FBQyxFQUFFLGNBQWMsQ0FBQztDQUMzQixDQUFDO0FBZ0JGOzs7Ozs7Ozs7Ozs7Ozs7Ozs7OztHQW9CRztBQUNILHFCQUFhLHNCQUFzQjtJQWdCckIsT0FBTyxDQUFDLFFBQVEsQ0FBQyxJQUFJO0lBZmpDLE9BQU8sQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFTO0lBQzdCLE9BQU8sQ0FBQyxRQUFRLENBQUMsTUFBTSxDQUE0QztJQUNuRTs7Ozs7OztPQU9HO0lBQ0gsU0FBUyxDQUFDLFFBQVEsQ0FBQyxVQUFVLGNBQXFCO0lBQ2xELGtHQUFrRztJQUNsRyxPQUFPLENBQUMsUUFBUSxDQUE2QjtJQUM3QyxPQUFPLENBQUMsT0FBTyxDQUFTO0lBRXhCLFlBQTZCLElBQUksRUFBRSwwQkFBMEIsRUFHNUQ7SUFFRDs7Ozs7O09BTUc7SUFDSSxNQUFNLENBQUMsU0FBUyxFQUFFLGdCQUFnQixHQUFHLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0FzQmxFO0lBRUQ7Ozs7OztPQU1HO0lBQ0ksUUFBUSxDQUFDLFdBQVcsRUFBRSxNQUFNLEdBQUcsSUFBSSxDQWV6QztJQUVEOzs7OztPQUtHO0lBQ0ksYUFBYSxDQUFDLFlBQVksRUFBRSxXQUFXLEdBQUcsSUFBSSxDQUVwRDtJQUVEOzs7T0FHRztJQUNVLElBQUksSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBV2pDO0lBSUQsT0FBTyxDQUFDLGFBQWE7WUFXUCxLQUFLO0lBNEJuQjs7Ozs7OztPQU9HO0lBQ0gsT0FBTyxDQUFDLGVBQWU7WUE2QlQsYUFBYTtZQXNDYixVQUFVO0lBMEN4QixPQUFPLENBQUMsZ0JBQWdCO0lBZXhCOzs7OztPQUtHO0lBQ0gsT0FBTyxDQUFDLGNBQWM7SUFTdEI7Ozs7T0FJRztJQUNILFNBQVMsQ0FBQyxZQUFZLENBQUMsV0FBVyxFQUFFLE1BQU0sR0FBRyxJQUFJLENBZWhEO1lBRWEscUJBQXFCO0NBSXBDIn0=
@@ -0,0 +1 @@
1
+ {"version":3,"file":"proof-publishing-service.d.ts","sourceRoot":"","sources":["../src/proof-publishing-service.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAC1E,OAAO,EAAE,WAAW,EAAE,KAAK,gBAAgB,EAAE,KAAK,WAAW,EAAE,MAAM,iCAAiC,CAAC;AACvG,OAAO,EAAe,KAAK,cAAc,EAAgB,MAAM,uBAAuB,CAAC;AAEvF,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACtD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAErF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAE5E,uFAAuF;AACvF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,sFAAsF;IACtF,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,WAAW,CAAC;IACnB;;;;;;;OAOG;IACH,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB,+CAA+C;IAC/C,UAAU,EAAE,WAAW,CAAC;IACxB,8CAA8C;IAC9C,QAAQ,EAAE,WAAW,CAAC;IACtB;;;;;;OAMG;IACH,QAAQ,EAAE,IAAI,GAAG,SAAS,CAAC;IAC3B,+DAA+D;IAC/D,cAAc,EAAE,gBAAgB,CAAC;IACjC,YAAY,EAAE,gBAAgB,CAAC;IAC/B,YAAY,EAAE,sBAAsB,CAAC;IACrC,KAAK,EAAE,KAAK,CAAC;IACb,iBAAiB,EAAE,WAAW,CAAC;IAC/B,YAAY,EAAE,wBAAwB,EAAE,CAAC;IACzC,0GAA0G;IAC1G,OAAO,EAAE,gBAAgB,EAAE,CAAC;CAC7B,CAAC;AAEF,gGAAgG;AAChG,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG,YAAY,GAAG,QAAQ,GAAG,WAAW,GAAG,SAAS,CAAC;AAE7F,4FAA0F;AAC1F,MAAM,MAAM,oBAAoB,GAAG,IAAI,CAAC,sBAAsB,EAAE,QAAQ,CAAC,CAAC;AAE1E,8FAA4F;AAC5F,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,mBAAmB,EAAE,kBAAkB,GAAG,6BAA6B,CAAC,CAAC;AAE1G,yCAAyC;AACzC,MAAM,MAAM,4BAA4B,GAAG;IACzC,kGAAkG;IAClG,eAAe,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,0BAA0B,GAAG;IACvC,gBAAgB,EAAE,oBAAoB,CAAC;IACvC,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAAC;IACrD,YAAY,EAAE,YAAY,CAAC;IAC3B,MAAM,EAAE,4BAA4B,CAAC;IACrC,QAAQ,CAAC,EAAE,cAAc,CAAC;CAC3B,CAAC;AAgBF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,qBAAa,sBAAsB;IAgBrB,OAAO,CAAC,QAAQ,CAAC,IAAI;IAfjC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAS;IAC7B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA4C;IACnE;;;;;;;OAOG;IACH,SAAS,CAAC,QAAQ,CAAC,UAAU,cAAqB;IAClD,kGAAkG;IAClG,OAAO,CAAC,QAAQ,CAA6B;IAC7C,OAAO,CAAC,OAAO,CAAS;IAExB,YAA6B,IAAI,EAAE,0BAA0B,EAG5D;IAED;;;;;;OAMG;IACI,MAAM,CAAC,SAAS,EAAE,gBAAgB,GAAG,OAAO,CAAC,cAAc,CAAC,CAsBlE;IAED;;;;;;OAMG;IACI,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAezC;IAED;;;;;OAKG;IACI,aAAa,CAAC,YAAY,EAAE,WAAW,GAAG,IAAI,CAEpD;IAED;;;OAGG;IACU,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAWjC;IAID,OAAO,CAAC,aAAa;YAWP,KAAK;IA4BnB;;;;;;;OAOG;IACH,OAAO,CAAC,eAAe;YA6BT,aAAa;YAsCb,UAAU;IA0CxB,OAAO,CAAC,gBAAgB;IAexB;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IAStB;;;;OAIG;IACH,SAAS,CAAC,YAAY,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAehD;YAEa,qBAAqB;CAIpC"}
@@ -0,0 +1,335 @@
1
+ import { BlockNumber } from '@aztec/foundation/branded-types';
2
+ import { createLogger } from '@aztec/foundation/log';
3
+ import { promiseWithResolvers } from '@aztec/foundation/promise';
4
+ import { SerialQueue } from '@aztec/foundation/queue';
5
+ /**
6
+ * Backoff after a transient `publisherFactory.create()` failure. The candidate stays
7
+ * in the queue and the drain is re-scheduled after this delay; if the failure persists
8
+ * the candidate's own `deadline` timer caps the total wait.
9
+ */ const PUBLISHER_ACQUIRE_RETRY_DELAY_MS = 1_000;
10
+ /**
11
+ * Central owner of L1 proof submission. Sessions offer their proofs here as
12
+ * `PublishCandidate`s; the service serialises one publish at a time, picks the
13
+ * longest candidate per epoch as the winner, and resolves the rest as
14
+ * `'superseded'` without spending L1 gas.
15
+ *
16
+ * Construction-time invariants:
17
+ * - Every publish runs against a freshly-created `ProverNodePublisher` from the factory.
18
+ * - Only one publish is ever in flight (`SerialQueue` drain) — no defensive locks.
19
+ * - Once an L1 publish starts, it runs to completion. `withdraw` is a queue-only
20
+ * operation: it removes a candidate that has not yet started publishing. An in-flight
21
+ * candidate is left alone and its outcome (`'published'` / `'failed'`) is reported as
22
+ * usual — the originating session has already moved to a terminal state via `cancel()`
23
+ * and ignores the late outcome.
24
+ *
25
+ * Eligibility for publication is decided against the proven block number read inside
26
+ * the drain (so the value is consistent with the publish that runs on the same drain
27
+ * pass): a candidate is eligible when its predecessor block is proven and (for partial
28
+ * candidates) the candidate's range extends past the proven tip. `onChainProven` is a
29
+ * wake-up signal; it does not pass state into the drain.
30
+ */ export class ProofPublishingService {
31
+ deps;
32
+ log;
33
+ epochs;
34
+ /**
35
+ * One drain task at a time. Submits, withdrawals, chain-proven advances, and prunes
36
+ * all schedule a `drain` here, so the eligibility re-check and the L1 publish never
37
+ * interleave.
38
+ *
39
+ * Protected so unit tests can `await drainQueue.syncPoint()` to wait for pending
40
+ * drain work to settle deterministically (no sleeps).
41
+ */ drainQueue;
42
+ /** Tracks the candidate currently being published. Set while drain is awaiting the L1 publish. */ inFlight;
43
+ stopped;
44
+ constructor(deps){
45
+ this.deps = deps;
46
+ this.epochs = new Map();
47
+ this.drainQueue = new SerialQueue();
48
+ this.stopped = false;
49
+ this.log = createLogger('prover-node:proof-publishing-service', deps.bindings);
50
+ this.drainQueue.start();
51
+ }
52
+ /**
53
+ * Offers a proof candidate to the service. The returned promise resolves once the
54
+ * service settles the candidate's fate: `'published'` if it wins and L1 accepts it,
55
+ * `'superseded'` if a longer candidate for the same epoch wins, `'failed'` if the
56
+ * L1 submission errored, `'withdrawn'` if the originating session cancelled,
57
+ * `'expired'` if the candidate's `deadline` elapsed before publishing started.
58
+ */ submit(candidate) {
59
+ if (this.stopped) {
60
+ return Promise.resolve('withdrawn');
61
+ }
62
+ const { promise, resolve } = promiseWithResolvers();
63
+ let bucket = this.epochs.get(candidate.epoch);
64
+ if (!bucket) {
65
+ bucket = {
66
+ candidates: new Map(),
67
+ resolvers: new Map(),
68
+ expiryTimers: new Map()
69
+ };
70
+ this.epochs.set(candidate.epoch, bucket);
71
+ }
72
+ bucket.candidates.set(candidate.id, candidate);
73
+ bucket.resolvers.set(candidate.id, resolve);
74
+ this.scheduleExpiry(bucket, candidate);
75
+ this.log.info(`Candidate proof ${candidate.id} submitted for publishing`, {
76
+ candidateId: candidate.id,
77
+ epoch: candidate.epoch,
78
+ startBlock: candidate.startBlock,
79
+ endBlock: candidate.endBlock,
80
+ deadline: candidate.deadline?.toISOString()
81
+ });
82
+ this.scheduleDrain();
83
+ return promise;
84
+ }
85
+ /**
86
+ * Pulls a queued candidate from the bucket and resolves its promise as `'withdrawn'`.
87
+ * If the candidate is already being published, the publish runs to completion and the
88
+ * outcome reports whatever L1 returned — callers that cancelled mid-publish must rely
89
+ * on their own terminal-state check to ignore the late outcome. No-op if the candidate
90
+ * is unknown.
91
+ */ withdraw(candidateId) {
92
+ if (this.inFlight?.id === candidateId) {
93
+ this.log.debug(`Withdraw for in-flight candidate ${candidateId} ignored; publish will run to completion`, {
94
+ candidateId
95
+ });
96
+ return;
97
+ }
98
+ for (const bucket of this.epochs.values()){
99
+ if (bucket.candidates.has(candidateId)) {
100
+ this.log.info(`Candidate ${candidateId} withdrawn`, {
101
+ candidateId
102
+ });
103
+ this.resolveCandidate(bucket, candidateId, 'withdrawn');
104
+ this.scheduleDrain();
105
+ return;
106
+ }
107
+ }
108
+ }
109
+ /**
110
+ * Signals that the L1 proven tip has advanced and the queue should be re-evaluated.
111
+ * The drain reads the proven block number from `l2BlockSource` itself rather than
112
+ * relying on the value passed here — that way the eligibility check uses a value read
113
+ * inside the serial drain, not one captured by a concurrent caller of `onChainProven`.
114
+ */ onChainProven(_provenBlock) {
115
+ this.scheduleDrain();
116
+ }
117
+ /**
118
+ * Stops accepting new submissions, waits for any in-flight publish to settle, and
119
+ * resolves remaining queued candidates as `'withdrawn'`.
120
+ */ async stop() {
121
+ this.stopped = true;
122
+ await this.drainQueue.end();
123
+ // Anything still parked in a bucket never ran through drain — resolve it as withdrawn so
124
+ // callers awaiting `submit()` aren't left hanging.
125
+ for (const bucket of Array.from(this.epochs.values())){
126
+ for (const id of Array.from(bucket.candidates.keys())){
127
+ this.resolveCandidate(bucket, id, 'withdrawn');
128
+ }
129
+ }
130
+ this.epochs.clear();
131
+ }
132
+ // ---------------- drain ----------------
133
+ scheduleDrain() {
134
+ if (this.stopped) {
135
+ return;
136
+ }
137
+ void this.drainQueue.put(()=>this.drain()).catch((err)=>{
138
+ this.log.error(`Drain task threw`, err);
139
+ });
140
+ }
141
+ async drain() {
142
+ if (this.stopped) {
143
+ return;
144
+ }
145
+ // Read the proven block number afresh inside the serial drain so the eligibility
146
+ // check is consistent with the publish that follows it on the same drain pass.
147
+ const proven = await this.readProvenBlockNumber();
148
+ // Process epochs in ascending order: the proven tip advances monotonically, so the lower
149
+ // epoch is the natural next eligible candidate.
150
+ const orderedEpochs = Array.from(this.epochs.keys()).sort((a, b)=>Number(a) - Number(b));
151
+ for (const epoch of orderedEpochs){
152
+ const bucket = this.epochs.get(epoch);
153
+ const eligible = this.pickEpochWinner(bucket, proven);
154
+ if (!eligible) {
155
+ continue;
156
+ }
157
+ await this.publishWinner(epoch, eligible.winner, bucket);
158
+ }
159
+ // Drop empty buckets
160
+ for (const [key, bucket] of Array.from(this.epochs.entries())){
161
+ if (bucket.candidates.size === 0) {
162
+ this.epochs.delete(key);
163
+ }
164
+ }
165
+ }
166
+ /**
167
+ * Picks the winning candidate for a given epoch. Partial candidates whose `endBlock` is
168
+ * already proven on-chain resolve `'superseded'`.
169
+ * Full candidates are never auto-superseded by the proven tip — multiple prover-nodes
170
+ * legitimately submit redundant full epoch proofs (one per prover-id) and L1 records each.
171
+ * Among the remaining candidates with their predecessor proven, the one with the highest
172
+ * `endBlock` wins; the others resolve `'superseded'`.
173
+ */ pickEpochWinner(bucket, proven) {
174
+ const now = this.deps.dateProvider.now();
175
+ // Resolve any candidate whose deadline has already passed.
176
+ for (const candidate of Array.from(bucket.candidates.values())){
177
+ if (candidate.deadline && candidate.deadline.getTime() <= now) {
178
+ this.resolveCandidate(bucket, candidate.id, 'expired');
179
+ }
180
+ }
181
+ // Drop partial candidates the proven chain has already caught up to.
182
+ for (const candidate of Array.from(bucket.candidates.values())){
183
+ if (candidate.kind === 'partial' && candidate.endBlock <= proven) {
184
+ this.resolveCandidate(bucket, candidate.id, 'superseded');
185
+ }
186
+ }
187
+ const remaining = Array.from(bucket.candidates.values()).filter((c)=>c.startBlock - 1 <= proven);
188
+ if (remaining.length === 0) {
189
+ return undefined;
190
+ }
191
+ const winner = remaining.reduce((best, c)=>c.endBlock > best.endBlock ? c : best);
192
+ // Every other same-epoch candidate is superseded by the winner.
193
+ for (const candidate of remaining){
194
+ if (candidate.id !== winner.id) {
195
+ this.resolveCandidate(bucket, candidate.id, 'superseded');
196
+ }
197
+ }
198
+ return {
199
+ winner
200
+ };
201
+ }
202
+ async publishWinner(epoch, winner, bucket) {
203
+ let publisher;
204
+ try {
205
+ publisher = await this.deps.publisherFactory.create();
206
+ } catch (err) {
207
+ // Treat this as transient: the publisher pool may be temporarily exhausted
208
+ // (every signer busy, funding tx in flight, etc.). Leave the candidate queued and
209
+ // schedule another drain after a short backoff. If the failure persists past the
210
+ // candidate's deadline the expiry timer will resolve it as `'expired'`.
211
+ this.log.warn(`Failed to acquire publisher for candidate ${winner.id}; retrying`, {
212
+ candidateId: winner.id,
213
+ epoch: winner.epoch,
214
+ retryDelayMs: PUBLISHER_ACQUIRE_RETRY_DELAY_MS,
215
+ err
216
+ });
217
+ setTimeout(()=>this.scheduleDrain(), PUBLISHER_ACQUIRE_RETRY_DELAY_MS);
218
+ return;
219
+ }
220
+ this.inFlight = {
221
+ id: winner.id
222
+ };
223
+ this.log.info(`Publishing candidate ${winner.id}`, {
224
+ candidateId: winner.id,
225
+ epoch: winner.epoch,
226
+ startBlock: winner.startBlock,
227
+ endBlock: winner.endBlock,
228
+ fromCheckpoint: winner.fromCheckpoint,
229
+ toCheckpoint: winner.toCheckpoint
230
+ });
231
+ const outcome = await this.runPublish(winner, publisher);
232
+ this.inFlight = undefined;
233
+ this.resolveCandidate(bucket, winner.id, outcome);
234
+ if (bucket.candidates.size === 0) {
235
+ this.epochs.delete(epoch);
236
+ }
237
+ }
238
+ async runPublish(candidate, publisher) {
239
+ const submitArgs = {
240
+ epochNumber: candidate.epoch,
241
+ fromCheckpoint: candidate.fromCheckpoint,
242
+ toCheckpoint: candidate.toCheckpoint,
243
+ publicInputs: candidate.publicInputs,
244
+ proof: candidate.proof,
245
+ batchedBlobInputs: candidate.batchedBlobInputs,
246
+ attestations: candidate.attestations,
247
+ headers: candidate.headers,
248
+ // Stop the L1 tx retrying past the candidate's submission-window deadline.
249
+ deadline: candidate.deadline
250
+ };
251
+ if (this.deps.config.skipSubmitProof) {
252
+ try {
253
+ await publisher.analyzeEpochProofSubmission(submitArgs);
254
+ return 'published';
255
+ } catch (err) {
256
+ this.log.warn(`Failed to analyze estimated L1 fees for candidate ${candidate.id}`, {
257
+ err,
258
+ candidateId: candidate.id,
259
+ epoch: candidate.epoch
260
+ });
261
+ // Analyze-mode failures are recorded but the session shouldn't enter `failed` —
262
+ // the operator opted out of submission. Match the previous EpochSession behaviour.
263
+ return 'published';
264
+ }
265
+ }
266
+ try {
267
+ const success = await publisher.submitEpochProof(submitArgs);
268
+ return success ? 'published' : 'failed';
269
+ } catch (err) {
270
+ this.log.error(`Error publishing candidate ${candidate.id}`, err, {
271
+ candidateId: candidate.id,
272
+ epoch: candidate.epoch
273
+ });
274
+ return 'failed';
275
+ }
276
+ }
277
+ resolveCandidate(bucket, id, outcome) {
278
+ const resolve = bucket.resolvers.get(id);
279
+ const timer = bucket.expiryTimers.get(id);
280
+ if (timer) {
281
+ clearTimeout(timer);
282
+ bucket.expiryTimers.delete(id);
283
+ }
284
+ bucket.candidates.delete(id);
285
+ bucket.resolvers.delete(id);
286
+ if (resolve) {
287
+ this.log.info(`Candidate ${id} resolved as ${outcome}`, {
288
+ candidateId: id,
289
+ outcome
290
+ });
291
+ resolve(outcome);
292
+ }
293
+ }
294
+ /**
295
+ * Arms a per-candidate expiry timer if the candidate carries a deadline. When the timer
296
+ * fires, the candidate resolves as `'expired'` — unless it is already in flight, in
297
+ * which case the publish runs to completion (the timer becomes a no-op). The timer is
298
+ * cleared by `resolveCandidate` whenever the candidate settles for any other reason.
299
+ */ scheduleExpiry(bucket, candidate) {
300
+ if (!candidate.deadline) {
301
+ return;
302
+ }
303
+ const delay = Math.max(candidate.deadline.getTime() - this.deps.dateProvider.now(), 0);
304
+ const timer = setTimeout(()=>this.handleExpiry(candidate.id), delay);
305
+ bucket.expiryTimers.set(candidate.id, timer);
306
+ }
307
+ /**
308
+ * Protected so unit tests can drive the deadline path without waiting on the real
309
+ * `setTimeout` to fire. Production code calls this only via the per-candidate timer
310
+ * armed in `scheduleExpiry`.
311
+ */ handleExpiry(candidateId) {
312
+ if (this.inFlight?.id === candidateId) {
313
+ this.log.debug(`Expiry for in-flight candidate ${candidateId} ignored; publish will run to completion`, {
314
+ candidateId
315
+ });
316
+ return;
317
+ }
318
+ for (const bucket of this.epochs.values()){
319
+ if (bucket.candidates.has(candidateId)) {
320
+ this.log.info(`Candidate ${candidateId} expired before publishing`, {
321
+ candidateId
322
+ });
323
+ this.resolveCandidate(bucket, candidateId, 'expired');
324
+ this.scheduleDrain();
325
+ return;
326
+ }
327
+ }
328
+ }
329
+ async readProvenBlockNumber() {
330
+ const proven = await this.deps.l2BlockSource.getBlockNumber({
331
+ tag: 'proven'
332
+ });
333
+ return BlockNumber(proven ?? 0);
334
+ }
335
+ }
@@ -1,15 +1,13 @@
1
1
  import { BatchedBlob } from '@aztec/blob-lib';
2
- import { MAX_CHECKPOINTS_PER_EPOCH } from '@aztec/constants';
3
2
  import type { RollupContract, ViemCommitteeAttestation } from '@aztec/ethereum/contracts';
4
3
  import type { L1TxUtils } from '@aztec/ethereum/l1-tx-utils';
5
4
  import { CheckpointNumber, EpochNumber } from '@aztec/foundation/branded-types';
6
5
  import { Fr } from '@aztec/foundation/curves/bn254';
7
6
  import { EthAddress } from '@aztec/foundation/eth-address';
8
7
  import { type Logger, type LoggerBindings } from '@aztec/foundation/log';
9
- import type { Tuple } from '@aztec/foundation/serialize';
10
8
  import type { PublisherConfig, TxSenderConfig } from '@aztec/sequencer-client';
11
9
  import type { Proof } from '@aztec/stdlib/proofs';
12
- import type { FeeRecipient, RootRollupPublicInputs } from '@aztec/stdlib/rollup';
10
+ import type { CheckpointHeader, RootRollupPublicInputs } from '@aztec/stdlib/rollup';
13
11
  import { type TelemetryClient } from '@aztec/telemetry-client';
14
12
  /** Arguments to the submitEpochProof method of the rollup contract */
15
13
  export type L1SubmitEpochProofArgs = {
@@ -19,11 +17,10 @@ export type L1SubmitEpochProofArgs = {
19
17
  endTimestamp: Fr;
20
18
  outHash: Fr;
21
19
  proverId: Fr;
22
- fees: Tuple<FeeRecipient, typeof MAX_CHECKPOINTS_PER_EPOCH>;
20
+ headers: CheckpointHeader[];
23
21
  proof: Proof;
24
22
  };
25
23
  export declare class ProverNodePublisher {
26
- private interrupted;
27
24
  private metrics;
28
25
  protected log: Logger;
29
26
  protected rollupContract: RollupContract;
@@ -34,15 +31,6 @@ export declare class ProverNodePublisher {
34
31
  telemetry?: TelemetryClient;
35
32
  }, bindings?: LoggerBindings);
36
33
  getRollupContract(): RollupContract;
37
- /**
38
- * Calling `interrupt` will cause any in progress call to `publishRollup` to return `false` asap.
39
- * Be warned, the call may return false even if the tx subsequently gets successfully mined.
40
- * In practice this shouldn't matter, as we'll only ever be calling `interrupt` when we know it's going to fail.
41
- * A call to `restart` is required before you can continue publishing.
42
- */
43
- interrupt(): void;
44
- /** Restarts the publisher after calling `interrupt`. */
45
- restart(): void;
46
34
  getSenderAddress(): EthAddress;
47
35
  submitEpochProof(args: {
48
36
  epochNumber: EpochNumber;
@@ -52,10 +40,29 @@ export declare class ProverNodePublisher {
52
40
  proof: Proof;
53
41
  batchedBlobInputs: BatchedBlob;
54
42
  attestations: ViemCommitteeAttestation[];
43
+ headers: CheckpointHeader[];
44
+ /** Wall-clock deadline (proof-submission window end) past which the L1 tx should stop retrying. */
45
+ deadline?: Date;
55
46
  }): Promise<boolean>;
56
47
  private validateEpochProofSubmission;
48
+ /**
49
+ * Estimates what submitting the epoch proof would have cost on L1 without actually sending it.
50
+ * Runs the same validation as `submitEpochProof`, encodes the calldata, estimates gas, and records metrics.
51
+ * Used when proof publishing is disabled (e.g. PROVER_NODE_DISABLE_PROOF_PUBLISH=true on mainnet).
52
+ */
53
+ analyzeEpochProofSubmission(args: {
54
+ epochNumber: EpochNumber;
55
+ fromCheckpoint: CheckpointNumber;
56
+ toCheckpoint: CheckpointNumber;
57
+ publicInputs: RootRollupPublicInputs;
58
+ proof: Proof;
59
+ batchedBlobInputs: BatchedBlob;
60
+ attestations: ViemCommitteeAttestation[];
61
+ headers: CheckpointHeader[];
62
+ }): Promise<void>;
63
+ private encodeSubmitEpochProofCalldata;
57
64
  private sendSubmitEpochProofTx;
58
65
  private getEpochProofPublicInputsArgs;
59
66
  private getSubmitEpochProofArgs;
60
67
  }
61
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVyLW5vZGUtcHVibGlzaGVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvdmVyLW5vZGUtcHVibGlzaGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQThCLE1BQU0saUJBQWlCLENBQUM7QUFDMUUsT0FBTyxFQUFFLHlCQUF5QixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDN0QsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLHdCQUF3QixFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDMUYsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFFN0QsT0FBTyxFQUFFLGdCQUFnQixFQUFFLFdBQVcsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRWhGLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDM0QsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFFLEtBQUssY0FBYyxFQUFnQixNQUFNLHVCQUF1QixDQUFDO0FBQ3ZGLE9BQU8sS0FBSyxFQUFFLEtBQUssRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBR3pELE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxjQUFjLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUUvRSxPQUFPLEtBQUssRUFBRSxLQUFLLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUNsRCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUVqRixPQUFPLEVBQUUsS0FBSyxlQUFlLEVBQXNCLE1BQU0seUJBQXlCLENBQUM7QUFPbkYsc0VBQXNFO0FBQ3RFLE1BQU0sTUFBTSxzQkFBc0IsR0FBRztJQUNuQyxTQUFTLEVBQUUsTUFBTSxDQUFDO0lBQ2xCLGVBQWUsRUFBRSxFQUFFLENBQUM7SUFDcEIsVUFBVSxFQUFFLEVBQUUsQ0FBQztJQUNmLFlBQVksRUFBRSxFQUFFLENBQUM7SUFDakIsT0FBTyxFQUFFLEVBQUUsQ0FBQztJQUNaLFFBQVEsRUFBRSxFQUFFLENBQUM7SUFDYixJQUFJLEVBQUUsS0FBSyxDQUFDLFlBQVksRUFBRSxPQUFPLHlCQUF5QixDQUFDLENBQUM7SUFDNUQsS0FBSyxFQUFFLEtBQUssQ0FBQztDQUNkLENBQUM7QUFFRixxQkFBYSxtQkFBbUI7SUFDOUIsT0FBTyxDQUFDLFdBQVcsQ0FBUztJQUM1QixPQUFPLENBQUMsT0FBTyxDQUE2QjtJQUU1QyxTQUFTLENBQUMsR0FBRyxFQUFFLE1BQU0sQ0FBQztJQUV0QixTQUFTLENBQUMsY0FBYyxFQUFFLGNBQWMsQ0FBQztJQUV6QyxTQUFnQixTQUFTLEVBQUUsU0FBUyxDQUFDO0lBRXJDLFlBQ0UsTUFBTSxFQUFFLGNBQWMsR0FBRyxlQUFlLEVBQ3hDLElBQUksRUFBRTtRQUNKLGNBQWMsRUFBRSxjQUFjLENBQUM7UUFDL0IsU0FBUyxFQUFFLFNBQVMsQ0FBQztRQUNyQixTQUFTLENBQUMsRUFBRSxlQUFlLENBQUM7S0FDN0IsRUFDRCxRQUFRLENBQUMsRUFBRSxjQUFjLEVBUzFCO0lBRU0saUJBQWlCLG1CQUV2QjtJQUVEOzs7OztPQUtHO0lBQ0ksU0FBUyxTQUdmO0lBRUQsd0RBQXdEO0lBQ2pELE9BQU8sU0FHYjtJQUVNLGdCQUFnQixlQUV0QjtJQUVZLGdCQUFnQixDQUFDLElBQUksRUFBRTtRQUNsQyxXQUFXLEVBQUUsV0FBVyxDQUFDO1FBQ3pCLGNBQWMsRUFBRSxnQkFBZ0IsQ0FBQztRQUNqQyxZQUFZLEVBQUUsZ0JBQWdCLENBQUM7UUFDL0IsWUFBWSxFQUFFLHNCQUFzQixDQUFDO1FBQ3JDLEtBQUssRUFBRSxLQUFLLENBQUM7UUFDYixpQkFBaUIsRUFBRSxXQUFXLENBQUM7UUFDL0IsWUFBWSxFQUFFLHdCQUF3QixFQUFFLENBQUM7S0FDMUMsR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDLENBaURuQjtZQUVhLDRCQUE0QjtZQStENUIsc0JBQXNCO0lBNENwQyxPQUFPLENBQUMsNkJBQTZCO0lBMEJyQyxPQUFPLENBQUMsdUJBQXVCO0NBdUJoQyJ9
68
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVyLW5vZGUtcHVibGlzaGVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvdmVyLW5vZGUtcHVibGlzaGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQThCLE1BQU0saUJBQWlCLENBQUM7QUFFMUUsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLHdCQUF3QixFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDMUYsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDN0QsT0FBTyxFQUFFLGdCQUFnQixFQUFFLFdBQVcsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRWhGLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDM0QsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFFLEtBQUssY0FBYyxFQUFnQixNQUFNLHVCQUF1QixDQUFDO0FBR3ZGLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxjQUFjLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUUvRSxPQUFPLEtBQUssRUFBRSxLQUFLLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUNsRCxPQUFPLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxzQkFBc0IsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBRXJGLE9BQU8sRUFBRSxLQUFLLGVBQWUsRUFBc0IsTUFBTSx5QkFBeUIsQ0FBQztBQU9uRixzRUFBc0U7QUFDdEUsTUFBTSxNQUFNLHNCQUFzQixHQUFHO0lBQ25DLFNBQVMsRUFBRSxNQUFNLENBQUM7SUFDbEIsZUFBZSxFQUFFLEVBQUUsQ0FBQztJQUNwQixVQUFVLEVBQUUsRUFBRSxDQUFDO0lBQ2YsWUFBWSxFQUFFLEVBQUUsQ0FBQztJQUNqQixPQUFPLEVBQUUsRUFBRSxDQUFDO0lBQ1osUUFBUSxFQUFFLEVBQUUsQ0FBQztJQUNiLE9BQU8sRUFBRSxnQkFBZ0IsRUFBRSxDQUFDO0lBQzVCLEtBQUssRUFBRSxLQUFLLENBQUM7Q0FDZCxDQUFDO0FBRUYscUJBQWEsbUJBQW1CO0lBQzlCLE9BQU8sQ0FBQyxPQUFPLENBQTZCO0lBRTVDLFNBQVMsQ0FBQyxHQUFHLEVBQUUsTUFBTSxDQUFDO0lBRXRCLFNBQVMsQ0FBQyxjQUFjLEVBQUUsY0FBYyxDQUFDO0lBRXpDLFNBQWdCLFNBQVMsRUFBRSxTQUFTLENBQUM7SUFFckMsWUFDRSxNQUFNLEVBQUUsY0FBYyxHQUFHLGVBQWUsRUFDeEMsSUFBSSxFQUFFO1FBQ0osY0FBYyxFQUFFLGNBQWMsQ0FBQztRQUMvQixTQUFTLEVBQUUsU0FBUyxDQUFDO1FBQ3JCLFNBQVMsQ0FBQyxFQUFFLGVBQWUsQ0FBQztLQUM3QixFQUNELFFBQVEsQ0FBQyxFQUFFLGNBQWMsRUFTMUI7SUFFTSxpQkFBaUIsbUJBRXZCO0lBRU0sZ0JBQWdCLGVBRXRCO0lBRVksZ0JBQWdCLENBQUMsSUFBSSxFQUFFO1FBQ2xDLFdBQVcsRUFBRSxXQUFXLENBQUM7UUFDekIsY0FBYyxFQUFFLGdCQUFnQixDQUFDO1FBQ2pDLFlBQVksRUFBRSxnQkFBZ0IsQ0FBQztRQUMvQixZQUFZLEVBQUUsc0JBQXNCLENBQUM7UUFDckMsS0FBSyxFQUFFLEtBQUssQ0FBQztRQUNiLGlCQUFpQixFQUFFLFdBQVcsQ0FBQztRQUMvQixZQUFZLEVBQUUsd0JBQXdCLEVBQUUsQ0FBQztRQUN6QyxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsQ0FBQztRQUM1QixtR0FBbUc7UUFDbkcsUUFBUSxDQUFDLEVBQUUsSUFBSSxDQUFDO0tBQ2pCLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQTZDbkI7WUFFYSw0QkFBNEI7SUFvRTFDOzs7O09BSUc7SUFDVSwyQkFBMkIsQ0FBQyxJQUFJLEVBQUU7UUFDN0MsV0FBVyxFQUFFLFdBQVcsQ0FBQztRQUN6QixjQUFjLEVBQUUsZ0JBQWdCLENBQUM7UUFDakMsWUFBWSxFQUFFLGdCQUFnQixDQUFDO1FBQy9CLFlBQVksRUFBRSxzQkFBc0IsQ0FBQztRQUNyQyxLQUFLLEVBQUUsS0FBSyxDQUFDO1FBQ2IsaUJBQWlCLEVBQUUsV0FBVyxDQUFDO1FBQy9CLFlBQVksRUFBRSx3QkFBd0IsRUFBRSxDQUFDO1FBQ3pDLE9BQU8sRUFBRSxnQkFBZ0IsRUFBRSxDQUFDO0tBQzdCLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQXNDaEI7SUFFRCxPQUFPLENBQUMsOEJBQThCO1lBZ0J4QixzQkFBc0I7SUFpRHBDLE9BQU8sQ0FBQyw2QkFBNkI7SUF1QnJDLE9BQU8sQ0FBQyx1QkFBdUI7Q0F3QmhDIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"prover-node-publisher.d.ts","sourceRoot":"","sources":["../src/prover-node-publisher.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAA8B,MAAM,iBAAiB,CAAC;AAC1E,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,cAAc,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAC1F,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAE7D,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAEhF,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAAgB,MAAM,uBAAuB,CAAC;AACvF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,6BAA6B,CAAC;AAGzD,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE/E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,YAAY,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAEjF,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAOnF,sEAAsE;AACtE,MAAM,MAAM,sBAAsB,GAAG;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,EAAE,CAAC;IACpB,UAAU,EAAE,EAAE,CAAC;IACf,YAAY,EAAE,EAAE,CAAC;IACjB,OAAO,EAAE,EAAE,CAAC;IACZ,QAAQ,EAAE,EAAE,CAAC;IACb,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,yBAAyB,CAAC,CAAC;IAC5D,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,OAAO,CAA6B;IAE5C,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC;IAEtB,SAAS,CAAC,cAAc,EAAE,cAAc,CAAC;IAEzC,SAAgB,SAAS,EAAE,SAAS,CAAC;IAErC,YACE,MAAM,EAAE,cAAc,GAAG,eAAe,EACxC,IAAI,EAAE;QACJ,cAAc,EAAE,cAAc,CAAC;QAC/B,SAAS,EAAE,SAAS,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC7B,EACD,QAAQ,CAAC,EAAE,cAAc,EAS1B;IAEM,iBAAiB,mBAEvB;IAED;;;;;OAKG;IACI,SAAS,SAGf;IAED,wDAAwD;IACjD,OAAO,SAGb;IAEM,gBAAgB,eAEtB;IAEY,gBAAgB,CAAC,IAAI,EAAE;QAClC,WAAW,EAAE,WAAW,CAAC;QACzB,cAAc,EAAE,gBAAgB,CAAC;QACjC,YAAY,EAAE,gBAAgB,CAAC;QAC/B,YAAY,EAAE,sBAAsB,CAAC;QACrC,KAAK,EAAE,KAAK,CAAC;QACb,iBAAiB,EAAE,WAAW,CAAC;QAC/B,YAAY,EAAE,wBAAwB,EAAE,CAAC;KAC1C,GAAG,OAAO,CAAC,OAAO,CAAC,CAiDnB;YAEa,4BAA4B;YA+D5B,sBAAsB;IA4CpC,OAAO,CAAC,6BAA6B;IA0BrC,OAAO,CAAC,uBAAuB;CAuBhC"}
1
+ {"version":3,"file":"prover-node-publisher.d.ts","sourceRoot":"","sources":["../src/prover-node-publisher.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAA8B,MAAM,iBAAiB,CAAC;AAE1E,OAAO,KAAK,EAAE,cAAc,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAC1F,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAEhF,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAAgB,MAAM,uBAAuB,CAAC;AAGvF,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE/E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAErF,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAOnF,sEAAsE;AACtE,MAAM,MAAM,sBAAsB,GAAG;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,EAAE,CAAC;IACpB,UAAU,EAAE,EAAE,CAAC;IACf,YAAY,EAAE,EAAE,CAAC;IACjB,OAAO,EAAE,EAAE,CAAC;IACZ,QAAQ,EAAE,EAAE,CAAC;IACb,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,KAAK,EAAE,KAAK,CAAC;CACd,CAAC;AAEF,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,OAAO,CAA6B;IAE5C,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC;IAEtB,SAAS,CAAC,cAAc,EAAE,cAAc,CAAC;IAEzC,SAAgB,SAAS,EAAE,SAAS,CAAC;IAErC,YACE,MAAM,EAAE,cAAc,GAAG,eAAe,EACxC,IAAI,EAAE;QACJ,cAAc,EAAE,cAAc,CAAC;QAC/B,SAAS,EAAE,SAAS,CAAC;QACrB,SAAS,CAAC,EAAE,eAAe,CAAC;KAC7B,EACD,QAAQ,CAAC,EAAE,cAAc,EAS1B;IAEM,iBAAiB,mBAEvB;IAEM,gBAAgB,eAEtB;IAEY,gBAAgB,CAAC,IAAI,EAAE;QAClC,WAAW,EAAE,WAAW,CAAC;QACzB,cAAc,EAAE,gBAAgB,CAAC;QACjC,YAAY,EAAE,gBAAgB,CAAC;QAC/B,YAAY,EAAE,sBAAsB,CAAC;QACrC,KAAK,EAAE,KAAK,CAAC;QACb,iBAAiB,EAAE,WAAW,CAAC;QAC/B,YAAY,EAAE,wBAAwB,EAAE,CAAC;QACzC,OAAO,EAAE,gBAAgB,EAAE,CAAC;QAC5B,mGAAmG;QACnG,QAAQ,CAAC,EAAE,IAAI,CAAC;KACjB,GAAG,OAAO,CAAC,OAAO,CAAC,CA6CnB;YAEa,4BAA4B;IAoE1C;;;;OAIG;IACU,2BAA2B,CAAC,IAAI,EAAE;QAC7C,WAAW,EAAE,WAAW,CAAC;QACzB,cAAc,EAAE,gBAAgB,CAAC;QACjC,YAAY,EAAE,gBAAgB,CAAC;QAC/B,YAAY,EAAE,sBAAsB,CAAC;QACrC,KAAK,EAAE,KAAK,CAAC;QACb,iBAAiB,EAAE,WAAW,CAAC;QAC/B,YAAY,EAAE,wBAAwB,EAAE,CAAC;QACzC,OAAO,EAAE,gBAAgB,EAAE,CAAC;KAC7B,GAAG,OAAO,CAAC,IAAI,CAAC,CAsChB;IAED,OAAO,CAAC,8BAA8B;YAgBxB,sBAAsB;IAiDpC,OAAO,CAAC,6BAA6B;IAuBrC,OAAO,CAAC,uBAAuB;CAwBhC"}