@aztec/prover-client 0.0.1-commit.6d3c34e → 0.0.1-commit.9372f48
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.
- package/dest/light/lightweight_checkpoint_builder.d.ts +11 -7
- package/dest/light/lightweight_checkpoint_builder.d.ts.map +1 -1
- package/dest/light/lightweight_checkpoint_builder.js +28 -11
- package/dest/mocks/fixtures.d.ts +1 -1
- package/dest/mocks/fixtures.d.ts.map +1 -1
- package/dest/mocks/fixtures.js +2 -1
- package/dest/mocks/test_context.d.ts +3 -2
- package/dest/mocks/test_context.d.ts.map +1 -1
- package/dest/mocks/test_context.js +6 -1
- package/dest/orchestrator/block-building-helpers.d.ts +1 -1
- package/dest/orchestrator/block-building-helpers.js +1 -1
- package/dest/orchestrator/checkpoint-proving-state.d.ts +15 -2
- package/dest/orchestrator/checkpoint-proving-state.d.ts.map +1 -1
- package/dest/orchestrator/checkpoint-proving-state.js +34 -1
- package/dest/orchestrator/epoch-proving-state.d.ts +5 -4
- package/dest/orchestrator/epoch-proving-state.d.ts.map +1 -1
- package/dest/orchestrator/epoch-proving-state.js +35 -1
- package/dest/orchestrator/orchestrator.d.ts +18 -3
- package/dest/orchestrator/orchestrator.d.ts.map +1 -1
- package/dest/orchestrator/orchestrator.js +120 -78
- package/dest/prover-client/prover-client.d.ts +1 -1
- package/dest/prover-client/prover-client.d.ts.map +1 -1
- package/dest/prover-client/prover-client.js +7 -4
- package/dest/proving_broker/broker_prover_facade.d.ts +4 -3
- package/dest/proving_broker/broker_prover_facade.d.ts.map +1 -1
- package/dest/proving_broker/broker_prover_facade.js +3 -3
- package/dest/proving_broker/config.d.ts +5 -1
- package/dest/proving_broker/config.d.ts.map +1 -1
- package/dest/proving_broker/config.js +7 -1
- package/dest/proving_broker/proving_agent.d.ts +4 -3
- package/dest/proving_broker/proving_agent.d.ts.map +1 -1
- package/dest/proving_broker/proving_agent.js +4 -4
- package/dest/proving_broker/proving_broker_instrumentation.d.ts +1 -1
- package/dest/proving_broker/proving_broker_instrumentation.d.ts.map +1 -1
- package/dest/proving_broker/proving_broker_instrumentation.js +11 -7
- package/dest/proving_broker/proving_job_controller.d.ts +4 -3
- package/dest/proving_broker/proving_job_controller.d.ts.map +1 -1
- package/dest/proving_broker/proving_job_controller.js +6 -3
- package/dest/test/mock_proof_store.d.ts +3 -3
- package/dest/test/mock_proof_store.d.ts.map +1 -1
- package/package.json +16 -17
- package/src/light/lightweight_checkpoint_builder.ts +52 -12
- package/src/mocks/fixtures.ts +2 -1
- package/src/mocks/test_context.ts +5 -0
- package/src/orchestrator/block-building-helpers.ts +1 -1
- package/src/orchestrator/checkpoint-proving-state.ts +47 -1
- package/src/orchestrator/epoch-proving-state.ts +56 -8
- package/src/orchestrator/orchestrator.ts +124 -83
- package/src/prover-client/prover-client.ts +23 -6
- package/src/proving_broker/broker_prover_facade.ts +6 -3
- package/src/proving_broker/config.ts +9 -0
- package/src/proving_broker/proving_agent.ts +5 -2
- package/src/proving_broker/proving_broker_instrumentation.ts +10 -6
- package/src/proving_broker/proving_job_controller.ts +9 -3
- package/dest/block-factory/index.d.ts +0 -2
- package/dest/block-factory/index.d.ts.map +0 -1
- package/dest/block-factory/index.js +0 -1
- package/dest/block-factory/light.d.ts +0 -38
- package/dest/block-factory/light.d.ts.map +0 -1
- package/dest/block-factory/light.js +0 -106
- package/src/block-factory/index.ts +0 -1
- package/src/block-factory/light.ts +0 -136
|
@@ -389,7 +389,6 @@ import { buildHeaderFromCircuitOutputs, getLastSiblingPath, getPublicChonkVerifi
|
|
|
389
389
|
import { EpochProvingState } from './epoch-proving-state.js';
|
|
390
390
|
import { ProvingOrchestratorMetrics } from './orchestrator_metrics.js';
|
|
391
391
|
import { TxProvingState } from './tx-proving-state.js';
|
|
392
|
-
const logger = createLogger('prover-client:orchestrator');
|
|
393
392
|
_dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
394
393
|
[Attributes.BLOCK_NUMBER]: blockNumber
|
|
395
394
|
})), _dec1 = trackSpan('ProvingOrchestrator.addTxs', (txs)=>({
|
|
@@ -414,6 +413,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
414
413
|
dbProvider;
|
|
415
414
|
prover;
|
|
416
415
|
proverId;
|
|
416
|
+
cancelJobsOnStop;
|
|
417
417
|
static{
|
|
418
418
|
({ e: [_initProto] } = _apply_decs_2203_r(this, [
|
|
419
419
|
[
|
|
@@ -449,14 +449,17 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
449
449
|
metrics;
|
|
450
450
|
// eslint-disable-next-line aztec-custom/no-non-primitive-in-collections
|
|
451
451
|
dbs;
|
|
452
|
-
|
|
452
|
+
logger;
|
|
453
|
+
constructor(dbProvider, prover, proverId, cancelJobsOnStop = false, telemetryClient = getTelemetryClient(), bindings){
|
|
453
454
|
this.dbProvider = dbProvider;
|
|
454
455
|
this.prover = prover;
|
|
455
456
|
this.proverId = proverId;
|
|
457
|
+
this.cancelJobsOnStop = cancelJobsOnStop;
|
|
456
458
|
this.provingState = (_initProto(this), undefined);
|
|
457
459
|
this.pendingProvingJobs = [];
|
|
458
460
|
this.provingPromise = undefined;
|
|
459
461
|
this.dbs = new Map();
|
|
462
|
+
this.logger = createLogger('prover-client:orchestrator', bindings);
|
|
460
463
|
this.metrics = new ProvingOrchestratorMetrics(telemetryClient, 'ProvingOrchestrator');
|
|
461
464
|
}
|
|
462
465
|
get tracer() {
|
|
@@ -465,6 +468,9 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
465
468
|
getProverId() {
|
|
466
469
|
return this.proverId;
|
|
467
470
|
}
|
|
471
|
+
getNumActiveForks() {
|
|
472
|
+
return this.dbs.size;
|
|
473
|
+
}
|
|
468
474
|
stop() {
|
|
469
475
|
this.cancel();
|
|
470
476
|
return Promise.resolve();
|
|
@@ -478,11 +484,18 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
478
484
|
status: 'failure',
|
|
479
485
|
reason
|
|
480
486
|
}));
|
|
481
|
-
logger.info(`Starting epoch ${epochNumber} with ${totalNumCheckpoints} checkpoints.`);
|
|
487
|
+
this.logger.info(`Starting epoch ${epochNumber} with ${totalNumCheckpoints} checkpoints.`);
|
|
482
488
|
this.provingState = new EpochProvingState(epochNumber, totalNumCheckpoints, finalBlobBatchingChallenges, (provingState)=>this.checkAndEnqueueCheckpointRootRollup(provingState), resolve, reject);
|
|
483
489
|
this.provingPromise = promise;
|
|
484
490
|
}
|
|
485
|
-
|
|
491
|
+
/**
|
|
492
|
+
* Starts a new checkpoint.
|
|
493
|
+
* @param checkpointIndex - The index of the checkpoint in the epoch.
|
|
494
|
+
* @param constants - The constants for this checkpoint.
|
|
495
|
+
* @param l1ToL2Messages - The set of L1 to L2 messages to be inserted at the beginning of this checkpoint.
|
|
496
|
+
* @param totalNumBlocks - The total number of blocks expected in the checkpoint (must be at least one).
|
|
497
|
+
* @param headerOfLastBlockInPreviousCheckpoint - The header of the last block in the previous checkpoint.
|
|
498
|
+
*/ async startNewCheckpoint(checkpointIndex, constants, l1ToL2Messages, totalNumBlocks, headerOfLastBlockInPreviousCheckpoint) {
|
|
486
499
|
if (!this.provingState) {
|
|
487
500
|
throw new Error('Empty epoch proving state. Call startNewEpoch before starting a checkpoint.');
|
|
488
501
|
}
|
|
@@ -493,7 +506,10 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
493
506
|
const lastBlockNumber = headerOfLastBlockInPreviousCheckpoint.globalVariables.blockNumber;
|
|
494
507
|
const db = await this.dbProvider.fork(lastBlockNumber);
|
|
495
508
|
const firstBlockNumber = BlockNumber(lastBlockNumber + 1);
|
|
496
|
-
this.dbs.set(firstBlockNumber,
|
|
509
|
+
this.dbs.set(firstBlockNumber, {
|
|
510
|
+
fork: db,
|
|
511
|
+
cleanupPromise: undefined
|
|
512
|
+
});
|
|
497
513
|
// Get archive sibling path before any block in this checkpoint lands.
|
|
498
514
|
const lastArchiveSiblingPath = await getLastSiblingPath(MerkleTreeId.ARCHIVE, db);
|
|
499
515
|
// Insert all the l1 to l2 messages into the db. And get the states before and after the insertion.
|
|
@@ -518,14 +534,17 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
518
534
|
throw new Error(`Checkpoint not accepting further blocks.`);
|
|
519
535
|
}
|
|
520
536
|
const constants = checkpointProvingState.constants;
|
|
521
|
-
logger.info(`Starting block ${blockNumber} for slot ${constants.slotNumber}.`);
|
|
537
|
+
this.logger.info(`Starting block ${blockNumber} for slot ${constants.slotNumber}.`);
|
|
522
538
|
// Fork the db only when it's not already set. The db for the first block is set in `startNewCheckpoint`.
|
|
523
539
|
if (!this.dbs.has(blockNumber)) {
|
|
524
540
|
// Fork world state at the end of the immediately previous block
|
|
525
541
|
const db = await this.dbProvider.fork(BlockNumber(blockNumber - 1));
|
|
526
|
-
this.dbs.set(blockNumber,
|
|
542
|
+
this.dbs.set(blockNumber, {
|
|
543
|
+
fork: db,
|
|
544
|
+
cleanupPromise: undefined
|
|
545
|
+
});
|
|
527
546
|
}
|
|
528
|
-
const db = this.dbs.get(blockNumber);
|
|
547
|
+
const db = this.dbs.get(blockNumber).fork;
|
|
529
548
|
// Get archive snapshot and sibling path before any txs in this block lands.
|
|
530
549
|
const lastArchiveTreeSnapshot = await getTreeSnapshot(MerkleTreeId.ARCHIVE, db);
|
|
531
550
|
const lastArchiveSiblingPath = await getRootTreeSiblingPath(MerkleTreeId.ARCHIVE, db);
|
|
@@ -545,7 +564,8 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
545
564
|
const blockEndBlobFields = blockProvingState.getBlockEndBlobFields();
|
|
546
565
|
await endSpongeBlob.absorb(blockEndBlobFields);
|
|
547
566
|
blockProvingState.setEndSpongeBlob(endSpongeBlob);
|
|
548
|
-
//
|
|
567
|
+
// Try to accumulate the out hashes and blobs as far as we can:
|
|
568
|
+
await this.provingState.accumulateCheckpointOutHashes();
|
|
549
569
|
await this.provingState.setBlobAccumulators();
|
|
550
570
|
}
|
|
551
571
|
}
|
|
@@ -559,7 +579,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
559
579
|
if (!txs.length) {
|
|
560
580
|
// To avoid an ugly throw below. If we require an empty block, we can just call setBlockCompleted
|
|
561
581
|
// on a block with no txs. We cannot do that here because we cannot find the blockNumber without any txs.
|
|
562
|
-
logger.warn(`Provided no txs to orchestrator addTxs.`);
|
|
582
|
+
this.logger.warn(`Provided no txs to orchestrator addTxs.`);
|
|
563
583
|
return;
|
|
564
584
|
}
|
|
565
585
|
const blockNumber = BlockNumber(txs[0].globalVariables.blockNumber);
|
|
@@ -573,8 +593,8 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
573
593
|
if (!provingState.isAcceptingTxs()) {
|
|
574
594
|
throw new Error(`Block ${blockNumber} has been initialized with transactions.`);
|
|
575
595
|
}
|
|
576
|
-
logger.info(`Adding ${txs.length} transactions to block ${blockNumber}`);
|
|
577
|
-
const db = this.dbs.get(blockNumber);
|
|
596
|
+
this.logger.info(`Adding ${txs.length} transactions to block ${blockNumber}`);
|
|
597
|
+
const db = this.dbs.get(blockNumber).fork;
|
|
578
598
|
const lastArchive = provingState.lastArchiveTreeSnapshot;
|
|
579
599
|
const newL1ToL2MessageTreeSnapshot = provingState.newL1ToL2MessageTreeSnapshot;
|
|
580
600
|
const spongeBlobState = provingState.getStartSpongeBlob().clone();
|
|
@@ -584,7 +604,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
584
604
|
throw new Error(`Invalid proving state when adding a tx`);
|
|
585
605
|
}
|
|
586
606
|
validateTx(tx);
|
|
587
|
-
logger.debug(`Received transaction: ${tx.hash}`);
|
|
607
|
+
this.logger.debug(`Received transaction: ${tx.hash}`);
|
|
588
608
|
const startSpongeBlob = spongeBlobState.clone();
|
|
589
609
|
const [hints, treeSnapshots] = await this.prepareBaseRollupInputs(tx, lastArchive, newL1ToL2MessageTreeSnapshot, startSpongeBlob, db);
|
|
590
610
|
if (!provingState.verifyState()) {
|
|
@@ -595,10 +615,10 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
595
615
|
const txIndex = provingState.addNewTx(txProvingState);
|
|
596
616
|
if (txProvingState.requireAvmProof) {
|
|
597
617
|
this.getOrEnqueueChonkVerifier(provingState, txIndex);
|
|
598
|
-
logger.debug(`Enqueueing public VM for tx ${txIndex}`);
|
|
618
|
+
this.logger.debug(`Enqueueing public VM for tx ${txIndex}`);
|
|
599
619
|
this.enqueueVM(provingState, txIndex);
|
|
600
620
|
} else {
|
|
601
|
-
logger.debug(`Enqueueing base rollup for private-only tx ${txIndex}`);
|
|
621
|
+
this.logger.debug(`Enqueueing base rollup for private-only tx ${txIndex}`);
|
|
602
622
|
this.enqueueBaseRollup(provingState, txIndex);
|
|
603
623
|
}
|
|
604
624
|
} catch (err) {
|
|
@@ -612,7 +632,8 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
612
632
|
const blockEndBlobFields = provingState.getBlockEndBlobFields();
|
|
613
633
|
await spongeBlobState.absorb(blockEndBlobFields);
|
|
614
634
|
provingState.setEndSpongeBlob(spongeBlobState);
|
|
615
|
-
// Txs have been added to the block. Now try to accumulate the blobs as far as we can:
|
|
635
|
+
// Txs have been added to the block. Now try to accumulate the out hashes and blobs as far as we can:
|
|
636
|
+
await this.provingState.accumulateCheckpointOutHashes();
|
|
616
637
|
await this.provingState.setBlobAccumulators();
|
|
617
638
|
}
|
|
618
639
|
/**
|
|
@@ -627,7 +648,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
627
648
|
const txHash = tx.getTxHash().toString();
|
|
628
649
|
const privateInputs = getPublicChonkVerifierPrivateInputsFromTx(tx, this.proverId.toField());
|
|
629
650
|
const tubeProof = promiseWithResolvers();
|
|
630
|
-
logger.debug(`Starting chonk verifier circuit for tx ${txHash}`);
|
|
651
|
+
this.logger.debug(`Starting chonk verifier circuit for tx ${txHash}`);
|
|
631
652
|
this.doEnqueueChonkVerifier(txHash, privateInputs, (proof)=>{
|
|
632
653
|
tubeProof.resolve(proof);
|
|
633
654
|
});
|
|
@@ -656,16 +677,16 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
656
677
|
throw new Error(`Block ${blockNumber} is still accepting txs. Call setBlockCompleted after all txs have been added.`);
|
|
657
678
|
}
|
|
658
679
|
// Given we've applied every change from this block, now assemble the block header:
|
|
659
|
-
logger.verbose(`Block ${blockNumber} completed. Assembling header.`);
|
|
680
|
+
this.logger.verbose(`Block ${blockNumber} completed. Assembling header.`);
|
|
660
681
|
const header = await provingState.buildBlockHeader();
|
|
661
682
|
if (expectedHeader && !header.equals(expectedHeader)) {
|
|
662
|
-
logger.error(`Block header mismatch: header=${header} expectedHeader=${expectedHeader}`);
|
|
683
|
+
this.logger.error(`Block header mismatch: header=${header} expectedHeader=${expectedHeader}`);
|
|
663
684
|
throw new Error('Block header mismatch');
|
|
664
685
|
}
|
|
665
686
|
// Get db for this block
|
|
666
|
-
const db = this.dbs.get(provingState.blockNumber);
|
|
687
|
+
const db = this.dbs.get(provingState.blockNumber).fork;
|
|
667
688
|
// Update the archive tree, so we're ready to start processing the next block:
|
|
668
|
-
logger.verbose(`Updating archive tree with block ${provingState.blockNumber} header ${(await header.hash()).toString()}`);
|
|
689
|
+
this.logger.verbose(`Updating archive tree with block ${provingState.blockNumber} header ${(await header.hash()).toString()}`);
|
|
669
690
|
await db.updateArchive(header);
|
|
670
691
|
await this.verifyBuiltBlockAgainstSyncedState(provingState);
|
|
671
692
|
return header;
|
|
@@ -674,33 +695,33 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
674
695
|
async verifyBuiltBlockAgainstSyncedState(provingState) {
|
|
675
696
|
const builtBlockHeader = provingState.getBuiltBlockHeader();
|
|
676
697
|
if (!builtBlockHeader) {
|
|
677
|
-
logger.debug('Block header not built yet, skipping header check.');
|
|
698
|
+
this.logger.debug('Block header not built yet, skipping header check.');
|
|
678
699
|
return;
|
|
679
700
|
}
|
|
680
701
|
const output = provingState.getBlockRootRollupOutput();
|
|
681
702
|
if (!output) {
|
|
682
|
-
logger.debug('Block root rollup proof not built yet, skipping header check.');
|
|
703
|
+
this.logger.debug('Block root rollup proof not built yet, skipping header check.');
|
|
683
704
|
return;
|
|
684
705
|
}
|
|
685
706
|
const header = await buildHeaderFromCircuitOutputs(output);
|
|
686
707
|
if (!(await header.hash()).equals(await builtBlockHeader.hash())) {
|
|
687
|
-
logger.error(`Block header mismatch.\nCircuit: ${inspect(header)}\nComputed: ${inspect(builtBlockHeader)}`);
|
|
708
|
+
this.logger.error(`Block header mismatch.\nCircuit: ${inspect(header)}\nComputed: ${inspect(builtBlockHeader)}`);
|
|
688
709
|
provingState.reject(`Block header hash mismatch.`);
|
|
689
710
|
return;
|
|
690
711
|
}
|
|
691
712
|
// Get db for this block
|
|
692
713
|
const blockNumber = provingState.blockNumber;
|
|
693
|
-
const db = this.dbs.get(blockNumber);
|
|
714
|
+
const db = this.dbs.get(blockNumber).fork;
|
|
694
715
|
const newArchive = await getTreeSnapshot(MerkleTreeId.ARCHIVE, db);
|
|
695
716
|
const syncedArchive = await getTreeSnapshot(MerkleTreeId.ARCHIVE, this.dbProvider.getSnapshot(blockNumber));
|
|
696
717
|
if (!syncedArchive.equals(newArchive)) {
|
|
697
|
-
logger.error(`Archive tree mismatch for block ${blockNumber}: world state synced to ${inspect(syncedArchive)} but built ${inspect(newArchive)}`);
|
|
718
|
+
this.logger.error(`Archive tree mismatch for block ${blockNumber}: world state synced to ${inspect(syncedArchive)} but built ${inspect(newArchive)}`);
|
|
698
719
|
provingState.reject(`Archive tree mismatch.`);
|
|
699
720
|
return;
|
|
700
721
|
}
|
|
701
722
|
const circuitArchive = output.newArchive;
|
|
702
723
|
if (!newArchive.equals(circuitArchive)) {
|
|
703
|
-
logger.error(`New archive mismatch.\nCircuit: ${output.newArchive}\nComputed: ${newArchive}`);
|
|
724
|
+
this.logger.error(`New archive mismatch.\nCircuit: ${output.newArchive}\nComputed: ${newArchive}`);
|
|
704
725
|
provingState.reject(`New archive mismatch.`);
|
|
705
726
|
return;
|
|
706
727
|
}
|
|
@@ -708,14 +729,17 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
708
729
|
// is aborted and never reaches this point, it will leak the fork. We need to add a global cleanup,
|
|
709
730
|
// but have to make sure it only runs once all operations are completed, otherwise some function here
|
|
710
731
|
// will attempt to access the fork after it was closed.
|
|
711
|
-
|
|
712
|
-
void this.dbs.get(blockNumber)?.close().then(()=>this.dbs.delete(blockNumber)).catch((err)=>logger.error(`Error closing db for block ${blockNumber}`, err));
|
|
732
|
+
void this.cleanupDBFork(blockNumber);
|
|
713
733
|
}
|
|
714
734
|
/**
|
|
715
|
-
* Cancel any further proving
|
|
735
|
+
* Cancel any further proving.
|
|
736
|
+
* If cancelJobsOnStop is true, aborts all pending jobs with the broker (which marks them as 'Aborted').
|
|
737
|
+
* If cancelJobsOnStop is false (default), jobs remain in the broker queue and can be reused on restart/reorg.
|
|
716
738
|
*/ cancel() {
|
|
717
|
-
|
|
718
|
-
controller.
|
|
739
|
+
if (this.cancelJobsOnStop) {
|
|
740
|
+
for (const controller of this.pendingProvingJobs){
|
|
741
|
+
controller.abort();
|
|
742
|
+
}
|
|
719
743
|
}
|
|
720
744
|
this.provingState?.cancel();
|
|
721
745
|
}
|
|
@@ -737,6 +761,22 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
737
761
|
});
|
|
738
762
|
return epochProofResult;
|
|
739
763
|
}
|
|
764
|
+
async cleanupDBFork(blockNumber) {
|
|
765
|
+
this.logger.debug(`Cleaning up world state fork for ${blockNumber}`);
|
|
766
|
+
const fork = this.dbs.get(blockNumber);
|
|
767
|
+
if (!fork) {
|
|
768
|
+
return;
|
|
769
|
+
}
|
|
770
|
+
try {
|
|
771
|
+
if (!fork.cleanupPromise) {
|
|
772
|
+
fork.cleanupPromise = fork.fork.close();
|
|
773
|
+
}
|
|
774
|
+
await fork.cleanupPromise;
|
|
775
|
+
this.dbs.delete(blockNumber);
|
|
776
|
+
} catch (err) {
|
|
777
|
+
this.logger.error(`Error closing db for block ${blockNumber}`, err);
|
|
778
|
+
}
|
|
779
|
+
}
|
|
740
780
|
/**
|
|
741
781
|
* Enqueue a job to be scheduled
|
|
742
782
|
* @param provingState - The proving state object being operated on
|
|
@@ -744,7 +784,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
744
784
|
* @param job - The actual job, returns a promise notifying of the job's completion
|
|
745
785
|
*/ deferredProving(provingState, request, callback) {
|
|
746
786
|
if (!provingState.verifyState()) {
|
|
747
|
-
logger.debug(`Not enqueuing job, state no longer valid`);
|
|
787
|
+
this.logger.debug(`Not enqueuing job, state no longer valid`);
|
|
748
788
|
return;
|
|
749
789
|
}
|
|
750
790
|
const controller = new AbortController();
|
|
@@ -759,7 +799,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
759
799
|
}
|
|
760
800
|
const result = await request(controller.signal);
|
|
761
801
|
if (!provingState.verifyState()) {
|
|
762
|
-
logger.debug(`State no longer valid, discarding result`);
|
|
802
|
+
this.logger.debug(`State no longer valid, discarding result`);
|
|
763
803
|
return;
|
|
764
804
|
}
|
|
765
805
|
// we could have been cancelled whilst waiting for the result
|
|
@@ -774,7 +814,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
774
814
|
// drop this result
|
|
775
815
|
return;
|
|
776
816
|
}
|
|
777
|
-
logger.error(`Error thrown when proving job`, err);
|
|
817
|
+
this.logger.error(`Error thrown when proving job`, err);
|
|
778
818
|
provingState.reject(`${err}`);
|
|
779
819
|
} finally{
|
|
780
820
|
const index = this.pendingProvingJobs.indexOf(controller);
|
|
@@ -830,17 +870,17 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
830
870
|
// Executes the next level of merge if all inputs are available
|
|
831
871
|
enqueueBaseRollup(provingState, txIndex) {
|
|
832
872
|
if (!provingState.verifyState()) {
|
|
833
|
-
logger.debug('Not running base rollup, state invalid');
|
|
873
|
+
this.logger.debug('Not running base rollup, state invalid');
|
|
834
874
|
return;
|
|
835
875
|
}
|
|
836
876
|
if (!provingState.tryStartProvingBase(txIndex)) {
|
|
837
|
-
logger.debug(`Base rollup for tx ${txIndex} already started.`);
|
|
877
|
+
this.logger.debug(`Base rollup for tx ${txIndex} already started.`);
|
|
838
878
|
return;
|
|
839
879
|
}
|
|
840
880
|
const txProvingState = provingState.getTxProvingState(txIndex);
|
|
841
881
|
const { processedTx } = txProvingState;
|
|
842
882
|
const { rollupType, inputs } = txProvingState.getBaseRollupTypeAndInputs();
|
|
843
|
-
logger.debug(`Enqueuing deferred proving base rollup for ${processedTx.hash.toString()}`);
|
|
883
|
+
this.logger.debug(`Enqueuing deferred proving base rollup for ${processedTx.hash.toString()}`);
|
|
844
884
|
this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, `ProvingOrchestrator.prover.${inputs instanceof PrivateTxBaseRollupPrivateInputs ? 'getPrivateTxBaseRollupProof' : 'getPublicTxBaseRollupProof'}`, {
|
|
845
885
|
[Attributes.TX_HASH]: processedTx.hash.toString(),
|
|
846
886
|
[Attributes.PROTOCOL_CIRCUIT_NAME]: rollupType
|
|
@@ -851,7 +891,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
851
891
|
return this.prover.getPublicTxBaseRollupProof(inputs, signal, provingState.epochNumber);
|
|
852
892
|
}
|
|
853
893
|
}), (result)=>{
|
|
854
|
-
logger.debug(`Completed proof for ${rollupType} for tx ${processedTx.hash.toString()}`);
|
|
894
|
+
this.logger.debug(`Completed proof for ${rollupType} for tx ${processedTx.hash.toString()}`);
|
|
855
895
|
validatePartialState(result.inputs.endTreeSnapshots, txProvingState.treeSnapshots);
|
|
856
896
|
const leafLocation = provingState.setBaseRollupProof(txIndex, result);
|
|
857
897
|
if (provingState.totalNumTxs === 1) {
|
|
@@ -865,14 +905,14 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
865
905
|
// Once completed, will enqueue the the public tx base rollup.
|
|
866
906
|
getOrEnqueueChonkVerifier(provingState, txIndex) {
|
|
867
907
|
if (!provingState.verifyState()) {
|
|
868
|
-
logger.debug('Not running chonk verifier circuit, state invalid');
|
|
908
|
+
this.logger.debug('Not running chonk verifier circuit, state invalid');
|
|
869
909
|
return;
|
|
870
910
|
}
|
|
871
911
|
const txProvingState = provingState.getTxProvingState(txIndex);
|
|
872
912
|
const txHash = txProvingState.processedTx.hash.toString();
|
|
873
913
|
NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH;
|
|
874
914
|
const handleResult = (result)=>{
|
|
875
|
-
logger.debug(`Got chonk verifier proof for tx index: ${txIndex}`, {
|
|
915
|
+
this.logger.debug(`Got chonk verifier proof for tx index: ${txIndex}`, {
|
|
876
916
|
txHash
|
|
877
917
|
});
|
|
878
918
|
txProvingState.setPublicChonkVerifierProof(result);
|
|
@@ -880,18 +920,18 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
880
920
|
this.checkAndEnqueueBaseRollup(provingState, txIndex);
|
|
881
921
|
};
|
|
882
922
|
if (this.provingState?.cachedChonkVerifierProofs.has(txHash)) {
|
|
883
|
-
logger.debug(`Chonk verifier proof already enqueued for tx index: ${txIndex}`, {
|
|
923
|
+
this.logger.debug(`Chonk verifier proof already enqueued for tx index: ${txIndex}`, {
|
|
884
924
|
txHash
|
|
885
925
|
});
|
|
886
926
|
void this.provingState.cachedChonkVerifierProofs.get(txHash).then(handleResult);
|
|
887
927
|
return;
|
|
888
928
|
}
|
|
889
|
-
logger.debug(`Enqueuing chonk verifier circuit for tx index: ${txIndex}`);
|
|
929
|
+
this.logger.debug(`Enqueuing chonk verifier circuit for tx index: ${txIndex}`);
|
|
890
930
|
this.doEnqueueChonkVerifier(txHash, txProvingState.getPublicChonkVerifierPrivateInputs(), handleResult);
|
|
891
931
|
}
|
|
892
932
|
doEnqueueChonkVerifier(txHash, inputs, handler, provingState = this.provingState) {
|
|
893
933
|
if (!provingState.verifyState()) {
|
|
894
|
-
logger.debug('Not running chonk verifier circuit, state invalid');
|
|
934
|
+
this.logger.debug('Not running chonk verifier circuit, state invalid');
|
|
895
935
|
return;
|
|
896
936
|
}
|
|
897
937
|
this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getPublicChonkVerifierProof', {
|
|
@@ -903,11 +943,11 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
903
943
|
// Enqueues the next level of merge if all inputs are available
|
|
904
944
|
enqueueMergeRollup(provingState, location) {
|
|
905
945
|
if (!provingState.verifyState()) {
|
|
906
|
-
logger.debug('Not running merge rollup. State no longer valid.');
|
|
946
|
+
this.logger.debug('Not running merge rollup. State no longer valid.');
|
|
907
947
|
return;
|
|
908
948
|
}
|
|
909
949
|
if (!provingState.tryStartProvingMerge(location)) {
|
|
910
|
-
logger.debug('Merge rollup already started.');
|
|
950
|
+
this.logger.debug('Merge rollup already started.');
|
|
911
951
|
return;
|
|
912
952
|
}
|
|
913
953
|
const inputs = provingState.getMergeRollupInputs(location);
|
|
@@ -921,15 +961,15 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
921
961
|
// Executes the block root rollup circuit
|
|
922
962
|
enqueueBlockRootRollup(provingState) {
|
|
923
963
|
if (!provingState.verifyState()) {
|
|
924
|
-
logger.debug('Not running block root rollup, state no longer valid');
|
|
964
|
+
this.logger.debug('Not running block root rollup, state no longer valid');
|
|
925
965
|
return;
|
|
926
966
|
}
|
|
927
967
|
if (!provingState.tryStartProvingBlockRoot()) {
|
|
928
|
-
logger.debug('Block root rollup already started.');
|
|
968
|
+
this.logger.debug('Block root rollup already started.');
|
|
929
969
|
return;
|
|
930
970
|
}
|
|
931
971
|
const { rollupType, inputs } = provingState.getBlockRootRollupTypeAndInputs();
|
|
932
|
-
logger.debug(`Enqueuing ${rollupType} for block ${provingState.blockNumber}.`);
|
|
972
|
+
this.logger.debug(`Enqueuing ${rollupType} for block ${provingState.blockNumber}.`);
|
|
933
973
|
this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getBlockRootRollupProof', {
|
|
934
974
|
[Attributes.PROTOCOL_CIRCUIT_NAME]: rollupType
|
|
935
975
|
}, (signal)=>{
|
|
@@ -945,27 +985,29 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
945
985
|
return this.prover.getBlockRootRollupProof(inputs, signal, provingState.epochNumber);
|
|
946
986
|
}
|
|
947
987
|
}), async (result)=>{
|
|
948
|
-
|
|
949
|
-
await this.verifyBuiltBlockAgainstSyncedState(provingState);
|
|
950
|
-
logger.debug(`Completed ${rollupType} proof for block ${provingState.blockNumber}`);
|
|
988
|
+
this.logger.debug(`Completed ${rollupType} proof for block ${provingState.blockNumber}`);
|
|
951
989
|
const leafLocation = provingState.setBlockRootRollupProof(result);
|
|
952
990
|
const checkpointProvingState = provingState.parentCheckpoint;
|
|
991
|
+
// If the proofs were slower than the block header building, then we need to try validating the block header hashes here.
|
|
992
|
+
await this.verifyBuiltBlockAgainstSyncedState(provingState);
|
|
953
993
|
if (checkpointProvingState.totalNumBlocks === 1) {
|
|
954
994
|
this.checkAndEnqueueCheckpointRootRollup(checkpointProvingState);
|
|
955
995
|
} else {
|
|
956
996
|
this.checkAndEnqueueNextBlockMergeRollup(checkpointProvingState, leafLocation);
|
|
957
997
|
}
|
|
998
|
+
// We are finished with the block at this point, ensure the fork is cleaned up
|
|
999
|
+
void this.cleanupDBFork(provingState.blockNumber);
|
|
958
1000
|
});
|
|
959
1001
|
}
|
|
960
1002
|
// Executes the base parity circuit and stores the intermediate state for the root parity circuit
|
|
961
1003
|
// Enqueues the root parity circuit if all inputs are available
|
|
962
1004
|
enqueueBaseParityCircuit(checkpointProvingState, provingState, baseParityIndex) {
|
|
963
1005
|
if (!provingState.verifyState()) {
|
|
964
|
-
logger.debug('Not running base parity. State no longer valid.');
|
|
1006
|
+
this.logger.debug('Not running base parity. State no longer valid.');
|
|
965
1007
|
return;
|
|
966
1008
|
}
|
|
967
1009
|
if (!provingState.tryStartProvingBaseParity(baseParityIndex)) {
|
|
968
|
-
logger.warn(`Base parity ${baseParityIndex} already started.`);
|
|
1010
|
+
this.logger.warn(`Base parity ${baseParityIndex} already started.`);
|
|
969
1011
|
return;
|
|
970
1012
|
}
|
|
971
1013
|
const inputs = checkpointProvingState.getBaseParityInputs(baseParityIndex);
|
|
@@ -986,11 +1028,11 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
986
1028
|
// Enqueues the root rollup proof if all inputs are available
|
|
987
1029
|
enqueueRootParityCircuit(provingState) {
|
|
988
1030
|
if (!provingState.verifyState()) {
|
|
989
|
-
logger.debug('Not running root parity. State no longer valid.');
|
|
1031
|
+
this.logger.debug('Not running root parity. State no longer valid.');
|
|
990
1032
|
return;
|
|
991
1033
|
}
|
|
992
1034
|
if (!provingState.tryStartProvingRootParity()) {
|
|
993
|
-
logger.debug('Root parity already started.');
|
|
1035
|
+
this.logger.debug('Root parity already started.');
|
|
994
1036
|
return;
|
|
995
1037
|
}
|
|
996
1038
|
const inputs = provingState.getParityRootInputs();
|
|
@@ -1005,11 +1047,11 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
1005
1047
|
// Enqueues the next level of merge if all inputs are available
|
|
1006
1048
|
enqueueBlockMergeRollup(provingState, location) {
|
|
1007
1049
|
if (!provingState.verifyState()) {
|
|
1008
|
-
logger.debug('Not running block merge rollup. State no longer valid.');
|
|
1050
|
+
this.logger.debug('Not running block merge rollup. State no longer valid.');
|
|
1009
1051
|
return;
|
|
1010
1052
|
}
|
|
1011
1053
|
if (!provingState.tryStartProvingBlockMerge(location)) {
|
|
1012
|
-
logger.debug('Block merge rollup already started.');
|
|
1054
|
+
this.logger.debug('Block merge rollup already started.');
|
|
1013
1055
|
return;
|
|
1014
1056
|
}
|
|
1015
1057
|
const inputs = provingState.getBlockMergeRollupInputs(location);
|
|
@@ -1022,15 +1064,15 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
1022
1064
|
}
|
|
1023
1065
|
enqueueCheckpointRootRollup(provingState) {
|
|
1024
1066
|
if (!provingState.verifyState()) {
|
|
1025
|
-
logger.debug('Not running checkpoint root rollup. State no longer valid.');
|
|
1067
|
+
this.logger.debug('Not running checkpoint root rollup. State no longer valid.');
|
|
1026
1068
|
return;
|
|
1027
1069
|
}
|
|
1028
1070
|
if (!provingState.tryStartProvingCheckpointRoot()) {
|
|
1029
|
-
logger.debug('Checkpoint root rollup already started.');
|
|
1071
|
+
this.logger.debug('Checkpoint root rollup already started.');
|
|
1030
1072
|
return;
|
|
1031
1073
|
}
|
|
1032
1074
|
const rollupType = provingState.getCheckpointRootRollupType();
|
|
1033
|
-
logger.debug(`Enqueuing ${rollupType} for checkpoint ${provingState.index}.`);
|
|
1075
|
+
this.logger.debug(`Enqueuing ${rollupType} for checkpoint ${provingState.index}.`);
|
|
1034
1076
|
const inputs = provingState.getCheckpointRootRollupInputs();
|
|
1035
1077
|
this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getCheckpointRootRollupProof', {
|
|
1036
1078
|
[Attributes.PROTOCOL_CIRCUIT_NAME]: rollupType
|
|
@@ -1044,11 +1086,11 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
1044
1086
|
const computedEndBlobAccumulatorState = provingState.getEndBlobAccumulator().toBlobAccumulator();
|
|
1045
1087
|
const circuitEndBlobAccumulatorState = result.inputs.endBlobAccumulator;
|
|
1046
1088
|
if (!circuitEndBlobAccumulatorState.equals(computedEndBlobAccumulatorState)) {
|
|
1047
|
-
logger.error(`Blob accumulator state mismatch.\nCircuit: ${inspect(circuitEndBlobAccumulatorState)}\nComputed: ${inspect(computedEndBlobAccumulatorState)}`);
|
|
1089
|
+
this.logger.error(`Blob accumulator state mismatch.\nCircuit: ${inspect(circuitEndBlobAccumulatorState)}\nComputed: ${inspect(computedEndBlobAccumulatorState)}`);
|
|
1048
1090
|
provingState.reject(`Blob accumulator state mismatch.`);
|
|
1049
1091
|
return;
|
|
1050
1092
|
}
|
|
1051
|
-
logger.debug(`Completed ${rollupType} proof for checkpoint ${provingState.index}.`);
|
|
1093
|
+
this.logger.debug(`Completed ${rollupType} proof for checkpoint ${provingState.index}.`);
|
|
1052
1094
|
const leafLocation = provingState.setCheckpointRootRollupProof(result);
|
|
1053
1095
|
const epochProvingState = provingState.parentEpoch;
|
|
1054
1096
|
if (epochProvingState.totalNumCheckpoints === 1) {
|
|
@@ -1060,37 +1102,37 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
1060
1102
|
}
|
|
1061
1103
|
enqueueCheckpointMergeRollup(provingState, location) {
|
|
1062
1104
|
if (!provingState.verifyState()) {
|
|
1063
|
-
logger.debug('Not running checkpoint merge rollup. State no longer valid.');
|
|
1105
|
+
this.logger.debug('Not running checkpoint merge rollup. State no longer valid.');
|
|
1064
1106
|
return;
|
|
1065
1107
|
}
|
|
1066
1108
|
if (!provingState.tryStartProvingCheckpointMerge(location)) {
|
|
1067
|
-
logger.debug('Checkpoint merge rollup already started.');
|
|
1109
|
+
this.logger.debug('Checkpoint merge rollup already started.');
|
|
1068
1110
|
return;
|
|
1069
1111
|
}
|
|
1070
1112
|
const inputs = provingState.getCheckpointMergeRollupInputs(location);
|
|
1071
1113
|
this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getCheckpointMergeRollupProof', {
|
|
1072
1114
|
[Attributes.PROTOCOL_CIRCUIT_NAME]: 'rollup-checkpoint-merge'
|
|
1073
1115
|
}, (signal)=>this.prover.getCheckpointMergeRollupProof(inputs, signal, provingState.epochNumber)), (result)=>{
|
|
1074
|
-
logger.debug('Completed proof for checkpoint merge rollup.');
|
|
1116
|
+
this.logger.debug('Completed proof for checkpoint merge rollup.');
|
|
1075
1117
|
provingState.setCheckpointMergeRollupProof(location, result);
|
|
1076
1118
|
this.checkAndEnqueueNextCheckpointMergeRollup(provingState, location);
|
|
1077
1119
|
});
|
|
1078
1120
|
}
|
|
1079
1121
|
enqueueEpochPadding(provingState) {
|
|
1080
1122
|
if (!provingState.verifyState()) {
|
|
1081
|
-
logger.debug('Not running epoch padding. State no longer valid.');
|
|
1123
|
+
this.logger.debug('Not running epoch padding. State no longer valid.');
|
|
1082
1124
|
return;
|
|
1083
1125
|
}
|
|
1084
1126
|
if (!provingState.tryStartProvingPaddingCheckpoint()) {
|
|
1085
|
-
logger.debug('Padding checkpoint already started.');
|
|
1127
|
+
this.logger.debug('Padding checkpoint already started.');
|
|
1086
1128
|
return;
|
|
1087
1129
|
}
|
|
1088
|
-
logger.debug('Padding epoch proof with a padding block root proof.');
|
|
1130
|
+
this.logger.debug('Padding epoch proof with a padding block root proof.');
|
|
1089
1131
|
const inputs = provingState.getPaddingCheckpointInputs();
|
|
1090
1132
|
this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getCheckpointPaddingRollupProof', {
|
|
1091
1133
|
[Attributes.PROTOCOL_CIRCUIT_NAME]: 'rollup-checkpoint-padding'
|
|
1092
1134
|
}, (signal)=>this.prover.getCheckpointPaddingRollupProof(inputs, signal, provingState.epochNumber)), (result)=>{
|
|
1093
|
-
logger.debug('Completed proof for padding checkpoint.');
|
|
1135
|
+
this.logger.debug('Completed proof for padding checkpoint.');
|
|
1094
1136
|
provingState.setCheckpointPaddingProof(result);
|
|
1095
1137
|
this.checkAndEnqueueRootRollup(provingState);
|
|
1096
1138
|
});
|
|
@@ -1098,15 +1140,15 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
1098
1140
|
// Executes the root rollup circuit
|
|
1099
1141
|
enqueueRootRollup(provingState) {
|
|
1100
1142
|
if (!provingState.verifyState()) {
|
|
1101
|
-
logger.debug('Not running root rollup, state no longer valid');
|
|
1143
|
+
this.logger.debug('Not running root rollup, state no longer valid');
|
|
1102
1144
|
return;
|
|
1103
1145
|
}
|
|
1104
|
-
logger.debug(`Preparing root rollup`);
|
|
1146
|
+
this.logger.debug(`Preparing root rollup`);
|
|
1105
1147
|
const inputs = provingState.getRootRollupInputs();
|
|
1106
1148
|
this.deferredProving(provingState, wrapCallbackInSpan(this.tracer, 'ProvingOrchestrator.prover.getRootRollupProof', {
|
|
1107
1149
|
[Attributes.PROTOCOL_CIRCUIT_NAME]: 'rollup-root'
|
|
1108
1150
|
}, (signal)=>this.prover.getRootRollupProof(inputs, signal, provingState.epochNumber)), (result)=>{
|
|
1109
|
-
logger.verbose(`Orchestrator completed root rollup for epoch ${provingState.epochNumber}`);
|
|
1151
|
+
this.logger.verbose(`Orchestrator completed root rollup for epoch ${provingState.epochNumber}`);
|
|
1110
1152
|
provingState.setRootRollupProof(result);
|
|
1111
1153
|
provingState.resolve({
|
|
1112
1154
|
status: 'success'
|
|
@@ -1126,7 +1168,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
1126
1168
|
}
|
|
1127
1169
|
checkAndEnqueueBlockRootRollup(provingState) {
|
|
1128
1170
|
if (!provingState.isReadyForBlockRootRollup()) {
|
|
1129
|
-
logger.debug('Not ready for block root rollup');
|
|
1171
|
+
this.logger.debug('Not ready for block root rollup');
|
|
1130
1172
|
return;
|
|
1131
1173
|
}
|
|
1132
1174
|
this.enqueueBlockRootRollup(provingState);
|
|
@@ -1161,7 +1203,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
1161
1203
|
}
|
|
1162
1204
|
checkAndEnqueueRootRollup(provingState) {
|
|
1163
1205
|
if (!provingState.isReadyForRootRollup()) {
|
|
1164
|
-
logger.debug('Not ready for root rollup');
|
|
1206
|
+
this.logger.debug('Not ready for root rollup');
|
|
1165
1207
|
return;
|
|
1166
1208
|
}
|
|
1167
1209
|
this.enqueueRootRollup(provingState);
|
|
@@ -1173,7 +1215,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
1173
1215
|
* @param txIndex - The index of the transaction being proven
|
|
1174
1216
|
*/ enqueueVM(provingState, txIndex) {
|
|
1175
1217
|
if (!provingState.verifyState()) {
|
|
1176
|
-
logger.debug(`Not running VM circuit as state is no longer valid`);
|
|
1218
|
+
this.logger.debug(`Not running VM circuit as state is no longer valid`);
|
|
1177
1219
|
return;
|
|
1178
1220
|
}
|
|
1179
1221
|
const txProvingState = provingState.getTxProvingState(txIndex);
|
|
@@ -1184,7 +1226,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
1184
1226
|
return await this.prover.getAvmProof(inputs, signal, provingState.epochNumber);
|
|
1185
1227
|
});
|
|
1186
1228
|
this.deferredProving(provingState, doAvmProving, (proof)=>{
|
|
1187
|
-
logger.debug(`Proven VM for tx index: ${txIndex}`);
|
|
1229
|
+
this.logger.debug(`Proven VM for tx index: ${txIndex}`);
|
|
1188
1230
|
txProvingState.setAvmProof(proof);
|
|
1189
1231
|
this.checkAndEnqueueBaseRollup(provingState, txIndex);
|
|
1190
1232
|
});
|
|
@@ -1195,7 +1237,7 @@ _dec = trackSpan('ProvingOrchestrator.startNewBlock', (blockNumber)=>({
|
|
|
1195
1237
|
return;
|
|
1196
1238
|
}
|
|
1197
1239
|
// We must have completed all proving (chonk verifier proof and (if required) vm proof are generated), we now move to the base rollup.
|
|
1198
|
-
logger.debug(`Public functions completed for tx ${txIndex} enqueueing base rollup`);
|
|
1240
|
+
this.logger.debug(`Public functions completed for tx ${txIndex} enqueueing base rollup`);
|
|
1199
1241
|
this.enqueueBaseRollup(provingState, txIndex);
|
|
1200
1242
|
}
|
|
1201
1243
|
}
|
|
@@ -39,4 +39,4 @@ export declare class ProverClient implements EpochProverManager {
|
|
|
39
39
|
private stopAgents;
|
|
40
40
|
}
|
|
41
41
|
export declare function buildServerCircuitProver(config: ActualProverConfig & ACVMConfig & BBConfig, telemetry: TelemetryClient): Promise<ServerCircuitProver>;
|
|
42
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
42
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVyLWNsaWVudC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Byb3Zlci1jbGllbnQvcHJvdmVyLWNsaWVudC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsS0FBSyxVQUFVLEVBQUUsS0FBSyxRQUFRLEVBQTJDLE1BQU0sa0JBQWtCLENBQUM7QUFFM0csT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFHaEUsT0FBTyxFQUNMLEtBQUssa0JBQWtCLEVBQ3ZCLEtBQUssV0FBVyxFQUNoQixLQUFLLGtCQUFrQixFQUN2QixLQUFLLHdCQUF3QixFQUM3QixLQUFLLGdCQUFnQixFQUNyQixLQUFLLGtCQUFrQixFQUV2QixLQUFLLHdCQUF3QixFQUM3QixLQUFLLG1CQUFtQixFQUV6QixNQUFNLGlDQUFpQyxDQUFDO0FBQ3pDLE9BQU8sRUFBRSxLQUFLLGVBQWUsRUFBc0IsTUFBTSx5QkFBeUIsQ0FBQztBQUVuRixPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLGNBQWMsQ0FBQztBQU92RCxzSEFBc0g7QUFDdEgscUJBQWEsWUFBYSxZQUFXLGtCQUFrQjtJQVFuRCxPQUFPLENBQUMsTUFBTTtJQUNkLE9BQU8sQ0FBQyxVQUFVO0lBQ2xCLE9BQU8sQ0FBQyxrQkFBa0I7SUFDMUIsT0FBTyxDQUFDLFdBQVcsQ0FBQztJQUNwQixPQUFPLENBQUMsU0FBUztJQUNqQixPQUFPLENBQUMsR0FBRztJQVpiLE9BQU8sQ0FBQyxPQUFPLENBQVM7SUFDeEIsT0FBTyxDQUFDLE1BQU0sQ0FBc0I7SUFFcEMsT0FBTyxDQUFDLFVBQVUsQ0FBYTtJQUMvQixPQUFPLENBQUMsZ0JBQWdCLENBQXlCO0lBRWpELE9BQU8sZUFVTjtJQUVNLGlCQUFpQixJQUFJLFdBQVcsQ0FrQnRDO0lBRU0sV0FBVyxJQUFJLFVBQVUsQ0FFL0I7SUFFSyxrQkFBa0IsQ0FBQyxNQUFNLEVBQUUsT0FBTyxDQUFDLGtCQUFrQixDQUFDLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQVkzRTtJQUVEOztPQUVHO0lBQ1UsS0FBSyxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FPbEM7SUFFRDs7T0FFRztJQUNVLElBQUksa0JBT2hCO0lBRUQ7Ozs7O09BS0c7SUFDSCxPQUFvQixHQUFHLENBQ3JCLE1BQU0sRUFBRSxrQkFBa0IsRUFDMUIsVUFBVSxFQUFFLHdCQUF3QixHQUFHLHdCQUF3QixFQUMvRCxNQUFNLEVBQUUsZ0JBQWdCLEVBQ3hCLFNBQVMsR0FBRSxlQUFzQyx5QkFLbEQ7SUFFTSxtQkFBbUIsSUFBSSxrQkFBa0IsQ0FNL0M7WUFFYSxvQkFBb0I7WUFxQnBCLFVBQVU7Q0FHekI7QUFFRCx3QkFBZ0Isd0JBQXdCLENBQ3RDLE1BQU0sRUFBRSxrQkFBa0IsR0FBRyxVQUFVLEdBQUcsUUFBUSxFQUNsRCxTQUFTLEVBQUUsZUFBZSxHQUN6QixPQUFPLENBQUMsbUJBQW1CLENBQUMsQ0FXOUIifQ==
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"prover-client.d.ts","sourceRoot":"","sources":["../../src/prover-client/prover-client.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,QAAQ,EAA2C,MAAM,kBAAkB,CAAC;AAE3G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAGhE,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,kBAAkB,EACvB,KAAK,wBAAwB,EAC7B,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EAEvB,KAAK,wBAAwB,EAC7B,KAAK,mBAAmB,EAEzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAEnF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAOvD,sHAAsH;AACtH,qBAAa,YAAa,YAAW,kBAAkB;IAQnD,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,WAAW,CAAC;IACpB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,GAAG;IAZb,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,MAAM,CAAsB;IAEpC,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,gBAAgB,CAAyB;IAEjD,OAAO,eAUN;IAEM,iBAAiB,IAAI,WAAW,
|
|
1
|
+
{"version":3,"file":"prover-client.d.ts","sourceRoot":"","sources":["../../src/prover-client/prover-client.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,QAAQ,EAA2C,MAAM,kBAAkB,CAAC;AAE3G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAGhE,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,kBAAkB,EACvB,KAAK,wBAAwB,EAC7B,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EAEvB,KAAK,wBAAwB,EAC7B,KAAK,mBAAmB,EAEzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,KAAK,eAAe,EAAsB,MAAM,yBAAyB,CAAC;AAEnF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAOvD,sHAAsH;AACtH,qBAAa,YAAa,YAAW,kBAAkB;IAQnD,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,WAAW,CAAC;IACpB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,GAAG;IAZb,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,MAAM,CAAsB;IAEpC,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,gBAAgB,CAAyB;IAEjD,OAAO,eAUN;IAEM,iBAAiB,IAAI,WAAW,CAkBtC;IAEM,WAAW,IAAI,UAAU,CAE/B;IAEK,kBAAkB,CAAC,MAAM,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAY3E;IAED;;OAEG;IACU,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAOlC;IAED;;OAEG;IACU,IAAI,kBAOhB;IAED;;;;;OAKG;IACH,OAAoB,GAAG,CACrB,MAAM,EAAE,kBAAkB,EAC1B,UAAU,EAAE,wBAAwB,GAAG,wBAAwB,EAC/D,MAAM,EAAE,gBAAgB,EACxB,SAAS,GAAE,eAAsC,yBAKlD;IAEM,mBAAmB,IAAI,kBAAkB,CAM/C;YAEa,oBAAoB;YAqBpB,UAAU;CAGzB;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,kBAAkB,GAAG,UAAU,GAAG,QAAQ,EAClD,SAAS,EAAE,eAAe,GACzB,OAAO,CAAC,mBAAmB,CAAC,CAW9B"}
|