@aztec/prover-node 3.0.0-nightly.20251124 → 3.0.0-nightly.20251125
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.
|
@@ -92,7 +92,7 @@ export class ProverNodePublisher {
|
|
|
92
92
|
async validateEpochProofSubmission(args) {
|
|
93
93
|
const { fromBlock, toBlock, publicInputs, batchedBlobInputs } = args;
|
|
94
94
|
// Check that the block numbers match the expected epoch to be proven
|
|
95
|
-
const {
|
|
95
|
+
const { pending, proven } = await this.rollupContract.getTips();
|
|
96
96
|
// Don't publish if proven is beyond our toBlock, pointless to do so
|
|
97
97
|
if (proven > BigInt(toBlock)) {
|
|
98
98
|
throw new Error(`Cannot submit epoch proof for ${fromBlock}-${toBlock} as proven block is ${proven}`);
|
|
@@ -102,12 +102,12 @@ export class ProverNodePublisher {
|
|
|
102
102
|
throw new Error(`Cannot submit epoch proof for ${fromBlock}-${toBlock} as pending block is ${pending}`);
|
|
103
103
|
}
|
|
104
104
|
// Check the archive for the immediate block before the epoch
|
|
105
|
-
const blockLog = await this.rollupContract.
|
|
105
|
+
const blockLog = await this.rollupContract.getCheckpoint(BigInt(fromBlock - 1));
|
|
106
106
|
if (publicInputs.previousArchiveRoot.toString() !== blockLog.archive) {
|
|
107
107
|
throw new Error(`Previous archive root mismatch: ${publicInputs.previousArchiveRoot.toString()} !== ${blockLog.archive}`);
|
|
108
108
|
}
|
|
109
109
|
// Check the archive for the last block in the epoch
|
|
110
|
-
const endBlockLog = await this.rollupContract.
|
|
110
|
+
const endBlockLog = await this.rollupContract.getCheckpoint(BigInt(toBlock));
|
|
111
111
|
if (publicInputs.endArchiveRoot.toString() !== endBlockLog.archive) {
|
|
112
112
|
throw new Error(`End archive root mismatch: ${publicInputs.endArchiveRoot.toString()} !== ${endBlockLog.archive}`);
|
|
113
113
|
}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/prover-node",
|
|
3
|
-
"version": "3.0.0-nightly.
|
|
3
|
+
"version": "3.0.0-nightly.20251125",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"exports": {
|
|
6
6
|
".": "./dest/index.js",
|
|
@@ -56,27 +56,27 @@
|
|
|
56
56
|
]
|
|
57
57
|
},
|
|
58
58
|
"dependencies": {
|
|
59
|
-
"@aztec/archiver": "3.0.0-nightly.
|
|
60
|
-
"@aztec/bb-prover": "3.0.0-nightly.
|
|
61
|
-
"@aztec/blob-lib": "3.0.0-nightly.
|
|
62
|
-
"@aztec/blob-sink": "3.0.0-nightly.
|
|
63
|
-
"@aztec/constants": "3.0.0-nightly.
|
|
64
|
-
"@aztec/epoch-cache": "3.0.0-nightly.
|
|
65
|
-
"@aztec/ethereum": "3.0.0-nightly.
|
|
66
|
-
"@aztec/foundation": "3.0.0-nightly.
|
|
67
|
-
"@aztec/kv-store": "3.0.0-nightly.
|
|
68
|
-
"@aztec/l1-artifacts": "3.0.0-nightly.
|
|
69
|
-
"@aztec/node-keystore": "3.0.0-nightly.
|
|
70
|
-
"@aztec/node-lib": "3.0.0-nightly.
|
|
71
|
-
"@aztec/noir-protocol-circuits-types": "3.0.0-nightly.
|
|
72
|
-
"@aztec/p2p": "3.0.0-nightly.
|
|
73
|
-
"@aztec/protocol-contracts": "3.0.0-nightly.
|
|
74
|
-
"@aztec/prover-client": "3.0.0-nightly.
|
|
75
|
-
"@aztec/sequencer-client": "3.0.0-nightly.
|
|
76
|
-
"@aztec/simulator": "3.0.0-nightly.
|
|
77
|
-
"@aztec/stdlib": "3.0.0-nightly.
|
|
78
|
-
"@aztec/telemetry-client": "3.0.0-nightly.
|
|
79
|
-
"@aztec/world-state": "3.0.0-nightly.
|
|
59
|
+
"@aztec/archiver": "3.0.0-nightly.20251125",
|
|
60
|
+
"@aztec/bb-prover": "3.0.0-nightly.20251125",
|
|
61
|
+
"@aztec/blob-lib": "3.0.0-nightly.20251125",
|
|
62
|
+
"@aztec/blob-sink": "3.0.0-nightly.20251125",
|
|
63
|
+
"@aztec/constants": "3.0.0-nightly.20251125",
|
|
64
|
+
"@aztec/epoch-cache": "3.0.0-nightly.20251125",
|
|
65
|
+
"@aztec/ethereum": "3.0.0-nightly.20251125",
|
|
66
|
+
"@aztec/foundation": "3.0.0-nightly.20251125",
|
|
67
|
+
"@aztec/kv-store": "3.0.0-nightly.20251125",
|
|
68
|
+
"@aztec/l1-artifacts": "3.0.0-nightly.20251125",
|
|
69
|
+
"@aztec/node-keystore": "3.0.0-nightly.20251125",
|
|
70
|
+
"@aztec/node-lib": "3.0.0-nightly.20251125",
|
|
71
|
+
"@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251125",
|
|
72
|
+
"@aztec/p2p": "3.0.0-nightly.20251125",
|
|
73
|
+
"@aztec/protocol-contracts": "3.0.0-nightly.20251125",
|
|
74
|
+
"@aztec/prover-client": "3.0.0-nightly.20251125",
|
|
75
|
+
"@aztec/sequencer-client": "3.0.0-nightly.20251125",
|
|
76
|
+
"@aztec/simulator": "3.0.0-nightly.20251125",
|
|
77
|
+
"@aztec/stdlib": "3.0.0-nightly.20251125",
|
|
78
|
+
"@aztec/telemetry-client": "3.0.0-nightly.20251125",
|
|
79
|
+
"@aztec/world-state": "3.0.0-nightly.20251125",
|
|
80
80
|
"source-map-support": "^0.5.21",
|
|
81
81
|
"tslib": "^2.4.0",
|
|
82
82
|
"viem": "npm:@spalladino/viem@2.38.2-eip7594.0"
|
|
@@ -153,7 +153,7 @@ export class ProverNodePublisher {
|
|
|
153
153
|
const { fromBlock, toBlock, publicInputs, batchedBlobInputs } = args;
|
|
154
154
|
|
|
155
155
|
// Check that the block numbers match the expected epoch to be proven
|
|
156
|
-
const {
|
|
156
|
+
const { pending, proven } = await this.rollupContract.getTips();
|
|
157
157
|
// Don't publish if proven is beyond our toBlock, pointless to do so
|
|
158
158
|
if (proven > BigInt(toBlock)) {
|
|
159
159
|
throw new Error(`Cannot submit epoch proof for ${fromBlock}-${toBlock} as proven block is ${proven}`);
|
|
@@ -164,7 +164,7 @@ export class ProverNodePublisher {
|
|
|
164
164
|
}
|
|
165
165
|
|
|
166
166
|
// Check the archive for the immediate block before the epoch
|
|
167
|
-
const blockLog = await this.rollupContract.
|
|
167
|
+
const blockLog = await this.rollupContract.getCheckpoint(BigInt(fromBlock - 1));
|
|
168
168
|
if (publicInputs.previousArchiveRoot.toString() !== blockLog.archive) {
|
|
169
169
|
throw new Error(
|
|
170
170
|
`Previous archive root mismatch: ${publicInputs.previousArchiveRoot.toString()} !== ${blockLog.archive}`,
|
|
@@ -172,7 +172,7 @@ export class ProverNodePublisher {
|
|
|
172
172
|
}
|
|
173
173
|
|
|
174
174
|
// Check the archive for the last block in the epoch
|
|
175
|
-
const endBlockLog = await this.rollupContract.
|
|
175
|
+
const endBlockLog = await this.rollupContract.getCheckpoint(BigInt(toBlock));
|
|
176
176
|
if (publicInputs.endArchiveRoot.toString() !== endBlockLog.archive) {
|
|
177
177
|
throw new Error(
|
|
178
178
|
`End archive root mismatch: ${publicInputs.endArchiveRoot.toString()} !== ${endBlockLog.archive}`,
|