@proto-kit/protocol 0.1.1-develop.1315 → 0.1.1-develop.1343

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

@@ -1,14 +1,51 @@
-import { Bool, DynamicProof, Proof, Signature, Void } from "o1js";
+import { Bool, DynamicProof, Field, Proof, Signature, Void } from "o1js";
 import { WithZkProgrammable, CompilableModule } from "@proto-kit/common";
 import { StateTransitionProof } from "../statetransition/StateTransitionProvable";
 import { MethodPublicOutput } from "../../model/MethodPublicOutput";
 import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
 import { NetworkState } from "../../model/network/NetworkState";
+import { TransactionHashList } from "../accumulators/TransactionHashList";
+import { MinaActionsHashList } from "../../utils/MinaPrefixedProvableHashList";
+import { AppliedBatchHashList } from "../accumulators/AppliedBatchHashList";
+import { WitnessedRootHashList, WitnessedRootWitness } from "../accumulators/WitnessedRootHashList";
 import { BlockHashMerkleTreeWitness } from "./accummulators/BlockHashMerkleTree";
 import { RuntimeVerificationKeyAttestation } from "./accummulators/RuntimeVerificationKeyTree";
-declare const BlockProverPublicInput_base: (new (value: {
+export interface BlockProverState {
+    /**
+     * The current state root of the block prover
+     */
+    stateRoot: Field;
+    /**
+     * The current commitment of the transaction-list which
+     * will at the end equal the bundle hash
+     */
+    transactionList: TransactionHashList;
+    /**
+     * The network state which gives access to values such as blockHeight
+     * This value is the same for the whole batch (L2 block)
+     */
+    networkState: NetworkState;
+    /**
+     * The root of the merkle tree encoding all block hashes,
+     * see `BlockHashMerkleTree`
+     */
+    blockHashRoot: Field;
+    /**
+     * A variant of the transactionsHash that is never reset.
+     * Thought for usage in the sequence state mempool.
+     * In comparison, transactionsHash restarts at 0 for every new block
+     */
+    eternalTransactionsList: TransactionHashList;
+    pendingSTBatches: AppliedBatchHashList;
+    incomingMessages: MinaActionsHashList;
+    witnessedRoots: WitnessedRootHashList;
+    blockNumber: Field;
+}
+declare const BlockProverStateCommitments_base: (new (value: {
     transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
     stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+    pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+    witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
     networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
     blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
     eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -17,6 +54,8 @@ declare const BlockProverPublicInput_base: (new (value: {
 }) => {
     transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
     stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+    pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+    witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
     networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
     blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
     eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -27,6 +66,8 @@ declare const BlockProverPublicInput_base: (new (value: {
 } & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
     transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
     stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+    pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+    witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
     networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
     blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
     eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -35,6 +76,8 @@ declare const BlockProverPublicInput_base: (new (value: {
 }, {
     transactionsHash: bigint;
     stateRoot: bigint;
+    pendingSTBatchesHash: bigint;
+    witnessedRootsHash: bigint;
     networkStateHash: bigint;
     blockHashRoot: bigint;
     eternalTransactionsHash: bigint;
@@ -44,6 +87,8 @@ declare const BlockProverPublicInput_base: (new (value: {
     fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
         transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
         stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
         networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
         blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
         eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -54,6 +99,8 @@ declare const BlockProverPublicInput_base: (new (value: {
     fromValue: (value: {
         transactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
         stateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
         networkStateHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
         blockHashRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
         eternalTransactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
@@ -62,6 +109,8 @@ declare const BlockProverPublicInput_base: (new (value: {
     }) => {
         transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
         stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
         networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
         blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
         eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -71,6 +120,8 @@ declare const BlockProverPublicInput_base: (new (value: {
     toInput: (x: {
         transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
         stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
         networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
         blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
         eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -83,6 +134,8 @@ declare const BlockProverPublicInput_base: (new (value: {
     toJSON: (x: {
         transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
         stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
         networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
         blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
         eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -91,6 +144,8 @@ declare const BlockProverPublicInput_base: (new (value: {
     }) => {
         transactionsHash: string;
         stateRoot: string;
+        pendingSTBatchesHash: string;
+        witnessedRootsHash: string;
         networkStateHash: string;
         blockHashRoot: string;
         eternalTransactionsHash: string;
@@ -100,6 +155,8 @@ declare const BlockProverPublicInput_base: (new (value: {
     fromJSON: (x: {
         transactionsHash: string;
         stateRoot: string;
+        pendingSTBatchesHash: string;
+        witnessedRootsHash: string;
         networkStateHash: string;
         blockHashRoot: string;
         eternalTransactionsHash: string;
@@ -108,6 +165,8 @@ declare const BlockProverPublicInput_base: (new (value: {
     }) => {
         transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
         stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
         networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
         blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
         eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -117,6 +176,8 @@ declare const BlockProverPublicInput_base: (new (value: {
     empty: () => {
         transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
         stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
         networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
         blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
         eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -124,11 +185,17 @@ declare const BlockProverPublicInput_base: (new (value: {
         blockNumber: import("o1js/dist/node/lib/provable/field").Field;
     };
 };
-export declare class BlockProverPublicInput extends BlockProverPublicInput_base {
+export declare class BlockProverStateCommitments extends BlockProverStateCommitments_base {
+    static fromBlockProverState(state: BlockProverState): BlockProverStateCommitments;
+    static toBlockProverState(publicInput: BlockProverStateCommitments, networkState: NetworkState): BlockProverState;
+}
+export declare class BlockProverPublicInput extends BlockProverStateCommitments {
 }
 declare const BlockProverPublicOutput_base: (new (value: {
     transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
     stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+    pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+    witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
     networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
     blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
     eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -138,6 +205,8 @@ declare const BlockProverPublicOutput_base: (new (value: {
 }) => {
     transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
     stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+    pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+    witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
     networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
     blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
     eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -149,6 +218,8 @@ declare const BlockProverPublicOutput_base: (new (value: {
 } & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
     transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
     stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+    pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+    witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
     networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
     blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
     eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -158,6 +229,8 @@ declare const BlockProverPublicOutput_base: (new (value: {
 }, {
     transactionsHash: bigint;
     stateRoot: bigint;
+    pendingSTBatchesHash: bigint;
+    witnessedRootsHash: bigint;
     networkStateHash: bigint;
     blockHashRoot: bigint;
     eternalTransactionsHash: bigint;
@@ -168,6 +241,8 @@ declare const BlockProverPublicOutput_base: (new (value: {
     fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
         transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
         stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
         networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
         blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
         eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -179,6 +254,8 @@ declare const BlockProverPublicOutput_base: (new (value: {
     fromValue: (value: {
         transactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
         stateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
         networkStateHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
         blockHashRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
         eternalTransactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
@@ -188,6 +265,8 @@ declare const BlockProverPublicOutput_base: (new (value: {
     }) => {
         transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
         stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
         networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
         blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
         eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -198,6 +277,8 @@ declare const BlockProverPublicOutput_base: (new (value: {
     toInput: (x: {
         transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
         stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
         networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
         blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
         eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -211,6 +292,8 @@ declare const BlockProverPublicOutput_base: (new (value: {
     toJSON: (x: {
         transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
         stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
         networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
         blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
         eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -220,6 +303,8 @@ declare const BlockProverPublicOutput_base: (new (value: {
     }) => {
         transactionsHash: string;
         stateRoot: string;
+        pendingSTBatchesHash: string;
+        witnessedRootsHash: string;
         networkStateHash: string;
         blockHashRoot: string;
         eternalTransactionsHash: string;
@@ -230,6 +315,8 @@ declare const BlockProverPublicOutput_base: (new (value: {
     fromJSON: (x: {
         transactionsHash: string;
         stateRoot: string;
+        pendingSTBatchesHash: string;
+        witnessedRootsHash: string;
         networkStateHash: string;
         blockHashRoot: string;
         eternalTransactionsHash: string;
@@ -239,6 +326,8 @@ declare const BlockProverPublicOutput_base: (new (value: {
     }) => {
         transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
         stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
         networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
         blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
         eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -249,6 +338,8 @@ declare const BlockProverPublicOutput_base: (new (value: {
     empty: () => {
         transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
         stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
         networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
         blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
         eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
@@ -261,20 +352,20 @@ export declare class BlockProverPublicOutput extends BlockProverPublicOutput_bas
     equals(input: BlockProverPublicInput, closed: Bool): Bool;
 }
 export type BlockProverProof = Proof<BlockProverPublicInput, BlockProverPublicOutput>;
-declare const BlockProverExecutionData_base: (new (value: {
+declare const BlockProverTransactionArguments_base: (new (value: {
     transaction: RuntimeTransaction;
     signature: Signature;
-    networkState: NetworkState;
+    verificationKeyAttestation: RuntimeVerificationKeyAttestation;
 }) => {
     transaction: RuntimeTransaction;
     signature: Signature;
-    networkState: NetworkState;
+    verificationKeyAttestation: RuntimeVerificationKeyAttestation;
 }) & {
     _isStruct: true;
 } & import("o1js/dist/node/lib/provable/provable").Provable<{
     transaction: RuntimeTransaction;
     signature: Signature;
-    networkState: NetworkState;
+    verificationKeyAttestation: RuntimeVerificationKeyAttestation;
 }, {
     transaction: {
         methodId: bigint;
@@ -289,12 +380,14 @@ declare const BlockProverExecutionData_base: (new (value: {
         };
     };
     signature: any;
-    networkState: {
-        block: {
-            height: bigint;
+    verificationKeyAttestation: {
+        verificationKey: {
+            data: string;
+            hash: bigint;
         };
-        previous: {
-            rootHash: bigint;
+        witness: {
+            path: bigint[];
+            isLeft: boolean[];
         };
     };
 }> & {
@@ -312,23 +405,28 @@ declare const BlockProverExecutionData_base: (new (value: {
             };
         };
         signature: any;
-        networkState: NetworkState | {
-            block: import("../../model/network/NetworkState").CurrentBlock | {
-                height: bigint | import("o1js/dist/node/lib/provable/int").UInt64;
-            };
-            previous: import("../../model/network/NetworkState").PreviousBlock | {
-                rootHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        verificationKeyAttestation: RuntimeVerificationKeyAttestation | {
+            verificationKey: import("o1js/dist/node/lib/proof-system/zkprogram").VerificationKey | {
+                data: string;
+                hash: import("o1js/dist/node/lib/provable/field").Field;
+            } | {
+                data: string;
+                hash: bigint;
             };
+            witness: {
+                path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
+                isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
+            } | import("./accummulators/RuntimeVerificationKeyTree").VKTreeWitness;
         };
     }) => {
         transaction: RuntimeTransaction;
         signature: Signature;
-        networkState: NetworkState;
+        verificationKeyAttestation: RuntimeVerificationKeyAttestation;
     };
     toInput: (x: {
         transaction: RuntimeTransaction;
         signature: Signature;
-        networkState: NetworkState;
+        verificationKeyAttestation: RuntimeVerificationKeyAttestation;
     }) => {
         fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
         packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
@@ -336,7 +434,7 @@ declare const BlockProverExecutionData_base: (new (value: {
     toJSON: (x: {
         transaction: RuntimeTransaction;
         signature: Signature;
-        networkState: NetworkState;
+        verificationKeyAttestation: RuntimeVerificationKeyAttestation;
     }) => {
         transaction: {
             methodId: string;
@@ -351,6 +449,173 @@ declare const BlockProverExecutionData_base: (new (value: {
             };
         };
         signature: any;
+        verificationKeyAttestation: {
+            verificationKey: string;
+            witness: {
+                path: string[];
+                isLeft: boolean[];
+            };
+        };
+    };
+    fromJSON: (x: {
+        transaction: {
+            methodId: string;
+            argsHash: string;
+            nonce: {
+                isSome: boolean;
+                value: any;
+            };
+            sender: {
+                isSome: boolean;
+                value: any;
+            };
+        };
+        signature: any;
+        verificationKeyAttestation: {
+            verificationKey: string;
+            witness: {
+                path: string[];
+                isLeft: boolean[];
+            };
+        };
+    }) => {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+        verificationKeyAttestation: RuntimeVerificationKeyAttestation;
+    };
+    empty: () => {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+        verificationKeyAttestation: RuntimeVerificationKeyAttestation;
+    };
+};
+export declare class BlockProverTransactionArguments extends BlockProverTransactionArguments_base {
+}
+export declare class DynamicRuntimeProof extends DynamicProof<Void, MethodPublicOutput> {
+    static publicInputType: import("o1js/dist/node/lib/provable/types/struct").ProvablePureExtended<void, void, null>;
+    static publicOutputType: typeof MethodPublicOutput;
+    static maxProofsVerified: 0;
+}
+declare const BlockProverSingleTransactionExecutionData_base: (new (value: {
+    transaction: BlockProverTransactionArguments;
+    networkState: NetworkState;
+}) => {
+    transaction: BlockProverTransactionArguments;
+    networkState: NetworkState;
+}) & {
+    _isStruct: true;
+} & import("o1js/dist/node/lib/provable/provable").Provable<{
+    transaction: BlockProverTransactionArguments;
+    networkState: NetworkState;
+}, {
+    transaction: {
+        transaction: {
+            methodId: bigint;
+            argsHash: bigint;
+            nonce: {
+                isSome: boolean;
+                value: any;
+            };
+            sender: {
+                isSome: boolean;
+                value: any;
+            };
+        };
+        signature: any;
+        verificationKeyAttestation: {
+            verificationKey: {
+                data: string;
+                hash: bigint;
+            };
+            witness: {
+                path: bigint[];
+                isLeft: boolean[];
+            };
+        };
+    };
+    networkState: {
+        block: {
+            height: bigint;
+        };
+        previous: {
+            rootHash: bigint;
+        };
+    };
+}> & {
+    fromValue: (value: {
+        transaction: BlockProverTransactionArguments | {
+            transaction: RuntimeTransaction | {
+                methodId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+                argsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+                nonce: import("../..").UInt64Option | {
+                    isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+                    value: any;
+                };
+                sender: import("../..").PublicKeyOption | {
+                    isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+                    value: any;
+                };
+            };
+            signature: any;
+            verificationKeyAttestation: RuntimeVerificationKeyAttestation | {
+                verificationKey: import("o1js/dist/node/lib/proof-system/zkprogram").VerificationKey | {
+                    data: string;
+                    hash: import("o1js/dist/node/lib/provable/field").Field;
+                } | {
+                    data: string;
+                    hash: bigint;
+                };
+                witness: {
+                    path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
+                    isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
+                } | import("./accummulators/RuntimeVerificationKeyTree").VKTreeWitness;
+            };
+        };
+        networkState: NetworkState | {
+            block: import("../../model/network/NetworkState").CurrentBlock | {
+                height: bigint | import("o1js/dist/node/lib/provable/int").UInt64;
+            };
+            previous: import("../../model/network/NetworkState").PreviousBlock | {
+                rootHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            };
+        };
+    }) => {
+        transaction: BlockProverTransactionArguments;
+        networkState: NetworkState;
+    };
+    toInput: (x: {
+        transaction: BlockProverTransactionArguments;
+        networkState: NetworkState;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        transaction: BlockProverTransactionArguments;
+        networkState: NetworkState;
+    }) => {
+        transaction: {
+            transaction: {
+                methodId: string;
+                argsHash: string;
+                nonce: {
+                    isSome: boolean;
+                    value: any;
+                };
+                sender: {
+                    isSome: boolean;
+                    value: any;
+                };
+            };
+            signature: any;
+            verificationKeyAttestation: {
+                verificationKey: string;
+                witness: {
+                    path: string[];
+                    isLeft: boolean[];
+                };
+            };
+        };
         networkState: {
             block: {
                 height: string;
@@ -362,8 +627,65 @@ declare const BlockProverExecutionData_base: (new (value: {
     };
     fromJSON: (x: {
         transaction: {
-            methodId: string;
-            argsHash: string;
+            transaction: {
+                methodId: string;
+                argsHash: string;
+                nonce: {
+                    isSome: boolean;
+                    value: any;
+                };
+                sender: {
+                    isSome: boolean;
+                    value: any;
+                };
+            };
+            signature: any;
+            verificationKeyAttestation: {
+                verificationKey: string;
+                witness: {
+                    path: string[];
+                    isLeft: boolean[];
+                };
+            };
+        };
+        networkState: {
+            block: {
+                height: string;
+            };
+            previous: {
+                rootHash: string;
+            };
+        };
+    }) => {
+        transaction: BlockProverTransactionArguments;
+        networkState: NetworkState;
+    };
+    empty: () => {
+        transaction: BlockProverTransactionArguments;
+        networkState: NetworkState;
+    };
+};
+export declare class BlockProverSingleTransactionExecutionData extends BlockProverSingleTransactionExecutionData_base {
+}
+declare const BlockProverMultiTransactionExecutionData_base: (new (value: {
+    transaction1: BlockProverTransactionArguments;
+    transaction2: BlockProverTransactionArguments;
+    networkState: NetworkState;
+}) => {
+    transaction1: BlockProverTransactionArguments;
+    transaction2: BlockProverTransactionArguments;
+    networkState: NetworkState;
+}) & {
+    _isStruct: true;
+} & import("o1js/dist/node/lib/provable/provable").Provable<{
+    transaction1: BlockProverTransactionArguments;
+    transaction2: BlockProverTransactionArguments;
+    networkState: NetworkState;
+}, {
+    transaction1: {
+        transaction: {
+            methodId: bigint;
+            argsHash: bigint;
             nonce: {
                 isSome: boolean;
                 value: any;
@@ -374,6 +696,232 @@ declare const BlockProverExecutionData_base: (new (value: {
             };
         };
         signature: any;
+        verificationKeyAttestation: {
+            verificationKey: {
+                data: string;
+                hash: bigint;
+            };
+            witness: {
+                path: bigint[];
+                isLeft: boolean[];
+            };
+        };
+    };
+    transaction2: {
+        transaction: {
+            methodId: bigint;
+            argsHash: bigint;
+            nonce: {
+                isSome: boolean;
+                value: any;
+            };
+            sender: {
+                isSome: boolean;
+                value: any;
+            };
+        };
+        signature: any;
+        verificationKeyAttestation: {
+            verificationKey: {
+                data: string;
+                hash: bigint;
+            };
+            witness: {
+                path: bigint[];
+                isLeft: boolean[];
+            };
+        };
+    };
+    networkState: {
+        block: {
+            height: bigint;
+        };
+        previous: {
+            rootHash: bigint;
+        };
+    };
+}> & {
+    fromValue: (value: {
+        transaction1: BlockProverTransactionArguments | {
+            transaction: RuntimeTransaction | {
+                methodId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+                argsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+                nonce: import("../..").UInt64Option | {
+                    isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+                    value: any;
+                };
+                sender: import("../..").PublicKeyOption | {
+                    isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+                    value: any;
+                };
+            };
+            signature: any;
+            verificationKeyAttestation: RuntimeVerificationKeyAttestation | {
+                verificationKey: import("o1js/dist/node/lib/proof-system/zkprogram").VerificationKey | {
+                    data: string;
+                    hash: import("o1js/dist/node/lib/provable/field").Field;
+                } | {
+                    data: string;
+                    hash: bigint;
+                };
+                witness: {
+                    path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
+                    isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
+                } | import("./accummulators/RuntimeVerificationKeyTree").VKTreeWitness;
+            };
+        };
+        transaction2: BlockProverTransactionArguments | {
+            transaction: RuntimeTransaction | {
+                methodId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+                argsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+                nonce: import("../..").UInt64Option | {
+                    isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+                    value: any;
+                };
+                sender: import("../..").PublicKeyOption | {
+                    isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+                    value: any;
+                };
+            };
+            signature: any;
+            verificationKeyAttestation: RuntimeVerificationKeyAttestation | {
+                verificationKey: import("o1js/dist/node/lib/proof-system/zkprogram").VerificationKey | {
+                    data: string;
+                    hash: import("o1js/dist/node/lib/provable/field").Field;
+                } | {
+                    data: string;
+                    hash: bigint;
+                };
+                witness: {
+                    path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
+                    isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
+                } | import("./accummulators/RuntimeVerificationKeyTree").VKTreeWitness;
+            };
+        };
+        networkState: NetworkState | {
+            block: import("../../model/network/NetworkState").CurrentBlock | {
+                height: bigint | import("o1js/dist/node/lib/provable/int").UInt64;
+            };
+            previous: import("../../model/network/NetworkState").PreviousBlock | {
+                rootHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            };
+        };
+    }) => {
+        transaction1: BlockProverTransactionArguments;
+        transaction2: BlockProverTransactionArguments;
+        networkState: NetworkState;
+    };
+    toInput: (x: {
+        transaction1: BlockProverTransactionArguments;
+        transaction2: BlockProverTransactionArguments;
+        networkState: NetworkState;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        transaction1: BlockProverTransactionArguments;
+        transaction2: BlockProverTransactionArguments;
+        networkState: NetworkState;
+    }) => {
+        transaction1: {
+            transaction: {
+                methodId: string;
+                argsHash: string;
+                nonce: {
+                    isSome: boolean;
+                    value: any;
+                };
+                sender: {
+                    isSome: boolean;
+                    value: any;
+                };
+            };
+            signature: any;
+            verificationKeyAttestation: {
+                verificationKey: string;
+                witness: {
+                    path: string[];
+                    isLeft: boolean[];
+                };
+            };
+        };
+        transaction2: {
+            transaction: {
+                methodId: string;
+                argsHash: string;
+                nonce: {
+                    isSome: boolean;
+                    value: any;
+                };
+                sender: {
+                    isSome: boolean;
+                    value: any;
+                };
+            };
+            signature: any;
+            verificationKeyAttestation: {
+                verificationKey: string;
+                witness: {
+                    path: string[];
+                    isLeft: boolean[];
+                };
+            };
+        };
+        networkState: {
+            block: {
+                height: string;
+            };
+            previous: {
+                rootHash: string;
+            };
+        };
+    };
+    fromJSON: (x: {
+        transaction1: {
+            transaction: {
+                methodId: string;
+                argsHash: string;
+                nonce: {
+                    isSome: boolean;
+                    value: any;
+                };
+                sender: {
+                    isSome: boolean;
+                    value: any;
+                };
+            };
+            signature: any;
+            verificationKeyAttestation: {
+                verificationKey: string;
+                witness: {
+                    path: string[];
+                    isLeft: boolean[];
+                };
+            };
+        };
+        transaction2: {
+            transaction: {
+                methodId: string;
+                argsHash: string;
+                nonce: {
+                    isSome: boolean;
+                    value: any;
+                };
+                sender: {
+                    isSome: boolean;
+                    value: any;
+                };
+            };
+            signature: any;
+            verificationKeyAttestation: {
+                verificationKey: string;
+                witness: {
+                    path: string[];
+                    isLeft: boolean[];
+                };
+            };
+        };
         networkState: {
             block: {
                 height: string;
@@ -383,26 +931,22 @@ declare const BlockProverExecutionData_base: (new (value: {
             };
         };
     }) => {
-        transaction: RuntimeTransaction;
-        signature: Signature;
+        transaction1: BlockProverTransactionArguments;
+        transaction2: BlockProverTransactionArguments;
         networkState: NetworkState;
     };
     empty: () => {
-        transaction: RuntimeTransaction;
-        signature: Signature;
+        transaction1: BlockProverTransactionArguments;
+        transaction2: BlockProverTransactionArguments;
         networkState: NetworkState;
     };
 };
-export declare class BlockProverExecutionData extends BlockProverExecutionData_base {
-}
-export declare class DynamicRuntimeProof extends DynamicProof<Void, MethodPublicOutput> {
-    static publicInputType: import("o1js/dist/node/lib/provable/types/struct").ProvablePureExtended<void, void, null>;
-    static publicOutputType: typeof MethodPublicOutput;
-    static maxProofsVerified: 0;
+export declare class BlockProverMultiTransactionExecutionData extends BlockProverMultiTransactionExecutionData_base {
 }
 export interface BlockProvable extends WithZkProgrammable<BlockProverPublicInput, BlockProverPublicOutput>, CompilableModule {
-    proveTransaction: (publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, appProof: DynamicRuntimeProof, executionData: BlockProverExecutionData, verificationKeyAttestation: RuntimeVerificationKeyAttestation) => Promise<BlockProverPublicOutput>;
-    proveBlock: (publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, transactionProof: BlockProverProof) => Promise<BlockProverPublicOutput>;
+    proveTransaction: (publicInput: BlockProverPublicInput, runtimeProof: DynamicRuntimeProof, executionData: BlockProverSingleTransactionExecutionData) => Promise<BlockProverPublicOutput>;
+    proveTransactions: (publicInput: BlockProverPublicInput, runtimeProof1: DynamicRuntimeProof, runtimeProof2: DynamicRuntimeProof, executionData: BlockProverMultiTransactionExecutionData) => Promise<BlockProverPublicOutput>;
+    proveBlock: (publicInput: BlockProverPublicInput, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness, stateTransitionProof: StateTransitionProof, deferSTs: Bool, afterBlockRootWitness: WitnessedRootWitness, transactionProof: BlockProverProof) => Promise<BlockProverPublicOutput>;
     merge: (publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof) => Promise<BlockProverPublicOutput>;
 }
 export {};