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

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

@@ -1,149 +1,618 @@
-import { Proof } from "snarkyjs";
-import { ZkProgrammable } from "@proto-kit/common";
+import { Bool, Field, Proof } from "o1js";
+import { CompilableModule, WithZkProgrammable } from "@proto-kit/common";
 import { StateTransitionProof } from "../statetransition/StateTransitionProvable";
-import { MethodPublicOutput } from "../../model/MethodPublicOutput";
-import { ProtocolTransaction } from "../../model/transaction/ProtocolTransaction";
 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 { TransactionProof } from "../transaction/TransactionProvable";
+import { BundleHashList, FieldTransition } from "../accumulators/BlockHashList";
+import { NonMethods } from "../../utils/utils";
+import { BlockHashMerkleTreeWitness } from "./accummulators/BlockHashMerkleTree";
+export declare const BLOCK_ARGUMENT_BATCH_SIZE = 4;
+declare const BlockArguments_base: (new (value: {
+    afterBlockRootWitness: WitnessedRootWitness;
+    transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    pendingSTBatchesHash: FieldTransition;
+    witnessedRootsHash: FieldTransition;
+    isDummy: import("o1js/dist/node/lib/provable/bool").Bool;
 }) => {
-    transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-    networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
+    afterBlockRootWitness: WitnessedRootWitness;
+    transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    pendingSTBatchesHash: FieldTransition;
+    witnessedRootsHash: FieldTransition;
+    isDummy: import("o1js/dist/node/lib/provable/bool").Bool;
 }) & {
     _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<{
+    afterBlockRootWitness: WitnessedRootWitness;
+    transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    pendingSTBatchesHash: FieldTransition;
+    witnessedRootsHash: FieldTransition;
+    isDummy: import("o1js/dist/node/lib/provable/bool").Bool;
+}, {
+    afterBlockRootWitness: {
+        witnessedRoot: bigint;
+    };
+    transactionsHash: bigint;
+    pendingSTBatchesHash: {
+        from: bigint;
+        to: bigint;
+    };
+    witnessedRootsHash: {
+        from: bigint;
+        to: bigint;
+    };
+    isDummy: boolean;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        afterBlockRootWitness: WitnessedRootWitness;
+        transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: FieldTransition;
+        witnessedRootsHash: FieldTransition;
+        isDummy: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+} & {
+    fromValue: (value: {
+        afterBlockRootWitness: WitnessedRootWitness | {
+            witnessedRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        };
+        transactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: FieldTransition | {
+            from: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            to: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        };
+        witnessedRootsHash: FieldTransition | {
+            from: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            to: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        };
+        isDummy: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+    }) => {
+        afterBlockRootWitness: WitnessedRootWitness;
+        transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: FieldTransition;
+        witnessedRootsHash: FieldTransition;
+        isDummy: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
     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;
+        afterBlockRootWitness: WitnessedRootWitness;
+        transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: FieldTransition;
+        witnessedRootsHash: FieldTransition;
+        isDummy: import("o1js/dist/node/lib/provable/bool").Bool;
     }) => {
-        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;
+        afterBlockRootWitness: WitnessedRootWitness;
+        transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: FieldTransition;
+        witnessedRootsHash: FieldTransition;
+        isDummy: import("o1js/dist/node/lib/provable/bool").Bool;
     }) => {
+        afterBlockRootWitness: {
+            witnessedRoot: string;
+        };
         transactionsHash: string;
-        stateRoot: string;
-        networkStateHash: string;
+        pendingSTBatchesHash: {
+            from: string;
+            to: string;
+        };
+        witnessedRootsHash: {
+            from: string;
+            to: string;
+        };
+        isDummy: boolean;
     };
     fromJSON: (x: {
+        afterBlockRootWitness: {
+            witnessedRoot: string;
+        };
         transactionsHash: string;
-        stateRoot: string;
-        networkStateHash: string;
+        pendingSTBatchesHash: {
+            from: string;
+            to: string;
+        };
+        witnessedRootsHash: {
+            from: string;
+            to: string;
+        };
+        isDummy: boolean;
     }) => {
-        transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/field").Field;
-        networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
+        afterBlockRootWitness: WitnessedRootWitness;
+        transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: FieldTransition;
+        witnessedRootsHash: FieldTransition;
+        isDummy: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+    empty: () => {
+        afterBlockRootWitness: WitnessedRootWitness;
+        transactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        pendingSTBatchesHash: FieldTransition;
+        witnessedRootsHash: FieldTransition;
+        isDummy: import("o1js/dist/node/lib/provable/bool").Bool;
     };
 };
-export declare class BlockProverPublicInput extends BlockProverPublicInput_base {
+export declare class BlockArguments extends BlockArguments_base {
+    static noop(state: NonMethods<Omit<BlockProverState, "blockWitness">>, stateRoot: Field): BlockArguments;
 }
-declare const BlockProverPublicOutput_base: (new (value: {
-    transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/field").Field;
+declare const BlockArgumentsBatch_base: (new (value: {
+    batch: BlockArguments[];
 }) => {
-    transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    stateRoot: import("snarkyjs/dist/node/lib/field").Field;
+    batch: BlockArguments[];
 }) & {
     _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<{
+    batch: BlockArguments[];
+}, {
+    batch: {
+        afterBlockRootWitness: {
+            witnessedRoot: bigint;
+        };
+        transactionsHash: bigint;
+        pendingSTBatchesHash: {
+            from: bigint;
+            to: bigint;
+        };
+        witnessedRootsHash: {
+            from: bigint;
+            to: bigint;
+        };
+        isDummy: boolean;
+    }[];
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        batch: BlockArguments[];
+    };
+} & {
+    fromValue: (value: {
+        batch: BlockArguments[] | {
+            afterBlockRootWitness: {
+                witnessedRoot: bigint;
+            };
+            transactionsHash: bigint;
+            pendingSTBatchesHash: {
+                from: bigint;
+                to: bigint;
+            };
+            witnessedRootsHash: {
+                from: bigint;
+                to: bigint;
+            };
+            isDummy: boolean;
+        }[];
+    }) => {
+        batch: BlockArguments[];
+    };
     toInput: (x: {
-        transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/field").Field;
+        batch: BlockArguments[];
     }) => {
-        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;
+        batch: BlockArguments[];
     }) => {
-        transactionsHash: string;
+        batch: {
+            afterBlockRootWitness: {
+                witnessedRoot: string;
+            };
+            transactionsHash: string;
+            pendingSTBatchesHash: {
+                from: string;
+                to: string;
+            };
+            witnessedRootsHash: {
+                from: string;
+                to: string;
+            };
+            isDummy: boolean;
+        }[];
+    };
+    fromJSON: (x: {
+        batch: {
+            afterBlockRootWitness: {
+                witnessedRoot: string;
+            };
+            transactionsHash: string;
+            pendingSTBatchesHash: {
+                from: string;
+                to: string;
+            };
+            witnessedRootsHash: {
+                from: string;
+                to: string;
+            };
+            isDummy: boolean;
+        }[];
+    }) => {
+        batch: BlockArguments[];
+    };
+    empty: () => {
+        batch: BlockArguments[];
+    };
+};
+export declare class BlockArgumentsBatch extends BlockArgumentsBatch_base {
+}
+declare const BlockProverPublicInput_base: (new (value: {
+    eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+    blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+    blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    proverStateRemainder: 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;
+    stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+    blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+    blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    proverStateRemainder: import("o1js/dist/node/lib/provable/field").Field;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+    blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+    blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    proverStateRemainder: import("o1js/dist/node/lib/provable/field").Field;
+}, {
+    eternalTransactionsHash: bigint;
+    incomingMessagesHash: bigint;
+    stateRoot: bigint;
+    blockHashRoot: bigint;
+    blockNumber: bigint;
+    networkStateHash: bigint;
+    proverStateRemainder: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: 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;
+        stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        proverStateRemainder: import("o1js/dist/node/lib/provable/field").Field;
+    };
+} & {
+    fromValue: (value: {
+        eternalTransactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        incomingMessagesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        stateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        blockHashRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        proverStateRemainder: string | number | bigint | 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;
+        stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        proverStateRemainder: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    toInput: (x: {
+        eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        proverStateRemainder: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        proverStateRemainder: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        eternalTransactionsHash: string;
+        incomingMessagesHash: string;
         stateRoot: string;
+        blockHashRoot: string;
+        blockNumber: string;
+        networkStateHash: string;
+        proverStateRemainder: string;
     };
     fromJSON: (x: {
-        transactionsHash: string;
+        eternalTransactionsHash: string;
+        incomingMessagesHash: string;
         stateRoot: string;
+        blockHashRoot: string;
+        blockNumber: string;
+        networkStateHash: string;
+        proverStateRemainder: string;
     }) => {
-        transactionsHash: import("snarkyjs/dist/node/lib/field").Field;
-        stateRoot: import("snarkyjs/dist/node/lib/field").Field;
+        eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        proverStateRemainder: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    empty: () => {
+        eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        proverStateRemainder: import("o1js/dist/node/lib/provable/field").Field;
     };
 };
-export declare class BlockProverPublicOutput extends BlockProverPublicOutput_base {
+export declare class BlockProverPublicInput extends BlockProverPublicInput_base {
+    equals(input: BlockProverPublicInput): Bool;
+    clone(): BlockProverPublicInput;
 }
-export type BlockProverProof = Proof<BlockProverPublicInput, BlockProverPublicOutput>;
-declare const BlockProverExecutionData_base: (new (value: {
-    transaction: ProtocolTransaction;
-    networkState: NetworkState;
+export declare const BlockProverStateCommitments: {
+    eternalTransactionsHash: typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
+    incomingMessagesHash: typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
+    stateRoot: typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
+    blockHashRoot: typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
+    blockNumber: typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
+    networkStateHash: typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
+    remainders: {
+        pendingSTBatchesHash: typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
+        witnessedRootsHash: typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
+        bundlesHash: typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
+        witnessedRootsPreimage: typeof import("o1js/dist/node/lib/provable/field").Field & ((x: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field | import("o1js/dist/node/lib/provable/core/fieldvar").FieldConst | import("o1js/dist/node/lib/provable/core/fieldvar").FieldVar) => import("o1js/dist/node/lib/provable/field").Field);
+    };
+};
+declare const BlockProverStateInput_base: (new (value: {
+    eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+    blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+    blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    remainders: {
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+        bundlesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsPreimage: import("o1js/dist/node/lib/provable/field").Field;
+    };
 }) => {
-    transaction: ProtocolTransaction;
-    networkState: NetworkState;
+    eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+    blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+    blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    remainders: {
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+        bundlesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsPreimage: import("o1js/dist/node/lib/provable/field").Field;
+    };
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    transaction: ProtocolTransaction;
-    networkState: NetworkState;
-}> & {
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+    blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+    blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    remainders: {
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+        bundlesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsPreimage: import("o1js/dist/node/lib/provable/field").Field;
+    };
+}, {
+    eternalTransactionsHash: bigint;
+    incomingMessagesHash: bigint;
+    stateRoot: bigint;
+    blockHashRoot: bigint;
+    blockNumber: bigint;
+    networkStateHash: bigint;
+    remainders: {
+        pendingSTBatchesHash: bigint;
+        witnessedRootsHash: bigint;
+        bundlesHash: bigint;
+        witnessedRootsPreimage: bigint;
+    };
+}>, "fromFields"> & {
+    fromFields: (fields: 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;
+        stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        remainders: {
+            pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+            bundlesHash: import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsPreimage: import("o1js/dist/node/lib/provable/field").Field;
+        };
+    };
+} & {
+    fromValue: (value: {
+        eternalTransactionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        incomingMessagesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        stateRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        blockHashRoot: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        remainders: {
+            pendingSTBatchesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            bundlesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsPreimage: string | number | bigint | 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;
+        stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        remainders: {
+            pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+            bundlesHash: import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsPreimage: import("o1js/dist/node/lib/provable/field").Field;
+        };
+    };
     toInput: (x: {
-        transaction: ProtocolTransaction;
-        networkState: NetworkState;
+        eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        remainders: {
+            pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+            bundlesHash: import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsPreimage: 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: {
-        transaction: ProtocolTransaction;
-        networkState: NetworkState;
-    }) => {
-        transaction: {
-            methodId: string;
-            nonce: string;
-            sender: string;
-            argsHash: string;
-            signature: any;
+        eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        remainders: {
+            pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+            bundlesHash: import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsPreimage: import("o1js/dist/node/lib/provable/field").Field;
         };
-        networkState: {
-            block: {
-                height: string;
-            };
+    }) => {
+        eternalTransactionsHash: string;
+        incomingMessagesHash: string;
+        stateRoot: string;
+        blockHashRoot: string;
+        blockNumber: string;
+        networkStateHash: string;
+        remainders: {
+            pendingSTBatchesHash: string;
+            witnessedRootsHash: string;
+            bundlesHash: string;
+            witnessedRootsPreimage: string;
         };
     };
     fromJSON: (x: {
-        transaction: {
-            methodId: string;
-            nonce: string;
-            sender: string;
-            argsHash: string;
-            signature: any;
-        };
-        networkState: {
-            block: {
-                height: string;
-            };
+        eternalTransactionsHash: string;
+        incomingMessagesHash: string;
+        stateRoot: string;
+        blockHashRoot: string;
+        blockNumber: string;
+        networkStateHash: string;
+        remainders: {
+            pendingSTBatchesHash: string;
+            witnessedRootsHash: string;
+            bundlesHash: string;
+            witnessedRootsPreimage: string;
         };
     }) => {
-        transaction: ProtocolTransaction;
-        networkState: NetworkState;
+        eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        remainders: {
+            pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+            bundlesHash: import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsPreimage: import("o1js/dist/node/lib/provable/field").Field;
+        };
+    };
+    empty: () => {
+        eternalTransactionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        incomingMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        stateRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockHashRoot: import("o1js/dist/node/lib/provable/field").Field;
+        blockNumber: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        remainders: {
+            pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+            bundlesHash: import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsPreimage: import("o1js/dist/node/lib/provable/field").Field;
+        };
     };
 };
-export declare class BlockProverExecutionData extends BlockProverExecutionData_base {
+export declare class BlockProverStateInput extends BlockProverStateInput_base {
+    hash(): import("o1js/dist/node/lib/provable/field").Field;
+    static fromPublicInput(input: BlockProverPublicInput): BlockProverStateInput;
+    finalize(condition: Bool): BlockProverPublicInput;
+}
+export declare class BlockProverPublicOutput extends BlockProverPublicInput {
+}
+export declare class BlockProverState {
+    /**
+     * The network state which gives access to values such as blockHeight
+     * This value is the same for the whole batch (L2 block)
+     */
+    bundleList: BundleHashList;
+    /**
+     * 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;
+    /**
+     * The current state root of the block prover
+     */
+    stateRoot: Field;
+    /**
+     * The root of the merkle tree encoding all block hashes,
+     * see `BlockHashMerkleTree`
+     */
+    blockHashRoot: Field;
+    blockNumber: Field;
+    blockWitness: BlockHashMerkleTreeWitness;
+    networkState: NetworkState;
+    constructor(args: {
+        networkState: NetworkState;
+        eternalTransactionsList: TransactionHashList;
+        pendingSTBatches: AppliedBatchHashList;
+        stateRoot: Field;
+        blockHashRoot: Field;
+        blockNumber: Field;
+        bundleList: BundleHashList;
+        blockWitness: BlockHashMerkleTreeWitness;
+        witnessedRoots: WitnessedRootHashList;
+        incomingMessages: MinaActionsHashList;
+    });
+    toCommitments(): BlockProverStateInput;
+    static blockProverFromCommitments(stateInput: NonMethods<BlockProverStateInput>, networkState: NetworkState, blockWitness: BlockHashMerkleTreeWitness): BlockProverState;
+    copy(): BlockProverState;
+    toFields(): import("o1js/dist/node/lib/provable/field").Field[];
+    static fromFields(fields: Field[]): BlockProverState;
+    static choose(condition: Bool, a: BlockProverState, b: BlockProverState): BlockProverState;
 }
-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 type BlockProof = Proof<BlockProverPublicInput, BlockProverPublicOutput>;
+export interface BlockProvable extends WithZkProgrammable<BlockProverPublicInput, BlockProverPublicOutput>, CompilableModule {
+    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=BlockProvable.d.ts.map