@proto-kit/protocol 0.1.1-develop.191 → 0.1.1-develop.2024

package/dist/prover/block/BlockProvable.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"BlockProvable.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProvable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,EAAU,MAAM,UAAU,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEhE,qBAAa,sBAAuB,SAAQ,2BAI1C;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,uBAAwB,SAAQ,4BAG3C;CAAG;AAEL,MAAM,MAAM,gBAAgB,GAAG,KAAK,CAClC,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEF,qBAAa,wBAAyB,SAAQ,6BAI5C;CAAG;AAEL,MAAM,WAAW,aACf,SAAQ,cAAc,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;IACvE,gBAAgB,EAAE,CAChB,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,aAAa,EAAE,wBAAwB,KACpC,uBAAuB,CAAC;IAE7B,KAAK,EAAE,CACL,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,KACrB,uBAAuB,CAAC;CAC9B"}
+{"version":3,"file":"BlockProvable.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProvable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAY,KAAK,EAAoB,MAAM,MAAM,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEzE,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAC5E,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACrB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChF,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE/C,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AAEjF,eAAO,MAAM,yBAAyB,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE3C,qBAAa,cAAe,SAAQ,mBAMlC;WACc,IAAI,CAChB,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,EACzD,SAAS,EAAE,KAAK;CAkBnB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,mBAAoB,SAAQ,wBAEvC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAWL,qBAAa,sBAAuB,SAAQ,2BAI1C;IACO,MAAM,CAAC,KAAK,EAAE,sBAAsB,GAAG,IAAI;IAQ3C,KAAK;CAKb;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;CASvC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEF,qBAAa,qBAAsB,SAAQ,0BAAmC;IACrE,IAAI;WAIG,eAAe,CAAC,KAAK,EAAE,sBAAsB;IAiBpD,QAAQ,CAAC,SAAS,EAAE,IAAI;CAoBhC;AAED,qBAAa,uBAAwB,SAAQ,sBAAsB;CAAG;AAEtE,qBAAa,gBAAgB;IAC3B;;;OAGG;IACH,UAAU,EAAE,cAAc,CAAC;IAE3B;;;;OAIG;IACH,uBAAuB,EAAE,mBAAmB,CAAC;IAE7C,gBAAgB,EAAE,oBAAoB,CAAC;IAEvC,gBAAgB,EAAE,mBAAmB,CAAC;IAEtC,cAAc,EAAE,qBAAqB,CAAC;IAEtC;;OAEG;IACH,SAAS,EAAE,KAAK,CAAC;IAEjB;;;OAGG;IACH,aAAa,EAAE,KAAK,CAAC;IAErB,WAAW,EAAE,KAAK,CAAC;IAEnB,YAAY,EAAE,0BAA0B,CAAC;IAEzC,YAAY,EAAE,YAAY,CAAC;gBAEf,IAAI,EAAE;QAChB,YAAY,EAAE,YAAY,CAAC;QAC3B,uBAAuB,EAAE,mBAAmB,CAAC;QAC7C,gBAAgB,EAAE,oBAAoB,CAAC;QACvC,SAAS,EAAE,KAAK,CAAC;QACjB,aAAa,EAAE,KAAK,CAAC;QACrB,WAAW,EAAE,KAAK,CAAC;QACnB,UAAU,EAAE,cAAc,CAAC;QAC3B,YAAY,EAAE,0BAA0B,CAAC;QACzC,cAAc,EAAE,qBAAqB,CAAC;QACtC,gBAAgB,EAAE,mBAAmB,CAAC;KACvC;IAaM,aAAa,IAAI,qBAAqB;WAiB/B,0BAA0B,CACtC,UAAU,EAAE,UAAU,CAAC,qBAAqB,CAAC,EAC7C,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,GACvC,gBAAgB;IAwBZ,IAAI;IAIJ,QAAQ;WAiBD,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE;WAmB1B,MAAM,CAClB,SAAS,EAAE,IAAI,EACf,CAAC,EAAE,gBAAgB,EACnB,CAAC,EAAE,gBAAgB;CAuDtB;AAED,MAAM,MAAM,UAAU,GAAG,KAAK,CAAC,sBAAsB,EAAE,uBAAuB,CAAC,CAAC;AAEhF,MAAM,WAAW,aACf,SAAQ,kBAAkB,CAAC,sBAAsB,EAAE,uBAAuB,CAAC,EACzE,gBAAgB;IAClB,uBAAuB,EAAE,CACvB,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,qBAAqB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,KAAK,EAAE,mBAAmB,EAC1B,QAAQ,EAAE,IAAI,KACX,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAEtC,yBAAyB,EAAE,CACzB,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,qBAAqB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,KAAK,EAAE,mBAAmB,EAC1B,YAAY,EAAE,IAAI,EAClB,qBAAqB,EAAE,IAAI,EAC3B,oBAAoB,EAAE,oBAAoB,EAC1C,gBAAgB,EAAE,gBAAgB,KAC/B,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAEtC,KAAK,EAAE,CACL,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,UAAU,KACf,OAAO,CAAC,uBAAuB,CAAC,CAAC;CACvC"}

package/dist/prover/block/BlockProvable.js

@@ -1,20 +1,204 @@
-import { Field, Struct } from "snarkyjs";
-import { ProtocolTransaction } from "../../model/transaction/ProtocolTransaction";
+import { Bool, Field, Poseidon, Provable, Struct } from "o1js";
 import { NetworkState } from "../../model/network/NetworkState";
-export class BlockProverPublicInput extends Struct({
+import { TransactionHashList } from "../accumulators/TransactionHashList";
+import { MinaActionsHashList } from "../../utils/MinaPrefixedProvableHashList";
+import { AppliedBatchHashList } from "../accumulators/AppliedBatchHashList";
+import { WitnessedRootHashList, WitnessedRootWitness, } from "../accumulators/WitnessedRootHashList";
+import { BundleHashList, FieldTransition } from "../accumulators/BlockHashList";
+import { BlockHashMerkleTreeWitness } from "./accummulators/BlockHashMerkleTree";
+export const BLOCK_ARGUMENT_BATCH_SIZE = 4;
+export class BlockArguments extends Struct({
+    afterBlockRootWitness: WitnessedRootWitness,
     transactionsHash: Field,
-    stateRoot: Field,
-    networkStateHash: Field,
+    pendingSTBatchesHash: FieldTransition,
+    witnessedRootsHash: FieldTransition,
+    isDummy: Bool,
 }) {
+    static noop(state, stateRoot) {
+        return new BlockArguments({
+            afterBlockRootWitness: {
+                witnessedRoot: stateRoot,
+            },
+            transactionsHash: Field(0),
+            pendingSTBatchesHash: {
+                from: state.pendingSTBatches.commitment,
+                to: state.pendingSTBatches.commitment,
+            },
+            witnessedRootsHash: {
+                from: state.witnessedRoots.commitment,
+                to: state.witnessedRoots.commitment,
+            },
+            isDummy: Bool(true),
+        });
+    }
 }
-export class BlockProverPublicOutput extends Struct({
-    transactionsHash: Field,
-    stateRoot: Field,
+export class BlockArgumentsBatch extends Struct({
+    batch: Provable.Array(BlockArguments, BLOCK_ARGUMENT_BATCH_SIZE),
 }) {
 }
-export class BlockProverExecutionData extends Struct({
-    transaction: ProtocolTransaction,
-    networkState: NetworkState,
-    // accountstate
+const BlockProverStateBaseFields = {
+    eternalTransactionsHash: Field,
+    incomingMessagesHash: Field,
+    stateRoot: Field,
+    blockHashRoot: Field,
+    blockNumber: Field,
+    networkStateHash: Field,
+};
+export class BlockProverPublicInput extends Struct({
+    // Tracker of the current block prover state
+    proverStateRemainder: Field,
+    ...BlockProverStateBaseFields,
 }) {
+    equals(input) {
+        const output2 = BlockProverPublicInput.toFields(input);
+        const output1 = BlockProverPublicInput.toFields(this);
+        return output1
+            .map((value1, index) => value1.equals(output2[index]))
+            .reduce((a, b) => a.and(b));
+    }
+    clone() {
+        return new BlockProverPublicInput(BlockProverPublicInput.fromFields(BlockProverPublicInput.toFields(this)));
+    }
+}
+export const BlockProverStateCommitments = {
+    remainders: {
+        // Commitment to the list of unprocessed (pending) batches of STs that need to be proven
+        pendingSTBatchesHash: Field,
+        witnessedRootsHash: Field,
+        bundlesHash: Field,
+        witnessedRootsPreimage: Field,
+    },
+    ...BlockProverStateBaseFields,
+};
+export class BlockProverStateInput extends Struct(BlockProverStateCommitments) {
+    hash() {
+        return Poseidon.hash(BlockProverStateInput.toFields(this));
+    }
+    static fromPublicInput(input) {
+        return new BlockProverStateInput({
+            remainders: {
+                bundlesHash: Field(0),
+                pendingSTBatchesHash: Field(0),
+                witnessedRootsHash: Field(0),
+                witnessedRootsPreimage: Field(0),
+            },
+            eternalTransactionsHash: input.eternalTransactionsHash,
+            incomingMessagesHash: input.incomingMessagesHash,
+            stateRoot: input.stateRoot,
+            blockHashRoot: input.blockHashRoot,
+            blockNumber: input.blockNumber,
+            networkStateHash: input.networkStateHash,
+        });
+    }
+    finalize(condition) {
+        condition
+            .implies(this.remainders.bundlesHash
+            .equals(0)
+            .and(this.remainders.pendingSTBatchesHash.equals(0))
+            .and(this.remainders.witnessedRootsHash.equals(0)))
+            .assertTrue("Remainers not fully removed");
+        return new BlockProverPublicInput({
+            proverStateRemainder: Field(0),
+            eternalTransactionsHash: this.eternalTransactionsHash,
+            incomingMessagesHash: this.incomingMessagesHash,
+            stateRoot: this.stateRoot,
+            blockHashRoot: this.blockHashRoot,
+            blockNumber: this.blockNumber,
+            networkStateHash: this.networkStateHash,
+        });
+    }
+}
+export class BlockProverPublicOutput extends BlockProverPublicInput {
+}
+export class BlockProverState {
+    constructor(args) {
+        this.bundleList = args.bundleList;
+        this.eternalTransactionsList = args.eternalTransactionsList;
+        this.pendingSTBatches = args.pendingSTBatches;
+        this.stateRoot = args.stateRoot;
+        this.blockHashRoot = args.blockHashRoot;
+        this.blockNumber = args.blockNumber;
+        this.networkState = args.networkState;
+        this.blockWitness = args.blockWitness;
+        this.witnessedRoots = args.witnessedRoots;
+        this.incomingMessages = args.incomingMessages;
+    }
+    toCommitments() {
+        return new BlockProverStateInput({
+            remainders: {
+                bundlesHash: this.bundleList.commitment,
+                pendingSTBatchesHash: this.pendingSTBatches.commitment,
+                witnessedRootsHash: this.witnessedRoots.commitment,
+                witnessedRootsPreimage: this.witnessedRoots.preimage,
+            },
+            eternalTransactionsHash: this.eternalTransactionsList.commitment,
+            incomingMessagesHash: this.incomingMessages.commitment,
+            stateRoot: this.stateRoot,
+            blockHashRoot: this.blockHashRoot,
+            blockNumber: this.blockNumber,
+            networkStateHash: this.networkState.hash(),
+        });
+    }
+    static blockProverFromCommitments(stateInput, networkState, blockWitness) {
+        return new BlockProverState({
+            bundleList: new BundleHashList(stateInput.remainders.bundlesHash),
+            eternalTransactionsList: new TransactionHashList(stateInput.eternalTransactionsHash),
+            incomingMessages: new MinaActionsHashList(stateInput.incomingMessagesHash),
+            pendingSTBatches: new AppliedBatchHashList(stateInput.remainders.pendingSTBatchesHash),
+            witnessedRoots: new WitnessedRootHashList(stateInput.remainders.witnessedRootsHash, stateInput.remainders.witnessedRootsPreimage),
+            stateRoot: stateInput.stateRoot,
+            blockHashRoot: stateInput.blockHashRoot,
+            blockNumber: stateInput.blockNumber,
+            networkState,
+            blockWitness,
+        });
+    }
+    copy() {
+        return BlockProverState.fromFields(this.toFields());
+    }
+    toFields() {
+        return [
+            this.bundleList.commitment,
+            this.eternalTransactionsList.commitment,
+            this.pendingSTBatches.commitment,
+            this.incomingMessages.commitment,
+            this.witnessedRoots.commitment,
+            this.witnessedRoots.preimage,
+            this.stateRoot,
+            this.blockHashRoot,
+            this.blockNumber,
+            ...NetworkState.toFields(this.networkState),
+            ...BlockHashMerkleTreeWitness.toFields(this.blockWitness),
+        ];
+    }
+    // TODO Unit test
+    static fromFields(fields) {
+        return new BlockProverState({
+            bundleList: new BundleHashList(fields[0]),
+            eternalTransactionsList: new TransactionHashList(fields[1]),
+            pendingSTBatches: new AppliedBatchHashList(fields[2]),
+            incomingMessages: new MinaActionsHashList(fields[3]),
+            witnessedRoots: new WitnessedRootHashList(fields[4], fields[5]),
+            stateRoot: fields[6],
+            blockHashRoot: fields[7],
+            blockNumber: fields[8],
+            networkState: new NetworkState(NetworkState.fromFields(fields.slice(9))),
+            blockWitness: new BlockHashMerkleTreeWitness(BlockHashMerkleTreeWitness.fromFields(fields.slice(9 + NetworkState.sizeInFields()))),
+        });
+    }
+    static choose(condition, a, b) {
+        return new BlockProverState({
+            bundleList: new BundleHashList(Provable.if(condition, a.bundleList.commitment, b.bundleList.commitment)),
+            eternalTransactionsList: new TransactionHashList(Provable.if(condition, a.eternalTransactionsList.commitment, b.eternalTransactionsList.commitment)),
+            pendingSTBatches: new AppliedBatchHashList(Provable.if(condition, a.pendingSTBatches.commitment, b.pendingSTBatches.commitment)),
+            incomingMessages: new MinaActionsHashList(Provable.if(condition, a.incomingMessages.commitment, b.incomingMessages.commitment)),
+            witnessedRoots: new WitnessedRootHashList(Provable.if(condition, a.witnessedRoots.commitment, b.witnessedRoots.commitment), Provable.if(condition, a.witnessedRoots.preimage, b.witnessedRoots.preimage)),
+            stateRoot: Provable.if(condition, a.stateRoot, b.stateRoot),
+            blockHashRoot: Provable.if(condition, a.blockHashRoot, b.blockHashRoot),
+            blockWitness: new BlockHashMerkleTreeWitness(Provable.if(condition, BlockHashMerkleTreeWitness, a.blockWitness, b.blockWitness)),
+            blockNumber: Provable.if(condition, a.blockNumber, b.blockNumber),
+            networkState: new NetworkState(Provable.if(condition, NetworkState, a.networkState, b.networkState)),
+        });
+    }
 }
+//# sourceMappingURL=BlockProvable.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"BlockProvable.js","sourceRoot":"","sources":["../../../src/prover/block/BlockProvable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAS,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAItE,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAC5E,OAAO,EACL,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,uCAAuC,CAAC;AAE/C,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAGhF,OAAO,EAAE,0BAA0B,EAAE,MAAM,qCAAqC,CAAC;AAEjF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC;AAE3C,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC;IACzC,qBAAqB,EAAE,oBAAoB;IAC3C,gBAAgB,EAAE,KAAK;IACvB,oBAAoB,EAAE,eAAe;IACrC,kBAAkB,EAAE,eAAe;IACnC,OAAO,EAAE,IAAI;CACd,CAAC;IACO,MAAM,CAAC,IAAI,CAChB,KAAyD,EACzD,SAAgB;QAEhB,OAAO,IAAI,cAAc,CAAC;YACxB,qBAAqB,EAAE;gBACrB,aAAa,EAAE,SAAS;aACzB;YACD,gBAAgB,EAAE,KAAK,CAAC,CAAC,CAAC;YAC1B,oBAAoB,EAAE;gBACpB,IAAI,EAAE,KAAK,CAAC,gBAAgB,CAAC,UAAU;gBACvC,EAAE,EAAE,KAAK,CAAC,gBAAgB,CAAC,UAAU;aACtC;YACD,kBAAkB,EAAE;gBAClB,IAAI,EAAE,KAAK,CAAC,cAAc,CAAC,UAAU;gBACrC,EAAE,EAAE,KAAK,CAAC,cAAc,CAAC,UAAU;aACpC;YACD,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC;SACpB,CAAC,CAAC;IACL,CAAC;CACF;AAED,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC;IAC9C,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,cAAc,EAAE,yBAAyB,CAAC;CACjE,CAAC;CAAG;AAEL,MAAM,0BAA0B,GAAG;IACjC,uBAAuB,EAAE,KAAK;IAC9B,oBAAoB,EAAE,KAAK;IAC3B,SAAS,EAAE,KAAK;IAChB,aAAa,EAAE,KAAK;IACpB,WAAW,EAAE,KAAK;IAClB,gBAAgB,EAAE,KAAK;CACxB,CAAC;AAEF,MAAM,OAAO,sBAAuB,SAAQ,MAAM,CAAC;IACjD,4CAA4C;IAC5C,oBAAoB,EAAE,KAAK;IAC3B,GAAG,0BAA0B;CAC9B,CAAC;IACO,MAAM,CAAC,KAA6B;QACzC,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACvD,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACtD,OAAO,OAAO;aACX,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;aACrD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC;IAEM,KAAK;QACV,OAAO,IAAI,sBAAsB,CAC/B,sBAAsB,CAAC,UAAU,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CACzE,CAAC;IACJ,CAAC;CACF;AAED,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC,UAAU,EAAE;QACV,wFAAwF;QACxF,oBAAoB,EAAE,KAAK;QAC3B,kBAAkB,EAAE,KAAK;QACzB,WAAW,EAAE,KAAK;QAClB,sBAAsB,EAAE,KAAK;KAC9B;IACD,GAAG,0BAA0B;CAC9B,CAAC;AAEF,MAAM,OAAO,qBAAsB,SAAQ,MAAM,CAAC,2BAA2B,CAAC;IACrE,IAAI;QACT,OAAO,QAAQ,CAAC,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,CAAC;IAEM,MAAM,CAAC,eAAe,CAAC,KAA6B;QACzD,OAAO,IAAI,qBAAqB,CAAC;YAC/B,UAAU,EAAE;gBACV,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;gBACrB,oBAAoB,EAAE,KAAK,CAAC,CAAC,CAAC;gBAC9B,kBAAkB,EAAE,KAAK,CAAC,CAAC,CAAC;gBAC5B,sBAAsB,EAAE,KAAK,CAAC,CAAC,CAAC;aACjC;YACD,uBAAuB,EAAE,KAAK,CAAC,uBAAuB;YACtD,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;YAChD,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;SACzC,CAAC,CAAC;IACL,CAAC;IAEM,QAAQ,CAAC,SAAe;QAC7B,SAAS;aACN,OAAO,CACN,IAAI,CAAC,UAAU,CAAC,WAAW;aACxB,MAAM,CAAC,CAAC,CAAC;aACT,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;aACnD,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CACrD;aACA,UAAU,CAAC,6BAA6B,CAAC,CAAC;QAE7C,OAAO,IAAI,sBAAsB,CAAC;YAChC,oBAAoB,EAAE,KAAK,CAAC,CAAC,CAAC;YAC9B,uBAAuB,EAAE,IAAI,CAAC,uBAAuB;YACrD,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;YAC/C,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;SACxC,CAAC,CAAC;IACL,CAAC;CACF;AAED,MAAM,OAAO,uBAAwB,SAAQ,sBAAsB;CAAG;AAEtE,MAAM,OAAO,gBAAgB;IAqC3B,YAAY,IAWX;QACC,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;QAClC,IAAI,CAAC,uBAAuB,GAAG,IAAI,CAAC,uBAAuB,CAAC;QAC5D,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC;QAC9C,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC;QACxC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;QACpC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QACtC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QACtC,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;QAC1C,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC;IAChD,CAAC;IAEM,aAAa;QAClB,OAAO,IAAI,qBAAqB,CAAC;YAC/B,UAAU,EAAE;gBACV,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,UAAU;gBACvC,oBAAoB,EAAE,IAAI,CAAC,gBAAgB,CAAC,UAAU;gBACtD,kBAAkB,EAAE,IAAI,CAAC,cAAc,CAAC,UAAU;gBAClD,sBAAsB,EAAE,IAAI,CAAC,cAAc,CAAC,QAAQ;aACrD;YACD,uBAAuB,EAAE,IAAI,CAAC,uBAAuB,CAAC,UAAU;YAChE,oBAAoB,EAAE,IAAI,CAAC,gBAAgB,CAAC,UAAU;YACtD,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,gBAAgB,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE;SAC3C,CAAC,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,0BAA0B,CACtC,UAA6C,EAC7C,YAA0B,EAC1B,YAAwC;QAExC,OAAO,IAAI,gBAAgB,CAAC;YAC1B,UAAU,EAAE,IAAI,cAAc,CAAC,UAAU,CAAC,UAAU,CAAC,WAAW,CAAC;YACjE,uBAAuB,EAAE,IAAI,mBAAmB,CAC9C,UAAU,CAAC,uBAAuB,CACnC;YACD,gBAAgB,EAAE,IAAI,mBAAmB,CACvC,UAAU,CAAC,oBAAoB,CAChC;YACD,gBAAgB,EAAE,IAAI,oBAAoB,CACxC,UAAU,CAAC,UAAU,CAAC,oBAAoB,CAC3C;YACD,cAAc,EAAE,IAAI,qBAAqB,CACvC,UAAU,CAAC,UAAU,CAAC,kBAAkB,EACxC,UAAU,CAAC,UAAU,CAAC,sBAAsB,CAC7C;YACD,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,aAAa,EAAE,UAAU,CAAC,aAAa;YACvC,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,YAAY;YACZ,YAAY;SACb,CAAC,CAAC;IACL,CAAC;IAEM,IAAI;QACT,OAAO,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IACtD,CAAC;IAEM,QAAQ;QACb,OAAO;YACL,IAAI,CAAC,UAAU,CAAC,UAAU;YAC1B,IAAI,CAAC,uBAAuB,CAAC,UAAU;YACvC,IAAI,CAAC,gBAAgB,CAAC,UAAU;YAChC,IAAI,CAAC,gBAAgB,CAAC,UAAU;YAChC,IAAI,CAAC,cAAc,CAAC,UAAU;YAC9B,IAAI,CAAC,cAAc,CAAC,QAAQ;YAC5B,IAAI,CAAC,SAAS;YACd,IAAI,CAAC,aAAa;YAClB,IAAI,CAAC,WAAW;YAChB,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC;YAC3C,GAAG,0BAA0B,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC;SAC1D,CAAC;IACJ,CAAC;IAED,iBAAiB;IACV,MAAM,CAAC,UAAU,CAAC,MAAe;QACtC,OAAO,IAAI,gBAAgB,CAAC;YAC1B,UAAU,EAAE,IAAI,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACzC,uBAAuB,EAAE,IAAI,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3D,gBAAgB,EAAE,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACrD,gBAAgB,EAAE,IAAI,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACpD,cAAc,EAAE,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/D,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;YACpB,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;YACxB,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;YACtB,YAAY,EAAE,IAAI,YAAY,CAAC,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACxE,YAAY,EAAE,IAAI,0BAA0B,CAC1C,0BAA0B,CAAC,UAAU,CACnC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,YAAY,CAAC,YAAY,EAAE,CAAC,CAC9C,CACF;SACF,CAAC,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,MAAM,CAClB,SAAe,EACf,CAAmB,EACnB,CAAmB;QAEnB,OAAO,IAAI,gBAAgB,CAAC;YAC1B,UAAU,EAAE,IAAI,cAAc,CAC5B,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CACzE;YACD,uBAAuB,EAAE,IAAI,mBAAmB,CAC9C,QAAQ,CAAC,EAAE,CACT,SAAS,EACT,CAAC,CAAC,uBAAuB,CAAC,UAAU,EACpC,CAAC,CAAC,uBAAuB,CAAC,UAAU,CACrC,CACF;YACD,gBAAgB,EAAE,IAAI,oBAAoB,CACxC,QAAQ,CAAC,EAAE,CACT,SAAS,EACT,CAAC,CAAC,gBAAgB,CAAC,UAAU,EAC7B,CAAC,CAAC,gBAAgB,CAAC,UAAU,CAC9B,CACF;YACD,gBAAgB,EAAE,IAAI,mBAAmB,CACvC,QAAQ,CAAC,EAAE,CACT,SAAS,EACT,CAAC,CAAC,gBAAgB,CAAC,UAAU,EAC7B,CAAC,CAAC,gBAAgB,CAAC,UAAU,CAC9B,CACF;YACD,cAAc,EAAE,IAAI,qBAAqB,CACvC,QAAQ,CAAC,EAAE,CACT,SAAS,EACT,CAAC,CAAC,cAAc,CAAC,UAAU,EAC3B,CAAC,CAAC,cAAc,CAAC,UAAU,CAC5B,EACD,QAAQ,CAAC,EAAE,CACT,SAAS,EACT,CAAC,CAAC,cAAc,CAAC,QAAQ,EACzB,CAAC,CAAC,cAAc,CAAC,QAAQ,CAC1B,CACF;YACD,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;YAC3D,aAAa,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,aAAa,CAAC;YACvE,YAAY,EAAE,IAAI,0BAA0B,CAC1C,QAAQ,CAAC,EAAE,CACT,SAAS,EACT,0BAA0B,EAC1B,CAAC,CAAC,YAAY,EACd,CAAC,CAAC,YAAY,CACf,CACF;YACD,WAAW,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,WAAW,CAAC;YACjE,YAAY,EAAE,IAAI,YAAY,CAC5B,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,CAAC,CACrE;SACF,CAAC,CAAC;IACL,CAAC;CACF"}

package/dist/prover/block/BlockProver.d.ts

@@ -1,48 +1,63 @@
-import { Field, type Proof } from "snarkyjs";
-import { PlainZkProgram, WithZkProgrammable, ZkProgrammable } from "@proto-kit/common";
-import { MethodPublicOutput } from "../../model/MethodPublicOutput";
+import { Bool, Field } from "o1js";
+import { AreProofsEnabled, CompilableModule, CompileArtifact, CompileRegistry, PlainZkProgram, WithZkProgrammable, ZkProgrammable } from "@proto-kit/common";
 import { ProtocolModule } from "../../protocol/ProtocolModule";
-import { StateTransitionProof, StateTransitionProverPublicInput, StateTransitionProverPublicOutput } from "../statetransition/StateTransitionProvable";
-import { BlockProvable, BlockProverExecutionData, BlockProverProof, BlockProverPublicInput, BlockProverPublicOutput } from "./BlockProvable";
-export interface BlockProverState {
-    stateRoot: Field;
+import { StateTransitionProof, StateTransitionProvable, StateTransitionProverPublicInput, StateTransitionProverPublicOutput } from "../statetransition/StateTransitionProvable";
+import { AfterBlockHookArguments, BeforeBlockHookArguments, ProvableBlockHook } from "../../protocol/ProvableBlockHook";
+import { NetworkState } from "../../model/network/NetworkState";
+import { StateServiceProvider } from "../../state/StateServiceProvider";
+import { TransactionProof, TransactionProvable, TransactionProverPublicInput, TransactionProverPublicOutput } from "../transaction/TransactionProvable";
+import { BlockArgumentsBatch, BlockProof, BlockProvable, BlockProverPublicInput, BlockProverPublicOutput, BlockProverStateInput } from "./BlockProvable";
+import { BlockHashMerkleTreeWitness } from "./accummulators/BlockHashMerkleTree";
+type BlockHookArgument<T extends "before" | "after"> = T extends "before" ? BeforeBlockHookArguments : AfterBlockHookArguments;
+export declare class BlockProverProgrammable extends ZkProgrammable<BlockProverPublicInput, BlockProverPublicOutput> {
+    private readonly prover;
+    readonly stateTransitionProver: ZkProgrammable<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>;
+    readonly transactionProver: ZkProgrammable<TransactionProverPublicInput, TransactionProverPublicOutput>;
+    private readonly blockHooks;
+    private readonly stateServiceProvider;
+    constructor(prover: BlockProver, stateTransitionProver: ZkProgrammable<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, transactionProver: ZkProgrammable<TransactionProverPublicInput, TransactionProverPublicOutput>, blockHooks: ProvableBlockHook<unknown>[], stateServiceProvider: StateServiceProvider);
+    name: string;
+    get areProofsEnabled(): AreProofsEnabled | undefined;
+    executeBlockHooks<T extends "before" | "after">(type: T, hook: (module: ProvableBlockHook<unknown>, networkState: NetworkState, args: BlockHookArgument<T>) => Promise<NetworkState>, hookArguments: BlockHookArgument<T>, inputNetworkState: NetworkState, isDummy: Bool): Promise<{
+        batch: import("../..").AppliedStateTransitionBatch;
+        result: NetworkState;
+        rawStatus: import("o1js/dist/node/lib/provable/bool").Bool;
+    }>;
+    includeSTProof(stateTransitionProof: StateTransitionProof, apply: Bool, stateRoot: Field, pendingSTBatchesHash: Field, witnessedRootsHash: Field): {
+        stateRoot: Field;
+        pendingSTBatchesHash: Field;
+        witnessedRootsHash: Field;
+    };
+    private verifySTProof;
+    private verifyTransactionProof;
+    private parseState;
+    private computeOutput;
+    proveBlockBatchNoProofs(publicInput: BlockProverPublicInput, stateWitness: BlockProverStateInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, batch: BlockArgumentsBatch, finalize: Bool): Promise<BlockProverPublicOutput>;
+    proveBlockBatchWithProofs(publicInput: BlockProverPublicInput, stateWitness: BlockProverStateInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, batch: BlockArgumentsBatch, deferSTProof: Bool, deferTransactionProof: Bool, stateTransitionProof: StateTransitionProof, transactionProof: TransactionProof): Promise<BlockProverPublicOutput>;
+    proveBlockBatch(doProofVerification: boolean, publicInput: BlockProverPublicInput, stateWitness: BlockProverStateInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, batch: BlockArgumentsBatch, deferSTProof: Bool, deferTransactionProof: Bool, finalize: Bool, stateTransitionProof?: StateTransitionProof, transactionProof?: TransactionProof): Promise<BlockProverPublicOutput>;
+    private proveBlock;
+    merge(publicInput: BlockProverPublicInput, proof1: BlockProof, proof2: BlockProof): Promise<BlockProverPublicOutput>;
     /**
-     * The current commitment of the transaction-list which
-     * will at the end equal the bundle hash
-     */
-    transactionsHash: Field;
-    /**
-     * The network state which gives access to values such as blockHeight
-     * This value is the same for the whole batch (L2 block)
+     * Creates the BlockProver ZkProgram.
+     * Recursive linking of proofs is done via the previously
+     * injected StateTransitionProver and the required AppChainProof class
      */
-    networkStateHash: Field;
+    zkProgramFactory(): PlainZkProgram<BlockProverPublicInput, BlockProverPublicOutput>[];
 }
 /**
  * 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 declare class BlockProver extends ProtocolModule<BlockProverPublicInput, BlockProverPublicOutput> implements BlockProvable {
-    private readonly stateTransitionProver;
-    private readonly runtime;
-    constructor(stateTransitionProver: ZkProgrammable<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, runtime: WithZkProgrammable<void, MethodPublicOutput>);
-    /**
-     * 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 appProof
-     * @returns The new BlockProver-state to be used as public output
-     */
-    applyTransaction(state: BlockProverState, stateTransitionProof: Proof<StateTransitionProverPublicInput, StateTransitionProverPublicOutput>, appProof: Proof<void, MethodPublicOutput>, { transaction, networkState }: BlockProverExecutionData): BlockProverState;
-    proveTransaction(publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, appProof: Proof<void, MethodPublicOutput>, executionData: BlockProverExecutionData): BlockProverPublicOutput;
-    merge(publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof): BlockProverPublicOutput;
-    /**
-     * Creates the BlockProver ZkProgram.
-     * Recursive linking of proofs is done via the previously
-     * injected StateTransitionProver and the required AppChainProof class
-     */
-    zkProgramFactory(): PlainZkProgram<BlockProverPublicInput, BlockProverPublicOutput>;
+export declare class BlockProver extends ProtocolModule implements BlockProvable, CompilableModule {
+    readonly stateTransitionProver: WithZkProgrammable<StateTransitionProverPublicInput, StateTransitionProverPublicOutput> & StateTransitionProvable;
+    readonly transactionProver: WithZkProgrammable<TransactionProverPublicInput, TransactionProverPublicOutput> & TransactionProvable;
+    zkProgrammable: BlockProverProgrammable;
+    constructor(stateTransitionProver: WithZkProgrammable<StateTransitionProverPublicInput, StateTransitionProverPublicOutput> & StateTransitionProvable, transactionProver: WithZkProgrammable<TransactionProverPublicInput, TransactionProverPublicOutput> & TransactionProvable, blockHooks: ProvableBlockHook<unknown>[], stateServiceProvider: StateServiceProvider);
+    compile(registry: CompileRegistry): Promise<Record<string, CompileArtifact> | undefined>;
+    proveBlockBatchNoProofs(publicInput: BlockProverPublicInput, stateWitness: BlockProverStateInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, batch: BlockArgumentsBatch, finalize: Bool): Promise<BlockProverPublicOutput>;
+    proveBlockBatchWithProofs(publicInput: BlockProverPublicInput, stateWitness: BlockProverStateInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, batch: BlockArgumentsBatch, deferSTProof: Bool, deferTransactionProof: Bool, stateTransitionProof: StateTransitionProof, transactionProof: TransactionProof): Promise<BlockProverPublicOutput>;
+    merge(publicInput: BlockProverPublicInput, proof1: BlockProof, proof2: BlockProof): Promise<BlockProverPublicOutput>;
 }
+export {};
 //# sourceMappingURL=BlockProver.d.ts.map

package/dist/prover/block/BlockProver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"BlockProver.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProver.ts"],"names":[],"mappings":"AACA,OAAO,EAAgB,KAAK,EAAE,KAAK,KAAK,EAAuB,MAAM,UAAU,CAAC;AAEhF,OAAO,EACL,cAAc,EAEd,kBAAkB,EAClB,cAAc,EACf,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,gCAAgC,EAChC,iCAAiC,EAClC,MAAM,4CAA4C,CAAC;AAGpD,OAAO,EACL,aAAa,EACb,wBAAwB,EACxB,gBAAgB,EAChB,sBAAsB,EACtB,uBAAuB,EACxB,MAAM,iBAAiB,CAAC;AAiBzB,MAAM,WAAW,gBAAgB;IAE/B,SAAS,EAAE,KAAK,CAAC;IAEjB;;;OAGG;IACH,gBAAgB,EAAE,KAAK,CAAC;IAExB;;;OAGG;IACH,gBAAgB,EAAE,KAAK,CAAC;CACzB;AAED;;;;GAIG;AACH,qBACa,WACX,SAAQ,cAAc,CAAC,sBAAsB,EAAE,uBAAuB,CACtE,YAAW,aAAa;IAItB,OAAO,CAAC,QAAQ,CAAC,qBAAqB;IAKtC,OAAO,CAAC,QAAQ,CAAC,OAAO;gBALP,qBAAqB,EAAE,cAAc,CACpD,gCAAgC,EAChC,iCAAiC,CAClC,EAEgB,OAAO,EAAE,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAKxE;;;;;;;;OAQG;IACI,gBAAgB,CACrB,KAAK,EAAE,gBAAgB,EACvB,oBAAoB,EAAE,KAAK,CACzB,gCAAgC,EAChC,iCAAiC,CAClC,EACD,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,EAAE,WAAW,EAAE,YAAY,EAAE,EAAE,wBAAwB,GACtD,gBAAgB;IAyEZ,gBAAgB,CACrB,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,aAAa,EAAE,wBAAwB,GACtC,uBAAuB;IAqBnB,KAAK,CACV,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,uBAAuB;IA8B1B;;;;OAIG;IACI,gBAAgB,IAAI,cAAc,CACvC,sBAAsB,EACtB,uBAAuB,CACxB;CAkEF"}
+{"version":3,"file":"BlockProver.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAkC,MAAM,MAAM,CAAC;AAEnE,OAAO,EACL,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EACf,eAAe,EAGf,cAAc,EAGd,kBAAkB,EAClB,cAAc,EACf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,gCAAgC,EAChC,iCAAiC,EAClC,MAAM,4CAA4C,CAAC;AAGpD,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,iBAAiB,EAGlB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAEhE,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AAExE,OAAO,EACL,gBAAgB,EAChB,mBAAmB,EACnB,4BAA4B,EAC5B,6BAA6B,EAC9B,MAAM,oCAAoC,CAAC;AAG5C,OAAO,EAEL,mBAAmB,EACnB,UAAU,EACV,aAAa,EACb,sBAAsB,EACtB,uBAAuB,EAEvB,qBAAqB,EACtB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,0BAA0B,EAE3B,MAAM,qCAAqC,CAAC;AAS7C,KAAK,iBAAiB,CAAC,CAAC,SAAS,QAAQ,GAAG,OAAO,IAAI,CAAC,SAAS,QAAQ,GACrE,wBAAwB,GACxB,uBAAuB,CAAC;AAE5B,qBAAa,uBAAwB,SAAQ,cAAc,CACzD,sBAAsB,EACtB,uBAAuB,CACxB;IAEG,OAAO,CAAC,QAAQ,CAAC,MAAM;aACP,qBAAqB,EAAE,cAAc,CACnD,gCAAgC,EAChC,iCAAiC,CAClC;aACe,iBAAiB,EAAE,cAAc,CAC/C,4BAA4B,EAC5B,6BAA6B,CAC9B;IACD,OAAO,CAAC,QAAQ,CAAC,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,oBAAoB;gBAVpB,MAAM,EAAE,WAAW,EACpB,qBAAqB,EAAE,cAAc,CACnD,gCAAgC,EAChC,iCAAiC,CAClC,EACe,iBAAiB,EAAE,cAAc,CAC/C,4BAA4B,EAC5B,6BAA6B,CAC9B,EACgB,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAAE,EACxC,oBAAoB,EAAE,oBAAoB;IAK7D,IAAI,SAAiB;IAErB,IAAW,gBAAgB,IAAI,gBAAgB,GAAG,SAAS,CAE1D;IAEY,iBAAiB,CAAC,CAAC,SAAS,QAAQ,GAAG,OAAO,EACzD,IAAI,EAAE,CAAC,EACP,IAAI,EAAE,CACJ,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAClC,YAAY,EAAE,YAAY,EAC1B,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,KACvB,OAAO,CAAC,YAAY,CAAC,EAC1B,aAAa,EAAE,iBAAiB,CAAC,CAAC,CAAC,EACnC,iBAAiB,EAAE,YAAY,EAC/B,OAAO,EAAE,IAAI;;;;;IAqCR,cAAc,CACnB,oBAAoB,EAAE,oBAAoB,EAC1C,KAAK,EAAE,IAAI,EACX,SAAS,EAAE,KAAK,EAChB,oBAAoB,EAAE,KAAK,EAC3B,kBAAkB,EAAE,KAAK,GACxB;QACD,SAAS,EAAE,KAAK,CAAC;QACjB,oBAAoB,EAAE,KAAK,CAAC;QAC5B,kBAAkB,EAAE,KAAK,CAAC;KAC3B;IAwED,OAAO,CAAC,aAAa;IA0BrB,OAAO,CAAC,sBAAsB;IAqD9B,OAAO,CAAC,UAAU;IAgDlB,OAAO,CAAC,aAAa;IAuBR,uBAAuB,CAClC,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,qBAAqB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,KAAK,EAAE,mBAAmB,EAC1B,QAAQ,EAAE,IAAI;IAgBH,yBAAyB,CACpC,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,qBAAqB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,KAAK,EAAE,mBAAmB,EAC1B,YAAY,EAAE,IAAI,EAClB,qBAAqB,EAAE,IAAI,EAC3B,oBAAoB,EAAE,oBAAoB,EAC1C,gBAAgB,EAAE,gBAAgB;IAmBvB,eAAe,CAC1B,mBAAmB,EAAE,OAAO,EAC5B,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,qBAAqB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,KAAK,EAAE,mBAAmB,EAC1B,YAAY,EAAE,IAAI,EAClB,qBAAqB,EAAE,IAAI,EAC3B,QAAQ,EAAE,IAAI,EACd,oBAAoB,CAAC,EAAE,oBAAoB,EAC3C,gBAAgB,CAAC,EAAE,gBAAgB,GAClC,OAAO,CAAC,uBAAuB,CAAC;YAiCrB,UAAU;IAiHX,KAAK,CAChB,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,UAAU,GACjB,OAAO,CAAC,uBAAuB,CAAC;IA4BnC;;;;OAIG;IACI,gBAAgB,IAAI,cAAc,CACvC,sBAAsB,EACtB,uBAAuB,CACxB,EAAE;CAsHJ;AAED;;;;GAIG;AACH,qBACa,WACX,SAAQ,cACR,YAAW,aAAa,EAAE,gBAAgB;aAMxB,qBAAqB,EAAE,kBAAkB,CACvD,gCAAgC,EAChC,iCAAiC,CAClC,GACC,uBAAuB;aAET,iBAAiB,EAAE,kBAAkB,CACnD,4BAA4B,EAC5B,6BAA6B,CAC9B,GACC,mBAAmB;IAdhB,cAAc,EAAE,uBAAuB,CAAC;gBAI7B,qBAAqB,EAAE,kBAAkB,CACvD,gCAAgC,EAChC,iCAAiC,CAClC,GACC,uBAAuB,EAET,iBAAiB,EAAE,kBAAkB,CACnD,4BAA4B,EAC5B,6BAA6B,CAC9B,GACC,mBAAmB,EAErB,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAExC,oBAAoB,EAAE,oBAAoB;IAY/B,OAAO,CAClB,QAAQ,EAAE,eAAe,GACxB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,SAAS,CAAC;IAQhD,uBAAuB,CAC5B,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,qBAAqB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,KAAK,EAAE,mBAAmB,EAC1B,QAAQ,EAAE,IAAI,GACb,OAAO,CAAC,uBAAuB,CAAC;IAW5B,yBAAyB,CAC9B,WAAW,EAAE,sBAAsB,EACnC,YAAY,EAAE,qBAAqB,EACnC,YAAY,EAAE,YAAY,EAC1B,YAAY,EAAE,0BAA0B,EACxC,KAAK,EAAE,mBAAmB,EAC1B,YAAY,EAAE,IAAI,EAClB,qBAAqB,EAAE,IAAI,EAC3B,oBAAoB,EAAE,oBAAoB,EAC1C,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,uBAAuB,CAAC;IAc5B,KAAK,CACV,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,UAAU,GACjB,OAAO,CAAC,uBAAuB,CAAC;CAGpC"}