@proto-kit/protocol 0.1.1-develop.165 → 0.1.1-develop.1665

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

@@ -1,149 +1,953 @@
-import { Proof } from "snarkyjs";
+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 { ZkProgrammable } from "@proto-kit/common";
-import { ProtocolTransaction } from "../../model/transaction/ProtocolTransaction";
+import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
 import { NetworkState } from "../../model/network/NetworkState";
-declare const BlockProverPublicInput_base: (new (value: {
-    transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-    networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
+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";
+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;
+    incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    blockNumber: import("o1js/dist/node/lib/provable/field").Field;
 }) => {
-    transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-    networkStateHash: import("snarkyjs/dist/node/lib/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;
+    incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    blockNumber: import("o1js/dist/node/lib/provable/field").Field;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-    networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
-}> & {
+} & 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;
+    incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+}, {
+    transactionsHash: bigint;
+    stateRoot: bigint;
+    pendingSTBatchesHash: bigint;
+    witnessedRootsHash: bigint;
+    networkStateHash: bigint;
+    blockHashRoot: bigint;
+    eternalTransactionsHash: bigint;
+    incomingMessagesHash: bigint;
+    blockNumber: bigint;
+}>, "fromFields"> & {
+    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;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+    };
+} & {
+    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;
+        incomingMessagesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: string | number | bigint | 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;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+    };
     toInput: (x: {
-        transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-        networkStateHash: import("snarkyjs/dist/node/lib/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;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-        networkStateHash: import("snarkyjs/dist/node/lib/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;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
     }) => {
         transactionsHash: string;
         stateRoot: string;
+        pendingSTBatchesHash: string;
+        witnessedRootsHash: string;
         networkStateHash: string;
+        blockHashRoot: string;
+        eternalTransactionsHash: string;
+        incomingMessagesHash: string;
+        blockNumber: string;
     };
     fromJSON: (x: {
         transactionsHash: string;
         stateRoot: string;
+        pendingSTBatchesHash: string;
+        witnessedRootsHash: string;
         networkStateHash: string;
+        blockHashRoot: string;
+        eternalTransactionsHash: string;
+        incomingMessagesHash: string;
+        blockNumber: string;
     }) => {
-        transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-        networkStateHash: import("snarkyjs/dist/node/lib/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;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    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;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        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("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/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;
+    incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    closed: import("o1js/dist/node/lib/provable/bool").Bool;
+    blockNumber: import("o1js/dist/node/lib/provable/field").Field;
 }) => {
-    transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/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;
+    incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    closed: import("o1js/dist/node/lib/provable/bool").Bool;
+    blockNumber: import("o1js/dist/node/lib/provable/field").Field;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-}> & {
+} & 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;
+    incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    closed: import("o1js/dist/node/lib/provable/bool").Bool;
+    blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+}, {
+    transactionsHash: bigint;
+    stateRoot: bigint;
+    pendingSTBatchesHash: bigint;
+    witnessedRootsHash: bigint;
+    networkStateHash: bigint;
+    blockHashRoot: bigint;
+    eternalTransactionsHash: bigint;
+    incomingMessagesHash: bigint;
+    closed: boolean;
+    blockNumber: bigint;
+}>, "fromFields"> & {
+    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;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        closed: import("o1js/dist/node/lib/provable/bool").Bool;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+    };
+} & {
+    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;
+        incomingMessagesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        closed: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        blockNumber: string | number | bigint | 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;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        closed: import("o1js/dist/node/lib/provable/bool").Bool;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+    };
     toInput: (x: {
-        transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/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;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        closed: import("o1js/dist/node/lib/provable/bool").Bool;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/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;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        closed: import("o1js/dist/node/lib/provable/bool").Bool;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
     }) => {
         transactionsHash: string;
         stateRoot: string;
+        pendingSTBatchesHash: string;
+        witnessedRootsHash: string;
+        networkStateHash: string;
+        blockHashRoot: string;
+        eternalTransactionsHash: string;
+        incomingMessagesHash: string;
+        closed: boolean;
+        blockNumber: string;
     };
     fromJSON: (x: {
         transactionsHash: string;
         stateRoot: string;
+        pendingSTBatchesHash: string;
+        witnessedRootsHash: string;
+        networkStateHash: string;
+        blockHashRoot: string;
+        eternalTransactionsHash: string;
+        incomingMessagesHash: string;
+        closed: boolean;
+        blockNumber: string;
     }) => {
-        transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/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;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        closed: import("o1js/dist/node/lib/provable/bool").Bool;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    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;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        closed: import("o1js/dist/node/lib/provable/bool").Bool;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
     };
 };
 export declare class BlockProverPublicOutput extends BlockProverPublicOutput_base {
+    equals(input: BlockProverPublicInput, closed: Bool): Bool;
 }
 export type BlockProverProof = Proof<BlockProverPublicInput, BlockProverPublicOutput>;
-declare const BlockProverExecutionData_base: (new (value: {
-    transaction: ProtocolTransaction;
+declare const BlockProverTransactionArguments_base: (new (value: {
+    transaction: RuntimeTransaction;
+    signature: Signature;
+    verificationKeyAttestation: RuntimeVerificationKeyAttestation;
+}) => {
+    transaction: RuntimeTransaction;
+    signature: Signature;
+    verificationKeyAttestation: RuntimeVerificationKeyAttestation;
+}) & {
+    _isStruct: true;
+} & import("o1js/dist/node/lib/provable/provable").Provable<{
+    transaction: RuntimeTransaction;
+    signature: Signature;
+    verificationKeyAttestation: RuntimeVerificationKeyAttestation;
+}, {
+    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[];
+        };
+    };
+}> & {
+    fromValue: (value: {
+        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: import("./accummulators/RuntimeVerificationKeyTree").VKTreeWitness | {
+                path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
+                isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
+            };
+        };
+    }) => {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+        verificationKeyAttestation: RuntimeVerificationKeyAttestation;
+    };
+    toInput: (x: {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+        verificationKeyAttestation: RuntimeVerificationKeyAttestation;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+        verificationKeyAttestation: RuntimeVerificationKeyAttestation;
+    }) => {
+        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[];
+            };
+        };
+    };
+    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: ProtocolTransaction;
+    transaction: BlockProverTransactionArguments;
     networkState: NetworkState;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    transaction: ProtocolTransaction;
+} & 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: import("./accummulators/RuntimeVerificationKeyTree").VKTreeWitness | {
+                    path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
+                    isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
+                };
+            };
+        };
+        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: ProtocolTransaction;
+        transaction: BlockProverTransactionArguments;
         networkState: NetworkState;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
     };
     toJSON: (x: {
-        transaction: ProtocolTransaction;
+        transaction: BlockProverTransactionArguments;
         networkState: NetworkState;
     }) => {
         transaction: {
-            methodId: string;
-            nonce: string;
-            sender: 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;
+            };
         };
     };
     fromJSON: (x: {
         transaction: {
-            methodId: string;
-            nonce: string;
-            sender: 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: ProtocolTransaction;
+        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;
+            };
+            sender: {
+                isSome: boolean;
+                value: any;
+            };
+        };
+        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: import("./accummulators/RuntimeVerificationKeyTree").VKTreeWitness | {
+                    path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
+                    isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
+                };
+            };
+        };
+        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: import("./accummulators/RuntimeVerificationKeyTree").VKTreeWitness | {
+                    path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
+                    isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
+                };
+            };
+        };
+        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;
+            };
+            previous: {
+                rootHash: string;
+            };
+        };
+    }) => {
+        transaction1: BlockProverTransactionArguments;
+        transaction2: BlockProverTransactionArguments;
+        networkState: NetworkState;
+    };
+    empty: () => {
+        transaction1: BlockProverTransactionArguments;
+        transaction2: BlockProverTransactionArguments;
         networkState: NetworkState;
     };
 };
-export declare class BlockProverExecutionData extends BlockProverExecutionData_base {
+export declare class BlockProverMultiTransactionExecutionData extends BlockProverMultiTransactionExecutionData_base {
 }
-export interface BlockProvable extends ZkProgrammable<BlockProverPublicInput, BlockProverPublicOutput> {
-    proveTransaction: (publicInput: BlockProverPublicInput, stateProof: StateTransitionProof, appProof: Proof<void, MethodPublicOutput>, executionData: BlockProverExecutionData) => BlockProverPublicOutput;
-    merge: (publicInput: BlockProverPublicInput, proof1: BlockProverProof, proof2: BlockProverProof) => BlockProverPublicOutput;
+export interface BlockProvable extends WithZkProgrammable<BlockProverPublicInput, BlockProverPublicOutput>, CompilableModule {
+    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 {};
 //# sourceMappingURL=BlockProvable.d.ts.map