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

package/dist/prover/transaction/TransactionProvable.d.ts

@@ -0,0 +1,626 @@
+import { CompilableModule, WithZkProgrammable } from "@proto-kit/common";
+import { DynamicProof, Proof, Signature, Void } from "o1js";
+import { RuntimeTransaction } from "../../model/transaction/RuntimeTransaction";
+import { RuntimeVerificationKeyAttestation } from "../block/accummulators/RuntimeVerificationKeyTree";
+import { MethodPublicOutput } from "../../model/MethodPublicOutput";
+import { NetworkState } from "../../model/network/NetworkState";
+import { TransactionHashList } from "../accumulators/TransactionHashList";
+import { AppliedBatchHashList } from "../accumulators/AppliedBatchHashList";
+import { MinaActionsHashList } from "../../utils/MinaPrefixedProvableHashList";
+import { WitnessedRootHashList } from "../accumulators/WitnessedRootHashList";
+import { BundleHashList, BundlePreimage } from "../accumulators/BlockHashList";
+export declare class TransactionProverState {
+    /**
+     * 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)
+     */
+    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;
+    constructor(args: {
+        transactionList: TransactionHashList;
+        bundleList: BundleHashList;
+        eternalTransactionsList: TransactionHashList;
+        pendingSTBatches: AppliedBatchHashList;
+        incomingMessages: MinaActionsHashList;
+        witnessedRoots: WitnessedRootHashList;
+    });
+    toCommitments(): TransactionProverPublicInput;
+    static fromCommitments(publicInput: TransactionProverPublicInput, args: TransactionProverArguments): TransactionProverState;
+}
+export declare const TransactionProverStateCommitments: {
+    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);
+    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);
+};
+declare const TransactionProverArguments_base: (new (value: {
+    pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+    witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+    transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+    bundleListPreimage: BundlePreimage;
+    networkState: NetworkState;
+}) => {
+    pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+    witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+    transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+    bundleListPreimage: BundlePreimage;
+    networkState: NetworkState;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+    witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+    transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+    bundleListPreimage: BundlePreimage;
+    networkState: NetworkState;
+}, {
+    pendingSTBatchesHash: bigint;
+    witnessedRootsHash: bigint;
+    transactionHash: bigint;
+    bundleListPreimage: {
+        preimage: bigint;
+        fromStateTransitionsHash: bigint;
+        fromWitnessedRootsHash: bigint;
+    };
+    networkState: {
+        block: {
+            height: bigint;
+        };
+        previous: {
+            rootHash: bigint;
+        };
+    };
+}>, "fromFields"> & {
+    fromFields: (fields: 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;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        bundleListPreimage: BundlePreimage;
+        networkState: NetworkState;
+    };
+} & {
+    fromValue: (value: {
+        pendingSTBatchesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        transactionHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        bundleListPreimage: BundlePreimage | {
+            preimage: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            fromStateTransitionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            fromWitnessedRootsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        };
+        networkState: NetworkState | {
+            block: import("../../model/network/NetworkState").CurrentBlock | {
+                height: number | 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;
+            };
+        };
+    }) => {
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        bundleListPreimage: BundlePreimage;
+        networkState: NetworkState;
+    };
+    toInput: (x: {
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        bundleListPreimage: BundlePreimage;
+        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: {
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        bundleListPreimage: BundlePreimage;
+        networkState: NetworkState;
+    }) => {
+        pendingSTBatchesHash: string;
+        witnessedRootsHash: string;
+        transactionHash: string;
+        bundleListPreimage: {
+            preimage: string;
+            fromStateTransitionsHash: string;
+            fromWitnessedRootsHash: string;
+        };
+        networkState: {
+            block: {
+                height: string;
+            };
+            previous: {
+                rootHash: string;
+            };
+        };
+    };
+    fromJSON: (x: {
+        pendingSTBatchesHash: string;
+        witnessedRootsHash: string;
+        transactionHash: string;
+        bundleListPreimage: {
+            preimage: string;
+            fromStateTransitionsHash: string;
+            fromWitnessedRootsHash: string;
+        };
+        networkState: {
+            block: {
+                height: string;
+            };
+            previous: {
+                rootHash: string;
+            };
+        };
+    }) => {
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        bundleListPreimage: BundlePreimage;
+        networkState: NetworkState;
+    };
+    empty: () => {
+        pendingSTBatchesHash: import("o1js/dist/node/lib/provable/field").Field;
+        witnessedRootsHash: import("o1js/dist/node/lib/provable/field").Field;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        bundleListPreimage: BundlePreimage;
+        networkState: NetworkState;
+    };
+};
+export declare class TransactionProverArguments extends TransactionProverArguments_base {
+}
+declare const TransactionProverPublicInput_base: (new (value: {
+    bundlesHash: 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;
+}) => {
+    bundlesHash: 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;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    bundlesHash: 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;
+}, {
+    bundlesHash: bigint;
+    eternalTransactionsHash: bigint;
+    incomingMessagesHash: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        bundlesHash: 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;
+    };
+} & {
+    fromValue: (value: {
+        bundlesHash: 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;
+    }) => {
+        bundlesHash: 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;
+    };
+    toInput: (x: {
+        bundlesHash: 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;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        bundlesHash: 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;
+    }) => {
+        bundlesHash: string;
+        eternalTransactionsHash: string;
+        incomingMessagesHash: string;
+    };
+    fromJSON: (x: {
+        bundlesHash: string;
+        eternalTransactionsHash: string;
+        incomingMessagesHash: string;
+    }) => {
+        bundlesHash: 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;
+    };
+    empty: () => {
+        bundlesHash: 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;
+    };
+};
+export declare class TransactionProverPublicInput extends TransactionProverPublicInput_base {
+    static equals(input1: TransactionProverPublicInput, input2: TransactionProverPublicInput): import("o1js/dist/node/lib/provable/bool").Bool;
+}
+export declare class TransactionProverPublicOutput extends TransactionProverPublicInput {
+}
+declare const TransactionProverTransactionArguments_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: Signature | {
+            r: bigint | import("o1js/dist/node/lib/provable/field").Field;
+            s: bigint | import("o1js/dist/node/lib/provable/scalar").Scalar;
+        };
+        verificationKeyAttestation: RuntimeVerificationKeyAttestation | {
+            verificationKey: import("o1js/dist/node/lib/proof-system/verification-key").VerificationKey | {
+                data: string;
+                hash: import("o1js/dist/node/lib/provable/field").Field;
+            } | {
+                data: string;
+                hash: bigint;
+            };
+            witness: import("../block/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 TransactionProverTransactionArguments extends TransactionProverTransactionArguments_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 TransactionProverExecutionData_base: (new (value: {
+    transaction: TransactionProverTransactionArguments;
+    args: TransactionProverArguments;
+}) => {
+    transaction: TransactionProverTransactionArguments;
+    args: TransactionProverArguments;
+}) & {
+    _isStruct: true;
+} & import("o1js/dist/node/lib/provable/provable").Provable<{
+    transaction: TransactionProverTransactionArguments;
+    args: TransactionProverArguments;
+}, {
+    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[];
+            };
+        };
+    };
+    args: {
+        pendingSTBatchesHash: bigint;
+        witnessedRootsHash: bigint;
+        transactionHash: bigint;
+        bundleListPreimage: {
+            preimage: bigint;
+            fromStateTransitionsHash: bigint;
+            fromWitnessedRootsHash: bigint;
+        };
+        networkState: {
+            block: {
+                height: bigint;
+            };
+            previous: {
+                rootHash: bigint;
+            };
+        };
+    };
+}> & {
+    fromValue: (value: {
+        transaction: TransactionProverTransactionArguments | {
+            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: Signature | {
+                r: bigint | import("o1js/dist/node/lib/provable/field").Field;
+                s: bigint | import("o1js/dist/node/lib/provable/scalar").Scalar;
+            };
+            verificationKeyAttestation: RuntimeVerificationKeyAttestation | {
+                verificationKey: import("o1js/dist/node/lib/proof-system/verification-key").VerificationKey | {
+                    data: string;
+                    hash: import("o1js/dist/node/lib/provable/field").Field;
+                } | {
+                    data: string;
+                    hash: bigint;
+                };
+                witness: import("../block/accummulators/RuntimeVerificationKeyTree").VKTreeWitness | {
+                    path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
+                    isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
+                };
+            };
+        };
+        args: TransactionProverArguments | {
+            pendingSTBatchesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            witnessedRootsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            transactionHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            bundleListPreimage: BundlePreimage | {
+                preimage: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+                fromStateTransitionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+                fromWitnessedRootsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            };
+            networkState: NetworkState | {
+                block: import("../../model/network/NetworkState").CurrentBlock | {
+                    height: number | 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: TransactionProverTransactionArguments;
+        args: TransactionProverArguments;
+    };
+    toInput: (x: {
+        transaction: TransactionProverTransactionArguments;
+        args: TransactionProverArguments;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        transaction: TransactionProverTransactionArguments;
+        args: TransactionProverArguments;
+    }) => {
+        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[];
+                };
+            };
+        };
+        args: {
+            pendingSTBatchesHash: string;
+            witnessedRootsHash: string;
+            transactionHash: string;
+            bundleListPreimage: {
+                preimage: string;
+                fromStateTransitionsHash: string;
+                fromWitnessedRootsHash: string;
+            };
+            networkState: {
+                block: {
+                    height: string;
+                };
+                previous: {
+                    rootHash: string;
+                };
+            };
+        };
+    };
+    fromJSON: (x: {
+        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[];
+                };
+            };
+        };
+        args: {
+            pendingSTBatchesHash: string;
+            witnessedRootsHash: string;
+            transactionHash: string;
+            bundleListPreimage: {
+                preimage: string;
+                fromStateTransitionsHash: string;
+                fromWitnessedRootsHash: string;
+            };
+            networkState: {
+                block: {
+                    height: string;
+                };
+                previous: {
+                    rootHash: string;
+                };
+            };
+        };
+    }) => {
+        transaction: TransactionProverTransactionArguments;
+        args: TransactionProverArguments;
+    };
+    empty: () => {
+        transaction: TransactionProverTransactionArguments;
+        args: TransactionProverArguments;
+    };
+};
+export declare class TransactionProverExecutionData extends TransactionProverExecutionData_base {
+}
+export type TransactionProof = Proof<TransactionProverPublicInput, TransactionProverPublicOutput>;
+export interface TransactionProvable extends WithZkProgrammable<TransactionProverPublicInput, TransactionProverPublicOutput>, CompilableModule {
+    proveTransaction: (publicInput: TransactionProverPublicInput, runtimeProof: DynamicRuntimeProof, executionData: TransactionProverExecutionData) => Promise<TransactionProverPublicOutput>;
+    proveTransactions: (publicInput: TransactionProverPublicInput, runtimeProof1: DynamicRuntimeProof, runtimeProof2: DynamicRuntimeProof, executionData1: TransactionProverExecutionData, executionData2: TransactionProverExecutionData) => Promise<TransactionProverPublicOutput>;
+    dummy: (publicInput: TransactionProverPublicInput) => Promise<TransactionProverPublicOutput>;
+    merge: (publicInput: TransactionProverPublicInput, proof1: TransactionProof, proof2: TransactionProof) => Promise<TransactionProverPublicOutput>;
+}
+export {};
+//# sourceMappingURL=TransactionProvable.d.ts.map

package/dist/prover/transaction/TransactionProvable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TransactionProvable.d.ts","sourceRoot":"","sources":["../../../src/prover/transaction/TransactionProvable.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,EAAE,YAAY,EAAS,KAAK,EAAE,SAAS,EAAU,IAAI,EAAE,MAAM,MAAM,CAAC;AAE3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,EAAE,iCAAiC,EAAE,MAAM,mDAAmD,CAAC;AACtG,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAE/E,qBAAa,sBAAsB;IACjC;;;OAGG;IACH,eAAe,EAAE,mBAAmB,CAAC;IAErC;;;OAGG;IACH,UAAU,EAAE,cAAc,CAAC;IAE3B;;;;OAIG;IACH,uBAAuB,EAAE,mBAAmB,CAAC;IAE7C,gBAAgB,EAAE,oBAAoB,CAAC;IAEvC,gBAAgB,EAAE,mBAAmB,CAAC;IAEtC,cAAc,EAAE,qBAAqB,CAAC;gBAE1B,IAAI,EAAE;QAChB,eAAe,EAAE,mBAAmB,CAAC;QACrC,UAAU,EAAE,cAAc,CAAC;QAC3B,uBAAuB,EAAE,mBAAmB,CAAC;QAC7C,gBAAgB,EAAE,oBAAoB,CAAC;QACvC,gBAAgB,EAAE,mBAAmB,CAAC;QACtC,cAAc,EAAE,qBAAqB,CAAC;KACvC;IASM,aAAa,IAAI,4BAA4B;WAWtC,eAAe,CAC3B,WAAW,EAAE,4BAA4B,EACzC,IAAI,EAAE,0BAA0B,GAC/B,sBAAsB;CAmB1B;AAID,eAAO,MAAM,iCAAiC;;;;CAI7C,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEF,qBAAa,0BAA2B,SAAQ,+BAO9C;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,4BAA6B,SAAQ,iCAEjD;WACe,MAAM,CAClB,MAAM,EAAE,4BAA4B,EACpC,MAAM,EAAE,4BAA4B;CAQvC;AAED,qBAAa,6BAA8B,SAAQ,4BAA4B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAElF,qBAAa,qCAAsC,SAAQ,0CAIzD;CAAG;AAEL,qBAAa,mBAAoB,SAAQ,YAAY,CACnD,IAAI,EACJ,kBAAkB,CACnB;IACC,MAAM,CAAC,eAAe,4FAAQ;IAE9B,MAAM,CAAC,gBAAgB,4BAAsB;IAG7C,MAAM,CAAC,iBAAiB,IAAc;CACvC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,8BAA+B,SAAQ,mCAGlD;CAAG;AAEL,MAAM,MAAM,gBAAgB,GAAG,KAAK,CAClC,4BAA4B,EAC5B,6BAA6B,CAC9B,CAAC;AAEF,MAAM,WAAW,mBACf,SAAQ,kBAAkB,CACtB,4BAA4B,EAC5B,6BAA6B,CAC9B,EACD,gBAAgB;IAClB,gBAAgB,EAAE,CAChB,WAAW,EAAE,4BAA4B,EACzC,YAAY,EAAE,mBAAmB,EACjC,aAAa,EAAE,8BAA8B,KAC1C,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAE5C,iBAAiB,EAAE,CACjB,WAAW,EAAE,4BAA4B,EACzC,aAAa,EAAE,mBAAmB,EAClC,aAAa,EAAE,mBAAmB,EAClC,cAAc,EAAE,8BAA8B,EAC9C,cAAc,EAAE,8BAA8B,KAC3C,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAE5C,KAAK,EAAE,CACL,WAAW,EAAE,4BAA4B,KACtC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAE5C,KAAK,EAAE,CACL,WAAW,EAAE,4BAA4B,EACzC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,KACrB,OAAO,CAAC,6BAA6B,CAAC,CAAC;CAC7C"}