@proto-kit/protocol 0.1.1-develop.0

package/dist/prover/block/BlockProver.js

@@ -0,0 +1,510 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+var __param = (this && this.__param) || function (paramIndex, decorator) {
+    return function (target, key) { decorator(target, key, paramIndex); }
+};
+import { Bool, Field, Poseidon, Provable, SelfProof, ZkProgram, } from "o1js";
+import { container, inject, injectable, injectAll } from "tsyringe";
+import { MAX_FIELD, provableMethod, ZkProgrammable, } from "@proto-kit/common";
+import { DefaultProvableHashList } from "../../utils/ProvableHashList";
+import { ProtocolModule } from "../../protocol/ProtocolModule";
+import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
+import { ProvableStateTransition, } from "../../model/StateTransition";
+import { RuntimeMethodExecutionContext } from "../../state/context/RuntimeMethodExecutionContext";
+import { NetworkState } from "../../model/network/NetworkState";
+import { SignedTransaction } from "../../model/transaction/SignedTransaction";
+import { MinaActions, MinaActionsHashList, } from "../../utils/MinaPrefixedProvableHashList";
+import { StateTransitionReductionList } from "../../utils/StateTransitionReductionList";
+import { BlockProverExecutionData, BlockProverPublicInput, BlockProverPublicOutput, DynamicRuntimeProof, } from "./BlockProvable";
+import { BlockHashMerkleTreeWitness, BlockHashTreeEntry, } from "./accummulators/BlockHashMerkleTree";
+import { MethodVKConfigData, RuntimeVerificationKeyAttestation, } from "./accummulators/RuntimeVerificationKeyTree";
+import { RuntimeVerificationKeyRootService } from "./services/RuntimeVerificationKeyRootService";
+const errors = {
+    stateProofNotStartingAtZero: () => "StateProof not starting ST-commitment at zero",
+    stateTransitionsHashNotEqual: () => "StateTransition list commitments are not equal",
+    propertyNotMatchingStep: (propertyName, step) => `${propertyName} not matching: ${step}`,
+    propertyNotMatching: (propertyName) => `${propertyName} not matching`,
+    stateRootNotMatching: (step) => errors.propertyNotMatchingStep("StateRoots", step),
+    transactionsHashNotMatching: (step) => errors.propertyNotMatchingStep("Transactions hash", step),
+    networkStateHashNotMatching: (step) => errors.propertyNotMatchingStep("Network state hash", step),
+    invalidZkProgramTreeRoot: () => "Root hash of the provided zkProgram config witness is invalid",
+    invalidZkProgramConfigMethodId: () => "Method id of the provided zkProgram config does not match the executed transaction method id",
+};
+export class BlockProverProgrammable extends ZkProgrammable {
+    constructor(prover, stateTransitionProver, runtime, transactionHooks, blockHooks, verificationKeyService) {
+        super();
+        this.prover = prover;
+        this.stateTransitionProver = stateTransitionProver;
+        this.runtime = runtime;
+        this.transactionHooks = transactionHooks;
+        this.blockHooks = blockHooks;
+        this.verificationKeyService = verificationKeyService;
+        this.name = "BlockProver";
+    }
+    get areProofsEnabled() {
+        return this.prover.areProofsEnabled;
+    }
+    /**
+     * Applies and checks the two proofs and applies the corresponding state
+     * changes to the given state
+     *
+     * @param state The from-state of the BlockProver
+     * @param stateTransitionProof
+     * @param runtimeProof
+     * @param executionData
+     * @param verificationKey
+     * @returns The new BlockProver-state to be used as public output
+     */
+    async applyTransaction(state, stateTransitionProof, runtimeProof, executionData, verificationKey) {
+        const { transaction, networkState, signature } = executionData;
+        const { isMessage } = runtimeProof.publicOutput;
+        runtimeProof.verify(verificationKey);
+        stateTransitionProof.verify();
+        const stateTo = { ...state };
+        // Checks for the stateTransitionProof and appProof matching
+        stateTransitionProof.publicInput.stateTransitionsHash.assertEquals(Field(0), errors.stateProofNotStartingAtZero());
+        stateTransitionProof.publicInput.protocolTransitionsHash.assertEquals(Field(0), errors.stateProofNotStartingAtZero());
+        runtimeProof.publicOutput.stateTransitionsHash.assertEquals(stateTransitionProof.publicOutput.stateTransitionsHash, errors.stateTransitionsHashNotEqual());
+        // Assert from state roots
+        state.stateRoot.assertEquals(stateTransitionProof.publicInput.stateRoot, errors.propertyNotMatching("from state root"));
+        state.stateRoot.assertEquals(stateTransitionProof.publicInput.protocolStateRoot, errors.propertyNotMatching("from protocol state root"));
+        // Apply protocol state transitions
+        await this.assertProtocolTransitions(stateTransitionProof, executionData, runtimeProof);
+        // Apply state if status success
+        stateTo.stateRoot = Provable.if(runtimeProof.publicOutput.status, stateTransitionProof.publicOutput.stateRoot, stateTransitionProof.publicOutput.protocolStateRoot);
+        // Check transaction integrity against appProof
+        const blockTransactionHash = transaction.hash();
+        blockTransactionHash.assertEquals(runtimeProof.publicOutput.transactionHash, "Transactions provided in AppProof and BlockProof do not match");
+        // Check transaction signature
+        new SignedTransaction({
+            transaction,
+            signature,
+        })
+            .validateSignature()
+            .or(isMessage)
+            .assertTrue("Transaction signature not valid");
+        // Validate layout of transaction witness
+        transaction.assertTransactionType(isMessage);
+        // Check network state integrity against appProof
+        state.networkStateHash.assertEquals(runtimeProof.publicOutput.networkStateHash, "Network state does not match state used in AppProof");
+        state.networkStateHash.assertEquals(networkState.hash(), "Network state provided to BlockProver does not match the publicInput");
+        return stateTo;
+    }
+    // eslint-disable-next-line max-len
+    // TODO How does this interact with the RuntimeMethodExecutionContext when executing runtimemethods?
+    async assertProtocolTransitions(stateTransitionProof, executionData, runtimeProof) {
+        const executionContext = container.resolve(RuntimeMethodExecutionContext);
+        executionContext.clear();
+        // Setup context for potential calls to runtime methods.
+        // This way they can use this.transaction etc. while still having provable
+        // integrity between data
+        executionContext.setup({
+            // That is why we should probably hide it from the transaction context inputs
+            transaction: executionData.transaction,
+            networkState: executionData.networkState,
+        });
+        executionContext.beforeMethod("", "", []);
+        for (const module of this.transactionHooks) {
+            // eslint-disable-next-line no-await-in-loop
+            await module.onTransaction(executionData);
+        }
+        executionContext.afterMethod();
+        const { stateTransitions, status, statusMessage } = executionContext.current().result;
+        status.assertTrue(statusMessage);
+        const transitions = stateTransitions.map((transition) => transition.toProvable());
+        const hashList = new StateTransitionReductionList(ProvableStateTransition, stateTransitionProof.publicInput.protocolTransitionsHash);
+        transitions.forEach((transition) => {
+            hashList.push(transition);
+        });
+        stateTransitionProof.publicOutput.protocolTransitionsHash.assertEquals(hashList.commitment, "ProtocolTransitionsHash not matching the generated protocol transitions");
+    }
+    async executeBlockHooks(state, inputNetworkState, type) {
+        const executionContext = container.resolve(RuntimeMethodExecutionContext);
+        executionContext.clear();
+        executionContext.beforeMethod("", "", []);
+        const resultingNetworkState = await this.blockHooks.reduce(async (networkStatePromise, blockHook) => {
+            const networkState = await networkStatePromise;
+            // Setup context for potential calls to runtime methods.
+            // With the special case that we set the new networkstate for every hook
+            // We also have to put in a dummy transaction for network.transaction
+            executionContext.setup({
+                transaction: RuntimeTransaction.dummyTransaction(),
+                networkState,
+            });
+            if (type === "beforeBlock") {
+                return await blockHook.beforeBlock(networkState, state);
+            }
+            if (type === "afterBlock") {
+                return await blockHook.afterBlock(networkState, state);
+            }
+            throw new Error("Unreachable");
+        }, Promise.resolve(inputNetworkState));
+        executionContext.afterMethod();
+        const { stateTransitions, status, statusMessage } = executionContext.current().result;
+        status.assertTrue(`Block hook call failed: ${statusMessage ?? "-"}`);
+        return {
+            networkState: resultingNetworkState,
+            stateTransitions,
+        };
+    }
+    addTransactionToBundle(state, isMessage, transaction) {
+        const stateTo = {
+            ...state,
+        };
+        const transactionHash = transaction.hash();
+        // Append tx to transaction list
+        const transactionList = new DefaultProvableHashList(Field, state.transactionsHash);
+        transactionList.pushIf(transactionHash, isMessage.not());
+        stateTo.transactionsHash = transactionList.commitment;
+        // Append tx to eternal transaction list
+        // TODO Change that to the a sequence-state compatible transaction struct
+        const eternalTransactionList = new DefaultProvableHashList(Field, state.eternalTransactionsHash);
+        eternalTransactionList.pushIf(transactionHash, isMessage.not());
+        stateTo.eternalTransactionsHash = eternalTransactionList.commitment;
+        // Append tx to incomingMessagesHash
+        const actionHash = MinaActions.actionHash(transaction.hashData());
+        const incomingMessagesList = new MinaActionsHashList(state.incomingMessagesHash);
+        incomingMessagesList.pushIf(actionHash, isMessage);
+        stateTo.incomingMessagesHash = incomingMessagesList.commitment;
+        return stateTo;
+    }
+    async proveTransaction(publicInput, stateProof, runtimeProof, executionData, verificationKeyWitness) {
+        const state = {
+            ...publicInput,
+        };
+        state.networkStateHash.assertEquals(executionData.networkState.hash(), "ExecutionData Networkstate doesn't equal public input hash");
+        publicInput.blockNumber.assertEquals(MAX_FIELD, "blockNumber has to be MAX for transaction proofs");
+        // Verify the [methodId, vk] tuple against the baked-in vk tree root
+        const { verificationKey, witness: verificationKeyTreeWitness } = verificationKeyWitness;
+        const root = Field(this.verificationKeyService.getRoot());
+        const calculatedRoot = verificationKeyTreeWitness.calculateRoot(new MethodVKConfigData({
+            methodId: executionData.transaction.methodId,
+            vkHash: verificationKey.hash,
+        }).hash());
+        root.assertEquals(calculatedRoot, errors.invalidZkProgramTreeRoot());
+        const bundleInclusionState = this.addTransactionToBundle(state, runtimeProof.publicOutput.isMessage, executionData.transaction);
+        const stateTo = await this.applyTransaction(bundleInclusionState, stateProof, runtimeProof, executionData, verificationKey);
+        return new BlockProverPublicOutput({
+            ...stateTo,
+            blockNumber: publicInput.blockNumber,
+            closed: Bool(false),
+        });
+    }
+    assertSTProofInput(stateTransitionProof, stateRoot) {
+        stateTransitionProof.publicInput.stateTransitionsHash.assertEquals(Field(0), errors.stateProofNotStartingAtZero());
+        stateTransitionProof.publicInput.protocolTransitionsHash.assertEquals(Field(0), errors.stateProofNotStartingAtZero());
+        // Assert from state roots
+        stateRoot.assertEquals(stateTransitionProof.publicInput.stateRoot, errors.propertyNotMatching("from state root"));
+    }
+    async proveBlock(publicInput, networkState, blockWitness, 
+    // stateTransitionProof: StateTransitionProof,
+    transactionProof) {
+        const state = {
+            ...publicInput,
+        };
+        // 1. Make assertions about the inputs
+        publicInput.transactionsHash.assertEquals(Field(0), "Transactionshash has to start at 0");
+        publicInput.networkStateHash.assertEquals(networkState.hash(), "Wrong NetworkState supplied");
+        transactionProof.publicInput.transactionsHash.assertEquals(Field(0), "TransactionProof transactionshash has to start at 0");
+        transactionProof.publicInput.blockHashRoot.assertEquals(Field(0), "TransactionProof cannot carry the blockHashRoot - publicInput");
+        transactionProof.publicOutput.blockHashRoot.assertEquals(Field(0), "TransactionProof cannot carry the blockHashRoot - publicOutput");
+        transactionProof.publicInput.networkStateHash.assertEquals(transactionProof.publicOutput.networkStateHash, "TransactionProof cannot alter the network state");
+        transactionProof.publicInput.eternalTransactionsHash.assertEquals(state.eternalTransactionsHash, "TransactionProof starting eternalTransactionHash not matching");
+        transactionProof.publicInput.incomingMessagesHash.assertEquals(state.incomingMessagesHash, "TransactionProof starting incomingMessagesHash not matching");
+        // TODO Reintroduce ST Proofs
+        // Verify ST Proof only if STs have been emitted,
+        // otherwise we can input a dummy proof
+        // const stsEmitted = stateTransitionProof.publicOutput.stateTransitionsHash
+        //   .equals(0)
+        //   .and(stateTransitionProof.publicOutput.protocolTransitionsHash.equals(0))
+        //   .not();
+        // Provable.log("VerifyIf 1", stsEmitted);
+        // stateTransitionProof.verifyIf(Bool(false));
+        // stateTransitionProof.verifyIf(stsEmitted);
+        // Verify Transaction proof if it has at least 1 tx - i.e. the
+        // input and output doesn't match fully
+        // We have to compare the whole input and output because we can make no
+        // assumptions about the values, since it can be an arbitrary dummy-proof
+        const txProofOutput = transactionProof.publicOutput;
+        const isEmptyTransition = txProofOutput.equals(transactionProof.publicInput, txProofOutput.closed);
+        Provable.log("VerifyIf 2", isEmptyTransition.not());
+        transactionProof.verifyIf(isEmptyTransition.not());
+        // 2. Execute beforeBlock hooks
+        const beforeBlockResult = await this.executeBlockHooks(state, networkState, "beforeBlock");
+        // const beforeBlockHashList = new StateTransitionReductionList(
+        //   ProvableStateTransition
+        // );
+        // beforeBlockResult.stateTransitions.forEach((st) => {
+        //   beforeBlockHashList.push(st.toProvable());
+        // });
+        // We are reusing protocolSTs here as beforeBlock STs
+        // TODO Not possible atm bcs we can't have a seperation between protocol/runtime state roots,
+        // which we would for both before and after to be able to emit STs
+        // stateTransitionProof.publicInput.protocolTransitionsHash.assertEquals(
+        //   beforeBlockHashList.commitment
+        // );
+        // state.stateRoot = stateTransitionProof.publicInput.protocolStateRoot;
+        // TODO Only for now
+        // beforeBlockHashList.commitment.assertEquals(
+        //   Field(0),
+        //   "beforeBlock() cannot emit state transitions yet"
+        // );
+        // 4. Apply TX-type BlockProof
+        transactionProof.publicInput.networkStateHash.assertEquals(beforeBlockResult.networkState.hash(), "TransactionProof networkstate hash not matching beforeBlock hook result");
+        transactionProof.publicInput.stateRoot.assertEquals(state.stateRoot, "TransactionProof input state root not matching blockprover state root");
+        state.stateRoot = transactionProof.publicOutput.stateRoot;
+        state.transactionsHash = transactionProof.publicOutput.transactionsHash;
+        state.eternalTransactionsHash =
+            transactionProof.publicOutput.eternalTransactionsHash;
+        state.incomingMessagesHash =
+            transactionProof.publicOutput.incomingMessagesHash;
+        // 5. Execute afterBlock hooks
+        // this.assertSTProofInput(stateTransitionProof, state.stateRoot);
+        const afterBlockResult = await this.executeBlockHooks(state, beforeBlockResult.networkState, "afterBlock");
+        const afterBlockHashList = new StateTransitionReductionList(ProvableStateTransition);
+        afterBlockResult.stateTransitions.forEach((st) => {
+            afterBlockHashList.push(st.toProvable());
+        });
+        state.networkStateHash = afterBlockResult.networkState.hash();
+        // We are reusing runtime STs here as afterBlock STs
+        // stateTransitionProof.publicInput.protocolTransitionsHash.assertEquals(
+        //   afterBlockHashList.commitment,
+        //   "STProof from-ST-hash not matching generated ST-hash from afterBlock hooks"
+        // );
+        // state.stateRoot = Provable.if(
+        //   stsEmitted,
+        //   stateTransitionProof.publicOutput.stateRoot,
+        //   state.stateRoot
+        // );
+        // 6. Close block
+        // Calculate the new block index
+        const blockIndex = blockWitness.calculateIndex();
+        blockIndex.assertEquals(publicInput.blockNumber);
+        blockWitness
+            .calculateRoot(Field(0))
+            .assertEquals(publicInput.blockHashRoot, "Supplied block hash witness not matching state root");
+        state.blockHashRoot = blockWitness.calculateRoot(new BlockHashTreeEntry({
+            // Mirroring UnprovenBlock.hash()
+            blockHash: Poseidon.hash([blockIndex, state.transactionsHash]),
+            closed: Bool(true),
+        }).hash());
+        return new BlockProverPublicOutput({
+            ...state,
+            blockNumber: blockIndex.add(1),
+            closed: Bool(true),
+        });
+    }
+    async merge(publicInput, proof1, proof2) {
+        proof1.verify();
+        proof2.verify();
+        // Check state
+        publicInput.stateRoot.assertEquals(proof1.publicInput.stateRoot, errors.stateRootNotMatching("publicInput.from -> proof1.from"));
+        proof1.publicOutput.stateRoot.assertEquals(proof2.publicInput.stateRoot, errors.stateRootNotMatching("proof1.to -> proof2.from"));
+        // Check transaction list hash.
+        // Only assert them if these are tx proofs, skip for closed proofs
+        publicInput.transactionsHash
+            .equals(proof1.publicInput.transactionsHash)
+            .or(proof1.publicOutput.closed)
+            .assertTrue(errors.transactionsHashNotMatching("publicInput.from -> proof1.from"));
+        proof1.publicOutput.transactionsHash
+            .equals(proof2.publicInput.transactionsHash)
+            .or(proof1.publicOutput.closed)
+            .assertTrue(errors.transactionsHashNotMatching("proof1.to -> proof2.from"));
+        // Check networkhash
+        publicInput.networkStateHash.assertEquals(proof1.publicInput.networkStateHash, errors.networkStateHashNotMatching("publicInput.from -> proof1.from"));
+        proof1.publicOutput.networkStateHash.assertEquals(proof2.publicInput.networkStateHash, errors.networkStateHashNotMatching("proof1.to -> proof2.from"));
+        // Check blockHashRoot
+        publicInput.blockHashRoot.assertEquals(proof1.publicInput.blockHashRoot, errors.transactionsHashNotMatching("publicInput.from -> proof1.from"));
+        proof1.publicOutput.blockHashRoot.assertEquals(proof2.publicInput.blockHashRoot, errors.transactionsHashNotMatching("proof1.to -> proof2.from"));
+        // Check eternalTransactionsHash
+        publicInput.eternalTransactionsHash.assertEquals(proof1.publicInput.eternalTransactionsHash, errors.transactionsHashNotMatching("publicInput.from -> proof1.from"));
+        proof1.publicOutput.eternalTransactionsHash.assertEquals(proof2.publicInput.eternalTransactionsHash, errors.transactionsHashNotMatching("proof1.to -> proof2.from"));
+        // Check incomingMessagesHash
+        publicInput.incomingMessagesHash.assertEquals(proof1.publicInput.incomingMessagesHash, errors.propertyNotMatchingStep("IncomingMessagesHash", "publicInput.from -> proof1.from"));
+        proof1.publicOutput.incomingMessagesHash.assertEquals(proof2.publicInput.incomingMessagesHash, errors.propertyNotMatchingStep("IncomingMessagesHash", "proof1.to -> proof2.from"));
+        // Assert closed indicator matches
+        // (i.e. we can only merge TX-Type and Block-Type with each other)
+        proof1.publicOutput.closed.assertEquals(proof2.publicOutput.closed, "Closed indicators not matching");
+        // Either
+        // blockNumbers are unset and proofs are unclosed or
+        // both blocks are closed, then they have to increment or
+        // one block is closed, then height has to be the same
+        // Imperative algo would look like
+        // if(proof1.height == MAX && proof2.height == MAX){
+        //   assert !proof1.closed && !proof2.closed;
+        // }else if(proof1.closed && proof2.closed){
+        //   assert proof1.height + 1 == proof2.height
+        // // next one is omitted for now
+        // }else if(proof1.closed || proof2.closed{
+        //   assert proof1.height == proof2.height
+        // }
+        const proof1Closed = proof1.publicOutput.closed;
+        const proof2Closed = proof2.publicOutput.closed;
+        const blockNumberProgressionValid = publicInput.blockNumber
+            .equals(proof1.publicInput.blockNumber)
+            .and(proof1.publicOutput.blockNumber.equals(proof2.publicInput.blockNumber));
+        // For tx proofs, we check that the progression starts and end with MAX
+        // in addition to that both proofs are non-closed
+        const isValidTransactionMerge = publicInput.blockNumber
+            .equals(MAX_FIELD)
+            .and(blockNumberProgressionValid)
+            .and(proof1Closed.or(proof2Closed).not());
+        const isValidClosedMerge = proof1Closed
+            .and(proof2Closed)
+            .and(blockNumberProgressionValid);
+        isValidTransactionMerge
+            .or(isValidClosedMerge)
+            .assertTrue("Invalid BlockProof merge");
+        return new BlockProverPublicOutput({
+            stateRoot: proof2.publicOutput.stateRoot,
+            transactionsHash: proof2.publicOutput.transactionsHash,
+            networkStateHash: proof2.publicOutput.networkStateHash,
+            blockHashRoot: proof2.publicOutput.blockHashRoot,
+            eternalTransactionsHash: proof2.publicOutput.eternalTransactionsHash,
+            incomingMessagesHash: proof2.publicOutput.incomingMessagesHash,
+            closed: isValidClosedMerge,
+            blockNumber: proof2.publicOutput.blockNumber,
+        });
+    }
+    /**
+     * Creates the BlockProver ZkProgram.
+     * Recursive linking of proofs is done via the previously
+     * injected StateTransitionProver and the required AppChainProof class
+     */
+    zkProgramFactory() {
+        const { prover, stateTransitionProver } = this;
+        const StateTransitionProofClass = stateTransitionProver.zkProgram[0].Proof;
+        const proveTransaction = prover.proveTransaction.bind(prover);
+        const proveBlock = prover.proveBlock.bind(prover);
+        const merge = prover.merge.bind(prover);
+        const program = ZkProgram({
+            name: "BlockProver",
+            publicInput: BlockProverPublicInput,
+            publicOutput: BlockProverPublicOutput,
+            methods: {
+                proveTransaction: {
+                    privateInputs: [
+                        StateTransitionProofClass,
+                        DynamicRuntimeProof,
+                        BlockProverExecutionData,
+                        RuntimeVerificationKeyAttestation,
+                    ],
+                    async method(publicInput, stateProof, appProof, executionData, verificationKeyAttestation) {
+                        return await proveTransaction(publicInput, stateProof, appProof, executionData, verificationKeyAttestation);
+                    },
+                },
+                proveBlock: {
+                    privateInputs: [
+                        NetworkState,
+                        BlockHashMerkleTreeWitness,
+                        // StateTransitionProofClass,
+                        (SelfProof),
+                    ],
+                    async method(publicInput, networkState, blockWitness, 
+                    // stateTransitionProof: StateTransitionProof,
+                    transactionProof) {
+                        return await proveBlock(publicInput, networkState, blockWitness, 
+                        // stateTransitionProof,
+                        transactionProof);
+                    },
+                },
+                merge: {
+                    privateInputs: [
+                        (SelfProof),
+                        (SelfProof),
+                    ],
+                    async method(publicInput, proof1, proof2) {
+                        return await merge(publicInput, proof1, proof2);
+                    },
+                },
+            },
+        });
+        const methods = {
+            proveTransaction: program.proveTransaction,
+            proveBlock: program.proveBlock,
+            merge: program.merge,
+        };
+        const SelfProofClass = ZkProgram.Proof(program);
+        return [
+            {
+                name: program.name,
+                compile: program.compile.bind(program),
+                verify: program.verify.bind(program),
+                analyzeMethods: program.analyzeMethods.bind(program),
+                Proof: SelfProofClass,
+                methods,
+            },
+        ];
+    }
+}
+__decorate([
+    provableMethod(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [BlockProverPublicInput, Object, DynamicRuntimeProof,
+        BlockProverExecutionData,
+        RuntimeVerificationKeyAttestation]),
+    __metadata("design:returntype", Promise)
+], BlockProverProgrammable.prototype, "proveTransaction", null);
+__decorate([
+    provableMethod(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [BlockProverPublicInput,
+        NetworkState,
+        BlockHashMerkleTreeWitness, Object]),
+    __metadata("design:returntype", Promise)
+], BlockProverProgrammable.prototype, "proveBlock", null);
+__decorate([
+    provableMethod(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [BlockProverPublicInput, Object, Object]),
+    __metadata("design:returntype", Promise)
+], BlockProverProgrammable.prototype, "merge", null);
+/**
+ * BlockProver class, which aggregates a AppChainProof and
+ * a StateTransitionProof into a single BlockProof, that can
+ * then be merged to be committed to the base-layer contract
+ */
+export let BlockProver = class BlockProver extends ProtocolModule {
+    constructor(stateTransitionProver, runtime, transactionHooks, blockHooks, verificationKeyService) {
+        super();
+        this.stateTransitionProver = stateTransitionProver;
+        this.runtime = runtime;
+        this.zkProgrammable = new BlockProverProgrammable(this, stateTransitionProver.zkProgrammable, runtime.zkProgrammable, transactionHooks, blockHooks, verificationKeyService);
+    }
+    async compile(registry) {
+        await registry.forceProverExists(async () => {
+            await this.stateTransitionProver.compile(registry);
+            await this.runtime.compile(registry);
+        });
+        return await this.zkProgrammable.compile(registry);
+    }
+    proveTransaction(publicInput, stateProof, appProof, executionData, verificationKeyAttestation) {
+        return this.zkProgrammable.proveTransaction(publicInput, stateProof, appProof, executionData, verificationKeyAttestation);
+    }
+    proveBlock(publicInput, networkState, blockWitness, 
+    // stateTransitionProof: StateTransitionProof,
+    transactionProof) {
+        return this.zkProgrammable.proveBlock(publicInput, networkState, blockWitness, 
+        // stateTransitionProof,
+        transactionProof);
+    }
+    merge(publicInput, proof1, proof2) {
+        return this.zkProgrammable.merge(publicInput, proof1, proof2);
+    }
+};
+BlockProver = __decorate([
+    injectable(),
+    __param(0, inject("StateTransitionProver")),
+    __param(1, inject("Runtime")),
+    __param(2, injectAll("ProvableTransactionHook")),
+    __param(3, injectAll("ProvableBlockHook")),
+    __metadata("design:paramtypes", [Object, Object, Array, Array, RuntimeVerificationKeyRootService])
+], BlockProver);
+//# sourceMappingURL=BlockProver.js.map

package/dist/prover/block/BlockProver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"BlockProver.js","sourceRoot":"","sources":["../../../src/prover/block/BlockProver.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,OAAO,EACL,IAAI,EAEJ,KAAK,EACL,QAAQ,EAER,QAAQ,EACR,SAAS,EAET,SAAS,GACV,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACpE,OAAO,EAKL,SAAS,EAET,cAAc,EAEd,cAAc,GACf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAEvE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAO/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EACL,uBAAuB,GAExB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAE,6BAA6B,EAAE,MAAM,mDAAmD,CAAC;AAElG,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAC;AAC9E,OAAO,EACL,WAAW,EACX,mBAAmB,GACpB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAE,4BAA4B,EAAE,MAAM,0CAA0C,CAAC;AAExF,OAAO,EAEL,wBAAwB,EAExB,sBAAsB,EACtB,uBAAuB,EACvB,mBAAmB,GACpB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,0BAA0B,EAC1B,kBAAkB,GACnB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,kBAAkB,EAElB,iCAAiC,GAClC,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,iCAAiC,EAAE,MAAM,8CAA8C,CAAC;AAEjG,MAAM,MAAM,GAAG;IACb,2BAA2B,EAAE,GAAG,EAAE,CAChC,+CAA+C;IAEjD,4BAA4B,EAAE,GAAG,EAAE,CACjC,gDAAgD;IAElD,uBAAuB,EAAE,CAAC,YAAoB,EAAE,IAAY,EAAE,EAAE,CAC9D,GAAG,YAAY,kBAAkB,IAAI,EAAE;IAEzC,mBAAmB,EAAE,CAAC,YAAoB,EAAE,EAAE,CAAC,GAAG,YAAY,eAAe;IAE7E,oBAAoB,EAAE,CAAC,IAAY,EAAE,EAAE,CACrC,MAAM,CAAC,uBAAuB,CAAC,YAAY,EAAE,IAAI,CAAC;IAEpD,2BAA2B,EAAE,CAAC,IAAY,EAAE,EAAE,CAC5C,MAAM,CAAC,uBAAuB,CAAC,mBAAmB,EAAE,IAAI,CAAC;IAE3D,2BAA2B,EAAE,CAAC,IAAY,EAAE,EAAE,CAC5C,MAAM,CAAC,uBAAuB,CAAC,oBAAoB,EAAE,IAAI,CAAC;IAE5D,wBAAwB,EAAE,GAAG,EAAE,CAC7B,+DAA+D;IAEjE,8BAA8B,EAAE,GAAG,EAAE,CACnC,8FAA8F;CACjG,CAAC;AAwCF,MAAM,OAAO,uBAAwB,SAAQ,cAG5C;IACC,YACmB,MAAmB,EACpB,qBAGf,EACe,OAAsD,EACrD,gBAAoD,EACpD,UAAwC,EACxC,sBAA4C;QAE7D,KAAK,EAAE,CAAC;QAVS,WAAM,GAAN,MAAM,CAAa;QACpB,0BAAqB,GAArB,qBAAqB,CAGpC;QACe,YAAO,GAAP,OAAO,CAA+C;QACrD,qBAAgB,GAAhB,gBAAgB,CAAoC;QACpD,eAAU,GAAV,UAAU,CAA8B;QACxC,2BAAsB,GAAtB,sBAAsB,CAAsB;QAK/D,SAAI,GAAG,aAAa,CAAC;IAFrB,CAAC;IAID,IAAW,gBAAgB;QACzB,OAAO,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC;IACtC,CAAC;IAED;;;;;;;;;;OAUG;IACI,KAAK,CAAC,gBAAgB,CAC3B,KAAuB,EACvB,oBAGC,EACD,YAAiC,EACjC,aAAuC,EACvC,eAAgC;QAEhC,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,GAAG,aAAa,CAAC;QAE/D,MAAM,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC,YAAY,CAAC;QAEhD,YAAY,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QACrC,oBAAoB,CAAC,MAAM,EAAE,CAAC;QAE9B,MAAM,OAAO,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;QAE7B,4DAA4D;QAC5D,oBAAoB,CAAC,WAAW,CAAC,oBAAoB,CAAC,YAAY,CAChE,KAAK,CAAC,CAAC,CAAC,EACR,MAAM,CAAC,2BAA2B,EAAE,CACrC,CAAC;QACF,oBAAoB,CAAC,WAAW,CAAC,uBAAuB,CAAC,YAAY,CACnE,KAAK,CAAC,CAAC,CAAC,EACR,MAAM,CAAC,2BAA2B,EAAE,CACrC,CAAC;QAEF,YAAY,CAAC,YAAY,CAAC,oBAAoB,CAAC,YAAY,CACzD,oBAAoB,CAAC,YAAY,CAAC,oBAAoB,EACtD,MAAM,CAAC,4BAA4B,EAAE,CACtC,CAAC;QAEF,0BAA0B;QAC1B,KAAK,CAAC,SAAS,CAAC,YAAY,CAC1B,oBAAoB,CAAC,WAAW,CAAC,SAAS,EAC1C,MAAM,CAAC,mBAAmB,CAAC,iBAAiB,CAAC,CAC9C,CAAC;QACF,KAAK,CAAC,SAAS,CAAC,YAAY,CAC1B,oBAAoB,CAAC,WAAW,CAAC,iBAAiB,EAClD,MAAM,CAAC,mBAAmB,CAAC,0BAA0B,CAAC,CACvD,CAAC;QAEF,mCAAmC;QACnC,MAAM,IAAI,CAAC,yBAAyB,CAClC,oBAAoB,EACpB,aAAa,EACb,YAAY,CACb,CAAC;QAEF,gCAAgC;QAChC,OAAO,CAAC,SAAS,GAAG,QAAQ,CAAC,EAAE,CAC7B,YAAY,CAAC,YAAY,CAAC,MAAM,EAChC,oBAAoB,CAAC,YAAY,CAAC,SAAS,EAC3C,oBAAoB,CAAC,YAAY,CAAC,iBAAiB,CACpD,CAAC;QAEF,+CAA+C;QAC/C,MAAM,oBAAoB,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC;QAEhD,oBAAoB,CAAC,YAAY,CAC/B,YAAY,CAAC,YAAY,CAAC,eAAe,EACzC,+DAA+D,CAChE,CAAC;QAEF,8BAA8B;QAC9B,IAAI,iBAAiB,CAAC;YACpB,WAAW;YACX,SAAS;SACV,CAAC;aACC,iBAAiB,EAAE;aACnB,EAAE,CAAC,SAAS,CAAC;aACb,UAAU,CAAC,iCAAiC,CAAC,CAAC;QAEjD,yCAAyC;QACzC,WAAW,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC;QAE7C,iDAAiD;QACjD,KAAK,CAAC,gBAAgB,CAAC,YAAY,CACjC,YAAY,CAAC,YAAY,CAAC,gBAAgB,EAC1C,qDAAqD,CACtD,CAAC;QACF,KAAK,CAAC,gBAAgB,CAAC,YAAY,CACjC,YAAY,CAAC,IAAI,EAAE,EACnB,sEAAsE,CACvE,CAAC;QAEF,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,mCAAmC;IACnC,oGAAoG;IAE7F,KAAK,CAAC,yBAAyB,CACpC,oBAGC,EACD,aAAuC,EACvC,YAAoD;QAEpD,MAAM,gBAAgB,GAAG,SAAS,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;QAC1E,gBAAgB,CAAC,KAAK,EAAE,CAAC;QAEzB,wDAAwD;QACxD,0EAA0E;QAC1E,yBAAyB;QACzB,gBAAgB,CAAC,KAAK,CAAC;YACrB,6EAA6E;YAC7E,WAAW,EAAE,aAAa,CAAC,WAAW;YACtC,YAAY,EAAE,aAAa,CAAC,YAAY;SACzC,CAAC,CAAC;QACH,gBAAgB,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAE1C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,gBAAgB,EAAE;YAC1C,4CAA4C;YAC5C,MAAM,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC;SAC3C;QAED,gBAAgB,CAAC,WAAW,EAAE,CAAC;QAE/B,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,aAAa,EAAE,GAC/C,gBAAgB,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC;QAEpC,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QAEjC,MAAM,WAAW,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CACtD,UAAU,CAAC,UAAU,EAAE,CACxB,CAAC;QAEF,MAAM,QAAQ,GAAG,IAAI,4BAA4B,CAC/C,uBAAuB,EACvB,oBAAoB,CAAC,WAAW,CAAC,uBAAuB,CACzD,CAAC;QAEF,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;YACjC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5B,CAAC,CAAC,CAAC;QAEH,oBAAoB,CAAC,YAAY,CAAC,uBAAuB,CAAC,YAAY,CACpE,QAAQ,CAAC,UAAU,EACnB,yEAAyE,CAC1E,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,iBAAiB,CAC7B,KAAuB,EACvB,iBAA+B,EAC/B,IAAkC;QAKlC,MAAM,gBAAgB,GAAG,SAAS,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;QAC1E,gBAAgB,CAAC,KAAK,EAAE,CAAC;QACzB,gBAAgB,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAE1C,MAAM,qBAAqB,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAExD,KAAK,EAAE,mBAAmB,EAAE,SAAS,EAAE,EAAE;YACzC,MAAM,YAAY,GAAG,MAAM,mBAAmB,CAAC;YAC/C,wDAAwD;YACxD,wEAAwE;YACxE,qEAAqE;YACrE,gBAAgB,CAAC,KAAK,CAAC;gBACrB,WAAW,EAAE,kBAAkB,CAAC,gBAAgB,EAAE;gBAClD,YAAY;aACb,CAAC,CAAC;YAEH,IAAI,IAAI,KAAK,aAAa,EAAE;gBAC1B,OAAO,MAAM,SAAS,CAAC,WAAW,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;aACzD;YACD,IAAI,IAAI,KAAK,YAAY,EAAE;gBACzB,OAAO,MAAM,SAAS,CAAC,UAAU,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;aACxD;YACD,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;QACjC,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAEvC,gBAAgB,CAAC,WAAW,EAAE,CAAC;QAE/B,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,aAAa,EAAE,GAC/C,gBAAgB,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC;QAEpC,MAAM,CAAC,UAAU,CAAC,2BAA2B,aAAa,IAAI,GAAG,EAAE,CAAC,CAAC;QAErE,OAAO;YACL,YAAY,EAAE,qBAAqB;YACnC,gBAAgB;SACjB,CAAC;IACJ,CAAC;IAEO,sBAAsB,CAC5B,KAAuB,EACvB,SAAe,EACf,WAA+B;QAE/B,MAAM,OAAO,GAAG;YACd,GAAG,KAAK;SACT,CAAC;QAEF,MAAM,eAAe,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC;QAE3C,gCAAgC;QAChC,MAAM,eAAe,GAAG,IAAI,uBAAuB,CACjD,KAAK,EACL,KAAK,CAAC,gBAAgB,CACvB,CAAC;QAEF,eAAe,CAAC,MAAM,CAAC,eAAe,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC;QACzD,OAAO,CAAC,gBAAgB,GAAG,eAAe,CAAC,UAAU,CAAC;QAEtD,wCAAwC;QACxC,yEAAyE;QACzE,MAAM,sBAAsB,GAAG,IAAI,uBAAuB,CACxD,KAAK,EACL,KAAK,CAAC,uBAAuB,CAC9B,CAAC;QAEF,sBAAsB,CAAC,MAAM,CAAC,eAAe,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC;QAChE,OAAO,CAAC,uBAAuB,GAAG,sBAAsB,CAAC,UAAU,CAAC;QAEpE,oCAAoC;QACpC,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC;QAElE,MAAM,oBAAoB,GAAG,IAAI,mBAAmB,CAClD,KAAK,CAAC,oBAAoB,CAC3B,CAAC;QACF,oBAAoB,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAEnD,OAAO,CAAC,oBAAoB,GAAG,oBAAoB,CAAC,UAAU,CAAC;QAE/D,OAAO,OAAO,CAAC;IACjB,CAAC;IAGY,AAAN,KAAK,CAAC,gBAAgB,CAC3B,WAAmC,EACnC,UAAgC,EAChC,YAAiC,EACjC,aAAuC,EACvC,sBAAyD;QAEzD,MAAM,KAAK,GAAqB;YAC9B,GAAG,WAAW;SACf,CAAC;QAEF,KAAK,CAAC,gBAAgB,CAAC,YAAY,CACjC,aAAa,CAAC,YAAY,CAAC,IAAI,EAAE,EACjC,4DAA4D,CAC7D,CAAC;QAEF,WAAW,CAAC,WAAW,CAAC,YAAY,CAClC,SAAS,EACT,kDAAkD,CACnD,CAAC;QAEF,oEAAoE;QACpE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,0BAA0B,EAAE,GAC5D,sBAAsB,CAAC;QAEzB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1D,MAAM,cAAc,GAAG,0BAA0B,CAAC,aAAa,CAC7D,IAAI,kBAAkB,CAAC;YACrB,QAAQ,EAAE,aAAa,CAAC,WAAW,CAAC,QAAQ;YAC5C,MAAM,EAAE,eAAe,CAAC,IAAI;SAC7B,CAAC,CAAC,IAAI,EAAE,CACV,CAAC;QACF,IAAI,CAAC,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,wBAAwB,EAAE,CAAC,CAAC;QAErE,MAAM,oBAAoB,GAAG,IAAI,CAAC,sBAAsB,CACtD,KAAK,EACL,YAAY,CAAC,YAAY,CAAC,SAAS,EACnC,aAAa,CAAC,WAAW,CAC1B,CAAC;QAEF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,CACzC,oBAAoB,EACpB,UAAU,EACV,YAAY,EACZ,aAAa,EACb,eAAe,CAChB,CAAC;QAEF,OAAO,IAAI,uBAAuB,CAAC;YACjC,GAAG,OAAO;YACV,WAAW,EAAE,WAAW,CAAC,WAAW;YACpC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;SACpB,CAAC,CAAC;IACL,CAAC;IAEO,kBAAkB,CACxB,oBAA0C,EAC1C,SAAgB;QAEhB,oBAAoB,CAAC,WAAW,CAAC,oBAAoB,CAAC,YAAY,CAChE,KAAK,CAAC,CAAC,CAAC,EACR,MAAM,CAAC,2BAA2B,EAAE,CACrC,CAAC;QACF,oBAAoB,CAAC,WAAW,CAAC,uBAAuB,CAAC,YAAY,CACnE,KAAK,CAAC,CAAC,CAAC,EACR,MAAM,CAAC,2BAA2B,EAAE,CACrC,CAAC;QAEF,0BAA0B;QAC1B,SAAS,CAAC,YAAY,CACpB,oBAAoB,CAAC,WAAW,CAAC,SAAS,EAC1C,MAAM,CAAC,mBAAmB,CAAC,iBAAiB,CAAC,CAC9C,CAAC;IACJ,CAAC;IAGY,AAAN,KAAK,CAAC,UAAU,CACrB,WAAmC,EACnC,YAA0B,EAC1B,YAAwC;IACxC,8CAA8C;IAC9C,gBAAkC;QAElC,MAAM,KAAK,GAAqB;YAC9B,GAAG,WAAW;SACf,CAAC;QAEF,sCAAsC;QACtC,WAAW,CAAC,gBAAgB,CAAC,YAAY,CACvC,KAAK,CAAC,CAAC,CAAC,EACR,oCAAoC,CACrC,CAAC;QACF,WAAW,CAAC,gBAAgB,CAAC,YAAY,CACvC,YAAY,CAAC,IAAI,EAAE,EACnB,6BAA6B,CAC9B,CAAC;QAEF,gBAAgB,CAAC,WAAW,CAAC,gBAAgB,CAAC,YAAY,CACxD,KAAK,CAAC,CAAC,CAAC,EACR,qDAAqD,CACtD,CAAC;QACF,gBAAgB,CAAC,WAAW,CAAC,aAAa,CAAC,YAAY,CACrD,KAAK,CAAC,CAAC,CAAC,EACR,+DAA+D,CAChE,CAAC;QACF,gBAAgB,CAAC,YAAY,CAAC,aAAa,CAAC,YAAY,CACtD,KAAK,CAAC,CAAC,CAAC,EACR,gEAAgE,CACjE,CAAC;QACF,gBAAgB,CAAC,WAAW,CAAC,gBAAgB,CAAC,YAAY,CACxD,gBAAgB,CAAC,YAAY,CAAC,gBAAgB,EAC9C,iDAAiD,CAClD,CAAC;QACF,gBAAgB,CAAC,WAAW,CAAC,uBAAuB,CAAC,YAAY,CAC/D,KAAK,CAAC,uBAAuB,EAC7B,+DAA+D,CAChE,CAAC;QACF,gBAAgB,CAAC,WAAW,CAAC,oBAAoB,CAAC,YAAY,CAC5D,KAAK,CAAC,oBAAoB,EAC1B,6DAA6D,CAC9D,CAAC;QAEF,6BAA6B;QAC7B,iDAAiD;QACjD,uCAAuC;QACvC,4EAA4E;QAC5E,eAAe;QACf,8EAA8E;QAC9E,YAAY;QACZ,0CAA0C;QAC1C,8CAA8C;QAC9C,6CAA6C;QAE7C,8DAA8D;QAC9D,uCAAuC;QACvC,uEAAuE;QACvE,yEAAyE;QACzE,MAAM,aAAa,GAAG,gBAAgB,CAAC,YAAY,CAAC;QACpD,MAAM,iBAAiB,GAAG,aAAa,CAAC,MAAM,CAC5C,gBAAgB,CAAC,WAAW,EAC5B,aAAa,CAAC,MAAM,CACrB,CAAC;QACF,QAAQ,CAAC,GAAG,CAAC,YAAY,EAAE,iBAAiB,CAAC,GAAG,EAAE,CAAC,CAAC;QACpD,gBAAgB,CAAC,QAAQ,CAAC,iBAAiB,CAAC,GAAG,EAAE,CAAC,CAAC;QAEnD,+BAA+B;QAC/B,MAAM,iBAAiB,GAAG,MAAM,IAAI,CAAC,iBAAiB,CACpD,KAAK,EACL,YAAY,EACZ,aAAa,CACd,CAAC;QAEF,gEAAgE;QAChE,4BAA4B;QAC5B,KAAK;QACL,uDAAuD;QACvD,+CAA+C;QAC/C,MAAM;QAEN,qDAAqD;QACrD,6FAA6F;QAC7F,kEAAkE;QAElE,yEAAyE;QACzE,mCAAmC;QACnC,KAAK;QACL,wEAAwE;QAExE,oBAAoB;QACpB,+CAA+C;QAC/C,cAAc;QACd,sDAAsD;QACtD,KAAK;QAEL,8BAA8B;QAC9B,gBAAgB,CAAC,WAAW,CAAC,gBAAgB,CAAC,YAAY,CACxD,iBAAiB,CAAC,YAAY,CAAC,IAAI,EAAE,EACrC,yEAAyE,CAC1E,CAAC;QACF,gBAAgB,CAAC,WAAW,CAAC,SAAS,CAAC,YAAY,CACjD,KAAK,CAAC,SAAS,EACf,uEAAuE,CACxE,CAAC;QAEF,KAAK,CAAC,SAAS,GAAG,gBAAgB,CAAC,YAAY,CAAC,SAAS,CAAC;QAC1D,KAAK,CAAC,gBAAgB,GAAG,gBAAgB,CAAC,YAAY,CAAC,gBAAgB,CAAC;QACxE,KAAK,CAAC,uBAAuB;YAC3B,gBAAgB,CAAC,YAAY,CAAC,uBAAuB,CAAC;QACxD,KAAK,CAAC,oBAAoB;YACxB,gBAAgB,CAAC,YAAY,CAAC,oBAAoB,CAAC;QAErD,8BAA8B;QAC9B,kEAAkE;QAElE,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,iBAAiB,CACnD,KAAK,EACL,iBAAiB,CAAC,YAAY,EAC9B,YAAY,CACb,CAAC;QAEF,MAAM,kBAAkB,GAAG,IAAI,4BAA4B,CACzD,uBAAuB,CACxB,CAAC;QACF,gBAAgB,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;YAC/C,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,KAAK,CAAC,gBAAgB,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QAE9D,oDAAoD;QACpD,yEAAyE;QACzE,mCAAmC;QACnC,gFAAgF;QAChF,KAAK;QACL,iCAAiC;QACjC,gBAAgB;QAChB,iDAAiD;QACjD,oBAAoB;QACpB,KAAK;QAEL,iBAAiB;QAEjB,gCAAgC;QAChC,MAAM,UAAU,GAAG,YAAY,CAAC,cAAc,EAAE,CAAC;QAEjD,UAAU,CAAC,YAAY,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;QAEjD,YAAY;aACT,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;aACvB,YAAY,CACX,WAAW,CAAC,aAAa,EACzB,qDAAqD,CACtD,CAAC;QAEJ,KAAK,CAAC,aAAa,GAAG,YAAY,CAAC,aAAa,CAC9C,IAAI,kBAAkB,CAAC;YACrB,iCAAiC;YACjC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;YAC9D,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;SACnB,CAAC,CAAC,IAAI,EAAE,CACV,CAAC;QAEF,OAAO,IAAI,uBAAuB,CAAC;YACjC,GAAG,KAAK;YACR,WAAW,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9B,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;SACnB,CAAC,CAAC;IACL,CAAC;IAGY,AAAN,KAAK,CAAC,KAAK,CAChB,WAAmC,EACnC,MAAwB,EACxB,MAAwB;QAExB,MAAM,CAAC,MAAM,EAAE,CAAC;QAChB,MAAM,CAAC,MAAM,EAAE,CAAC;QAEhB,cAAc;QACd,WAAW,CAAC,SAAS,CAAC,YAAY,CAChC,MAAM,CAAC,WAAW,CAAC,SAAS,EAC5B,MAAM,CAAC,oBAAoB,CAAC,iCAAiC,CAAC,CAC/D,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC,YAAY,CACxC,MAAM,CAAC,WAAW,CAAC,SAAS,EAC5B,MAAM,CAAC,oBAAoB,CAAC,0BAA0B,CAAC,CACxD,CAAC;QAEF,+BAA+B;QAC/B,kEAAkE;QAClE,WAAW,CAAC,gBAAgB;aACzB,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,gBAAgB,CAAC;aAC3C,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC;aAC9B,UAAU,CACT,MAAM,CAAC,2BAA2B,CAAC,iCAAiC,CAAC,CACtE,CAAC;QACJ,MAAM,CAAC,YAAY,CAAC,gBAAgB;aACjC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,gBAAgB,CAAC;aAC3C,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC;aAC9B,UAAU,CACT,MAAM,CAAC,2BAA2B,CAAC,0BAA0B,CAAC,CAC/D,CAAC;QAEJ,oBAAoB;QACpB,WAAW,CAAC,gBAAgB,CAAC,YAAY,CACvC,MAAM,CAAC,WAAW,CAAC,gBAAgB,EACnC,MAAM,CAAC,2BAA2B,CAAC,iCAAiC,CAAC,CACtE,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,gBAAgB,CAAC,YAAY,CAC/C,MAAM,CAAC,WAAW,CAAC,gBAAgB,EACnC,MAAM,CAAC,2BAA2B,CAAC,0BAA0B,CAAC,CAC/D,CAAC;QAEF,sBAAsB;QACtB,WAAW,CAAC,aAAa,CAAC,YAAY,CACpC,MAAM,CAAC,WAAW,CAAC,aAAa,EAChC,MAAM,CAAC,2BAA2B,CAAC,iCAAiC,CAAC,CACtE,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,aAAa,CAAC,YAAY,CAC5C,MAAM,CAAC,WAAW,CAAC,aAAa,EAChC,MAAM,CAAC,2BAA2B,CAAC,0BAA0B,CAAC,CAC/D,CAAC;QAEF,gCAAgC;QAChC,WAAW,CAAC,uBAAuB,CAAC,YAAY,CAC9C,MAAM,CAAC,WAAW,CAAC,uBAAuB,EAC1C,MAAM,CAAC,2BAA2B,CAAC,iCAAiC,CAAC,CACtE,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,uBAAuB,CAAC,YAAY,CACtD,MAAM,CAAC,WAAW,CAAC,uBAAuB,EAC1C,MAAM,CAAC,2BAA2B,CAAC,0BAA0B,CAAC,CAC/D,CAAC;QAEF,6BAA6B;QAC7B,WAAW,CAAC,oBAAoB,CAAC,YAAY,CAC3C,MAAM,CAAC,WAAW,CAAC,oBAAoB,EACvC,MAAM,CAAC,uBAAuB,CAC5B,sBAAsB,EACtB,iCAAiC,CAClC,CACF,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,oBAAoB,CAAC,YAAY,CACnD,MAAM,CAAC,WAAW,CAAC,oBAAoB,EACvC,MAAM,CAAC,uBAAuB,CAC5B,sBAAsB,EACtB,0BAA0B,CAC3B,CACF,CAAC;QAEF,kCAAkC;QAClC,kEAAkE;QAClE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,YAAY,CACrC,MAAM,CAAC,YAAY,CAAC,MAAM,EAC1B,gCAAgC,CACjC,CAAC;QAEF,SAAS;QACT,oDAAoD;QACpD,yDAAyD;QACzD,sDAAsD;QAEtD,kCAAkC;QAClC,oDAAoD;QACpD,6CAA6C;QAC7C,4CAA4C;QAC5C,8CAA8C;QAC9C,iCAAiC;QACjC,2CAA2C;QAC3C,0CAA0C;QAC1C,IAAI;QAEJ,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC;QAChD,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC;QAEhD,MAAM,2BAA2B,GAAG,WAAW,CAAC,WAAW;aACxD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;aACtC,GAAG,CACF,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CACvE,CAAC;QAEJ,uEAAuE;QACvE,iDAAiD;QACjD,MAAM,uBAAuB,GAAG,WAAW,CAAC,WAAW;aACpD,MAAM,CAAC,SAAS,CAAC;aACjB,GAAG,CAAC,2BAA2B,CAAC;aAChC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QAE5C,MAAM,kBAAkB,GAAG,YAAY;aACpC,GAAG,CAAC,YAAY,CAAC;aACjB,GAAG,CAAC,2BAA2B,CAAC,CAAC;QAEpC,uBAAuB;aACpB,EAAE,CAAC,kBAAkB,CAAC;aACtB,UAAU,CAAC,0BAA0B,CAAC,CAAC;QAE1C,OAAO,IAAI,uBAAuB,CAAC;YACjC,SAAS,EAAE,MAAM,CAAC,YAAY,CAAC,SAAS;YACxC,gBAAgB,EAAE,MAAM,CAAC,YAAY,CAAC,gBAAgB;YACtD,gBAAgB,EAAE,MAAM,CAAC,YAAY,CAAC,gBAAgB;YACtD,aAAa,EAAE,MAAM,CAAC,YAAY,CAAC,aAAa;YAChD,uBAAuB,EAAE,MAAM,CAAC,YAAY,CAAC,uBAAuB;YACpE,oBAAoB,EAAE,MAAM,CAAC,YAAY,CAAC,oBAAoB;YAC9D,MAAM,EAAE,kBAAkB;YAC1B,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC,WAAW;SAC7C,CAAC,CAAC;IACL,CAAC;IAED;;;;OAIG;IACI,gBAAgB;QAIrB,MAAM,EAAE,MAAM,EAAE,qBAAqB,EAAE,GAAG,IAAI,CAAC;QAC/C,MAAM,yBAAyB,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3E,MAAM,gBAAgB,GAAG,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9D,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAExC,MAAM,OAAO,GAAG,SAAS,CAAC;YACxB,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,sBAAsB;YACnC,YAAY,EAAE,uBAAuB;YAErC,OAAO,EAAE;gBACP,gBAAgB,EAAE;oBAChB,aAAa,EAAE;wBACb,yBAAyB;wBACzB,mBAAmB;wBACnB,wBAAwB;wBACxB,iCAAiC;qBAClC;oBAED,KAAK,CAAC,MAAM,CACV,WAAmC,EACnC,UAAgC,EAChC,QAA6B,EAC7B,aAAuC,EACvC,0BAA6D;wBAE7D,OAAO,MAAM,gBAAgB,CAC3B,WAAW,EACX,UAAU,EACV,QAAQ,EACR,aAAa,EACb,0BAA0B,CAC3B,CAAC;oBACJ,CAAC;iBACF;gBAED,UAAU,EAAE;oBACV,aAAa,EAAE;wBACb,YAAY;wBACZ,0BAA0B;wBAC1B,6BAA6B;wBAC7B,CAAA,SAA0D,CAAA;qBAC3D;oBACD,KAAK,CAAC,MAAM,CACV,WAAmC,EACnC,YAA0B,EAC1B,YAAwC;oBACxC,8CAA8C;oBAC9C,gBAAkC;wBAElC,OAAO,MAAM,UAAU,CACrB,WAAW,EACX,YAAY,EACZ,YAAY;wBACZ,wBAAwB;wBACxB,gBAAgB,CACjB,CAAC;oBACJ,CAAC;iBACF;gBAED,KAAK,EAAE;oBACL,aAAa,EAAE;wBACb,CAAA,SAA0D,CAAA;wBAC1D,CAAA,SAA0D,CAAA;qBAC3D;oBAED,KAAK,CAAC,MAAM,CACV,WAAmC,EACnC,MAAwB,EACxB,MAAwB;wBAExB,OAAO,MAAM,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;oBAClD,CAAC;iBACF;aACF;SACF,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG;YACd,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;YAC1C,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,KAAK,EAAE,OAAO,CAAC,KAAK;SACrB,CAAC;QAEF,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAEhD,OAAO;YACL;gBACE,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;gBACtC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpC,cAAc,EAAE,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpD,KAAK,EAAE,cAAc;gBACrB,OAAO;aACR;SACF,CAAC;IACJ,CAAC;CACF;AA7ec;IADZ,cAAc,EAAE;;qCAEF,sBAAsB,UAErB,mBAAmB;QAClB,wBAAwB;QACf,iCAAiC;;+DAgD1D;AAuBY;IADZ,cAAc,EAAE;;qCAEF,sBAAsB;QACrB,YAAY;QACZ,0BAA0B;;yDAwKzC;AAGY;IADZ,cAAc,EAAE;;qCAEF,sBAAsB;;oDAsIpC;AA8GH;;;;GAIG;AAEI,WAAM,WAAW,GAAjB,MAAM,WACX,SAAQ,cAAc;IAKtB,YAEkB,qBAIS,EAET,OACE,EAElB,gBAAoD,EAEpD,UAAwC,EACxC,sBAAyD;QAEzD,KAAK,EAAE,CAAC;QAdQ,0BAAqB,GAArB,qBAAqB,CAIZ;QAET,YAAO,GAAP,OAAO,CACL;QAQlB,IAAI,CAAC,cAAc,GAAG,IAAI,uBAAuB,CAC/C,IAAI,EACJ,qBAAqB,CAAC,cAAc,EACpC,OAAO,CAAC,cAAc,EACtB,gBAAgB,EAChB,UAAU,EACV,sBAAsB,CACvB,CAAC;IACJ,CAAC;IAEM,KAAK,CAAC,OAAO,CAClB,QAAyB;QAEzB,MAAM,QAAQ,CAAC,iBAAiB,CAAC,KAAK,IAAI,EAAE;YAC1C,MAAM,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YACnD,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,OAAO,MAAM,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACrD,CAAC;IAEM,gBAAgB,CACrB,WAAmC,EACnC,UAAgC,EAChC,QAA6B,EAC7B,aAAuC,EACvC,0BAA6D;QAE7D,OAAO,IAAI,CAAC,cAAc,CAAC,gBAAgB,CACzC,WAAW,EACX,UAAU,EACV,QAAQ,EACR,aAAa,EACb,0BAA0B,CAC3B,CAAC;IACJ,CAAC;IAEM,UAAU,CACf,WAAmC,EACnC,YAA0B,EAC1B,YAAwC;IACxC,8CAA8C;IAC9C,gBAAkC;QAElC,OAAO,IAAI,CAAC,cAAc,CAAC,UAAU,CACnC,WAAW,EACX,YAAY,EACZ,YAAY;QACZ,wBAAwB;QACxB,gBAAgB,CACjB,CAAC;IACJ,CAAC;IAEM,KAAK,CACV,WAAmC,EACnC,MAAwB,EACxB,MAAwB;QAExB,OAAO,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAChE,CAAC;CACF,CAAA;AAnFY,WAAW;IADvB,UAAU,EAAE;IAQR,WAAA,MAAM,CAAC,uBAAuB,CAAC,CAAA;IAM/B,WAAA,MAAM,CAAC,SAAS,CAAC,CAAA;IAGjB,WAAA,SAAS,CAAC,yBAAyB,CAAC,CAAA;IAEpC,WAAA,SAAS,CAAC,mBAAmB,CAAC,CAAA;mEAEP,iCAAiC;GApBhD,WAAW,CAmFvB"}

package/dist/prover/block/accummulators/BlockHashMerkleTree.d.ts

@@ -0,0 +1,64 @@
+import { Field } from "o1js";
+declare const BlockHashMerkleTree_base: import("@proto-kit/common").AbstractMerkleTreeClass;
+export declare class BlockHashMerkleTree extends BlockHashMerkleTree_base {
+}
+export declare class BlockHashMerkleTreeWitness extends BlockHashMerkleTree.WITNESS {
+}
+declare const BlockHashTreeEntry_base: (new (value: {
+    blockHash: import("o1js/dist/node/lib/provable/field").Field;
+    closed: import("o1js/dist/node/lib/provable/bool").Bool;
+}) => {
+    blockHash: import("o1js/dist/node/lib/provable/field").Field;
+    closed: import("o1js/dist/node/lib/provable/bool").Bool;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    blockHash: import("o1js/dist/node/lib/provable/field").Field;
+    closed: import("o1js/dist/node/lib/provable/bool").Bool;
+}, {
+    blockHash: bigint;
+    closed: boolean;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        blockHash: import("o1js/dist/node/lib/provable/field").Field;
+        closed: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+} & {
+    fromValue: (value: {
+        blockHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        closed: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+    }) => {
+        blockHash: import("o1js/dist/node/lib/provable/field").Field;
+        closed: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+    toInput: (x: {
+        blockHash: import("o1js/dist/node/lib/provable/field").Field;
+        closed: import("o1js/dist/node/lib/provable/bool").Bool;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        blockHash: import("o1js/dist/node/lib/provable/field").Field;
+        closed: import("o1js/dist/node/lib/provable/bool").Bool;
+    }) => {
+        blockHash: string;
+        closed: boolean;
+    };
+    fromJSON: (x: {
+        blockHash: string;
+        closed: boolean;
+    }) => {
+        blockHash: import("o1js/dist/node/lib/provable/field").Field;
+        closed: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+    empty: () => {
+        blockHash: import("o1js/dist/node/lib/provable/field").Field;
+        closed: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+};
+export declare class BlockHashTreeEntry extends BlockHashTreeEntry_base {
+    hash(): Field;
+}
+export {};
+//# sourceMappingURL=BlockHashMerkleTree.d.ts.map

package/dist/prover/block/accummulators/BlockHashMerkleTree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"BlockHashMerkleTree.d.ts","sourceRoot":"","sources":["../../../../src/prover/block/accummulators/BlockHashMerkleTree.ts"],"names":[],"mappings":"AACA,OAAO,EAAQ,KAAK,EAAoB,MAAM,MAAM,CAAC;;AAErD,qBAAa,mBAAoB,SAAQ,wBAAoB;CAAG;AAChE,qBAAa,0BAA2B,SAAQ,mBAAmB,CAAC,OAAO;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE9E,qBAAa,kBAAmB,SAAQ,uBAKtC;IACO,IAAI,IAAI,KAAK;CAGrB"}

package/dist/prover/block/accummulators/BlockHashMerkleTree.js

@@ -0,0 +1,17 @@
+import { createMerkleTree } from "@proto-kit/common";
+import { Bool, Field, Poseidon, Struct } from "o1js";
+export class BlockHashMerkleTree extends createMerkleTree(40) {
+}
+export class BlockHashMerkleTreeWitness extends BlockHashMerkleTree.WITNESS {
+}
+export class BlockHashTreeEntry extends Struct({
+    blockHash: Field,
+    closed: Bool,
+    // TODO We could add startingEternalTransactionsHash here to offer
+    // a more trivial connection to the sequence state
+}) {
+    hash() {
+        return Poseidon.hash([this.blockHash, ...this.closed.toFields()]);
+    }
+}
+//# sourceMappingURL=BlockHashMerkleTree.js.map

package/dist/prover/block/accummulators/BlockHashMerkleTree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"BlockHashMerkleTree.js","sourceRoot":"","sources":["../../../../src/prover/block/accummulators/BlockHashMerkleTree.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAErD,MAAM,OAAO,mBAAoB,SAAQ,gBAAgB,CAAC,EAAE,CAAC;CAAG;AAChE,MAAM,OAAO,0BAA2B,SAAQ,mBAAmB,CAAC,OAAO;CAAG;AAE9E,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC;IAC7C,SAAS,EAAE,KAAK;IAChB,MAAM,EAAE,IAAI;IACZ,kEAAkE;IAClE,kDAAkD;CACnD,CAAC;IACO,IAAI;QACT,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IACpE,CAAC;CACF"}