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

package/dist/prover/transaction/TransactionProvable.js

@@ -0,0 +1,87 @@
+import { DynamicProof, Field, Signature, Struct, 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 class TransactionProverState {
+    constructor(args) {
+        this.transactionList = args.transactionList;
+        this.bundleList = args.bundleList;
+        this.eternalTransactionsList = args.eternalTransactionsList;
+        this.pendingSTBatches = args.pendingSTBatches;
+        this.incomingMessages = args.incomingMessages;
+        this.witnessedRoots = args.witnessedRoots;
+    }
+    toCommitments() {
+        return {
+            bundlesHash: this.bundleList.commitment,
+            // pendingSTBatchesHash: this.pendingSTBatches.commitment,
+            // transactionsHash: this.transactionList.commitment,
+            eternalTransactionsHash: this.eternalTransactionsList.commitment,
+            incomingMessagesHash: this.incomingMessages.commitment,
+            // witnessedRootsHash: this.witnessedRoots.commitment,
+        };
+    }
+    static fromCommitments(publicInput, args) {
+        return new TransactionProverState({
+            // Stuff that has to be authenticated via public input, since it's not inside the bundle hash
+            bundleList: new BundleHashList(publicInput.bundlesHash, args.bundleListPreimage),
+            eternalTransactionsList: new TransactionHashList(publicInput.eternalTransactionsHash),
+            incomingMessages: new MinaActionsHashList(publicInput.incomingMessagesHash),
+            // Remainders (i.e. stuff that goes into the bundle)
+            transactionList: new TransactionHashList(args.transactionHash),
+            pendingSTBatches: new AppliedBatchHashList(args.pendingSTBatchesHash),
+            witnessedRoots: new WitnessedRootHashList(args.witnessedRootsHash),
+        });
+    }
+}
+// These are all linear trackers, i.e. continuously progressing without
+// interruptions from the block prover
+export const TransactionProverStateCommitments = {
+    bundlesHash: Field,
+    eternalTransactionsHash: Field,
+    incomingMessagesHash: Field,
+};
+export class TransactionProverArguments extends Struct({
+    // Commitment to the list of unprocessed (pending) batches of STs that need to be proven
+    pendingSTBatchesHash: Field,
+    witnessedRootsHash: Field,
+    transactionHash: Field,
+    bundleListPreimage: BundlePreimage,
+    networkState: NetworkState,
+}) {
+}
+export class TransactionProverPublicInput extends Struct(TransactionProverStateCommitments) {
+    static equals(input1, input2) {
+        const output2 = TransactionProverPublicInput.toFields(input2);
+        const output1 = TransactionProverPublicInput.toFields(input1);
+        return output1
+            .map((value1, index) => value1.equals(output2[index]))
+            .reduce((a, b) => a.and(b));
+    }
+}
+export class TransactionProverPublicOutput extends TransactionProverPublicInput {
+}
+export class TransactionProverTransactionArguments extends Struct({
+    transaction: RuntimeTransaction,
+    signature: Signature,
+    verificationKeyAttestation: RuntimeVerificationKeyAttestation,
+}) {
+}
+export class DynamicRuntimeProof extends DynamicProof {
+}
+DynamicRuntimeProof.publicInputType = Void;
+DynamicRuntimeProof.publicOutputType = MethodPublicOutput;
+// TODO this won't be 0 for proofs-as-args
+DynamicRuntimeProof.maxProofsVerified = 0;
+export class TransactionProverExecutionData extends Struct({
+    transaction: TransactionProverTransactionArguments,
+    args: TransactionProverArguments,
+}) {
+}
+//# sourceMappingURL=TransactionProvable.js.map

package/dist/prover/transaction/TransactionProvable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TransactionProvable.js","sourceRoot":"","sources":["../../../src/prover/transaction/TransactionProvable.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,KAAK,EAAS,SAAS,EAAE,MAAM,EAAE,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,MAAM,OAAO,sBAAsB;IA0BjC,YAAY,IAOX;QACC,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,eAAe,CAAC;QAC5C,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;QAClC,IAAI,CAAC,uBAAuB,GAAG,IAAI,CAAC,uBAAuB,CAAC;QAC5D,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC;QAC9C,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC;QAC9C,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;IAC5C,CAAC;IAEM,aAAa;QAClB,OAAO;YACL,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,UAAU;YACvC,0DAA0D;YAC1D,qDAAqD;YACrD,uBAAuB,EAAE,IAAI,CAAC,uBAAuB,CAAC,UAAU;YAChE,oBAAoB,EAAE,IAAI,CAAC,gBAAgB,CAAC,UAAU;YACtD,sDAAsD;SACvD,CAAC;IACJ,CAAC;IAEM,MAAM,CAAC,eAAe,CAC3B,WAAyC,EACzC,IAAgC;QAEhC,OAAO,IAAI,sBAAsB,CAAC;YAChC,6FAA6F;YAC7F,UAAU,EAAE,IAAI,cAAc,CAC5B,WAAW,CAAC,WAAW,EACvB,IAAI,CAAC,kBAAkB,CACxB;YACD,uBAAuB,EAAE,IAAI,mBAAmB,CAC9C,WAAW,CAAC,uBAAuB,CACpC;YACD,gBAAgB,EAAE,IAAI,mBAAmB,CACvC,WAAW,CAAC,oBAAoB,CACjC;YACD,oDAAoD;YACpD,eAAe,EAAE,IAAI,mBAAmB,CAAC,IAAI,CAAC,eAAe,CAAC;YAC9D,gBAAgB,EAAE,IAAI,oBAAoB,CAAC,IAAI,CAAC,oBAAoB,CAAC;YACrE,cAAc,EAAE,IAAI,qBAAqB,CAAC,IAAI,CAAC,kBAAkB,CAAC;SACnE,CAAC,CAAC;IACL,CAAC;CACF;AAED,uEAAuE;AACvE,sCAAsC;AACtC,MAAM,CAAC,MAAM,iCAAiC,GAAG;IAC/C,WAAW,EAAE,KAAK;IAClB,uBAAuB,EAAE,KAAK;IAC9B,oBAAoB,EAAE,KAAK;CAC5B,CAAC;AAEF,MAAM,OAAO,0BAA2B,SAAQ,MAAM,CAAC;IACrD,wFAAwF;IACxF,oBAAoB,EAAE,KAAK;IAC3B,kBAAkB,EAAE,KAAK;IACzB,eAAe,EAAE,KAAK;IACtB,kBAAkB,EAAE,cAAc;IAClC,YAAY,EAAE,YAAY;CAC3B,CAAC;CAAG;AAEL,MAAM,OAAO,4BAA6B,SAAQ,MAAM,CACtD,iCAAiC,CAClC;IACQ,MAAM,CAAC,MAAM,CAClB,MAAoC,EACpC,MAAoC;QAEpC,MAAM,OAAO,GAAG,4BAA4B,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC9D,MAAM,OAAO,GAAG,4BAA4B,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC9D,OAAO,OAAO;aACX,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;aACrD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC;CACF;AAED,MAAM,OAAO,6BAA8B,SAAQ,4BAA4B;CAAG;AAElF,MAAM,OAAO,qCAAsC,SAAQ,MAAM,CAAC;IAChE,WAAW,EAAE,kBAAkB;IAC/B,SAAS,EAAE,SAAS;IACpB,0BAA0B,EAAE,iCAAiC;CAC9D,CAAC;CAAG;AAEL,MAAM,OAAO,mBAAoB,SAAQ,YAGxC;;AACQ,mCAAe,GAAG,IAAI,CAAC;AAEvB,oCAAgB,GAAG,kBAAkB,CAAC;AAE7C,0CAA0C;AACnC,qCAAiB,GAAG,CAAU,CAAC;AAGxC,MAAM,OAAO,8BAA+B,SAAQ,MAAM,CAAC;IACzD,WAAW,EAAE,qCAAqC;IAClD,IAAI,EAAE,0BAA0B;CACjC,CAAC;CAAG"}

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

@@ -0,0 +1,68 @@
+import { AreProofsEnabled, CompilableModule, CompileArtifact, CompileRegistry, PlainZkProgram, WithZkProgrammable, ZkProgrammable } from "@proto-kit/common";
+import { NetworkState } from "../../model/network/NetworkState";
+import { ProtocolModule } from "../../protocol/ProtocolModule";
+import { MethodPublicOutput } from "../../model/MethodPublicOutput";
+import { ProvableTransactionHook } from "../../protocol/ProvableTransactionHook";
+import { StateServiceProvider } from "../../state/StateServiceProvider";
+import { RuntimeVerificationKeyRootService } from "../block/services/RuntimeVerificationKeyRootService";
+import { MinimalVKTreeService } from "../block/accummulators/RuntimeVerificationKeyTree";
+import { TransactionProverExecutionData, DynamicRuntimeProof, TransactionProof, TransactionProvable, TransactionProverArguments, TransactionProverPublicInput, TransactionProverPublicOutput, TransactionProverState, TransactionProverTransactionArguments } from "./TransactionProvable";
+type ApplyTransactionArguments = Omit<TransactionProverTransactionArguments, "verificationKeyAttestation">;
+export declare class TransactionProverZkProgrammable extends ZkProgrammable<TransactionProverPublicInput, TransactionProverPublicOutput> {
+    private readonly prover;
+    private readonly transactionHooks;
+    private readonly stateServiceProvider;
+    private readonly verificationKeyService;
+    constructor(prover: TransactionProver, transactionHooks: ProvableTransactionHook<unknown>[], stateServiceProvider: StateServiceProvider, verificationKeyService: MinimalVKTreeService);
+    name: string;
+    get areProofsEnabled(): AreProofsEnabled | undefined;
+    /**
+     * Applies and checks the two proofs and applies the corresponding state
+     * changes to the given state.
+     *
+     * The rough high level workflow of this function:
+     * 1. Execute beforeTransaction hooks, pushing the ST batch
+     * 2. Add Transaction to bundle, meaning appending it to all the respective commitments
+     * 3. Push the runtime ST batch
+     * 4. Execute afterTransaction hooks, pushing the ST batch
+     * 5. Some consistency checks and signature verification
+     *
+     * @param fromState The from-state of the BlockProver
+     * @param runtimeOutput
+     * @param executionData
+     * @param networkState
+     * @param bundleListPreimage
+     * @returns The new BlockProver-state to be used as public output
+     */
+    applyTransaction(fromState: TransactionProverState, runtimeOutput: MethodPublicOutput, executionData: ApplyTransactionArguments, networkState: NetworkState): Promise<TransactionProverState>;
+    private verifyVerificationKeyAttestation;
+    private executeTransactionHooks;
+    proveTransactionInternal(publicInput: TransactionProverPublicInput, runtimeProof: DynamicRuntimeProof, transaction: TransactionProverTransactionArguments, args: TransactionProverArguments): Promise<TransactionProverPublicOutput>;
+    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>;
+    /**
+     * Creates the BlockProver ZkProgram.
+     * Recursive linking of proofs is done via the previously
+     * injected StateTransitionProver and the required AppChainProof class
+     */
+    zkProgramFactory(): PlainZkProgram<TransactionProverPublicInput, TransactionProverPublicOutput>[];
+}
+/**
+ * BlockProver class, which aggregates a AppChainProof and
+ * a StateTransitionProof into a single BlockProof, that can
+ * then be merged to be committed to the base-layer contract
+ */
+export declare class TransactionProver extends ProtocolModule implements TransactionProvable, CompilableModule {
+    readonly runtime: WithZkProgrammable<undefined, MethodPublicOutput> & CompilableModule;
+    zkProgrammable: TransactionProverZkProgrammable;
+    constructor(runtime: WithZkProgrammable<undefined, MethodPublicOutput> & CompilableModule, transactionHooks: ProvableTransactionHook<unknown>[], stateServiceProvider: StateServiceProvider, verificationKeyService: RuntimeVerificationKeyRootService);
+    compile(registry: CompileRegistry): Promise<Record<string, CompileArtifact> | undefined>;
+    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=TransactionProver.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"TransactionProver.d.ts","sourceRoot":"","sources":["../../../src/prover/transaction/TransactionProver.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,cAAc,EAEd,kBAAkB,EAClB,cAAc,EACf,MAAM,mBAAmB,CAAC;AAI3B,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAGL,uBAAuB,EAGxB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,iCAAiC,EAAE,MAAM,qDAAqD,CAAC;AAGxG,OAAO,EAEL,oBAAoB,EAErB,MAAM,mDAAmD,CAAC;AAE3D,OAAO,EACL,8BAA8B,EAC9B,mBAAmB,EACnB,gBAAgB,EAChB,mBAAmB,EACnB,0BAA0B,EAC1B,4BAA4B,EAC5B,6BAA6B,EAC7B,sBAAsB,EACtB,qCAAqC,EACtC,MAAM,uBAAuB,CAAC;AAgB/B,KAAK,yBAAyB,GAAG,IAAI,CACnC,qCAAqC,EACrC,4BAA4B,CAC7B,CAAC;AAMF,qBAAa,+BAAgC,SAAQ,cAAc,CACjE,4BAA4B,EAC5B,6BAA6B,CAC9B;IAEG,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IACjC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;IACrC,OAAO,CAAC,QAAQ,CAAC,sBAAsB;gBAHtB,MAAM,EAAE,iBAAiB,EACzB,gBAAgB,EAAE,uBAAuB,CAAC,OAAO,CAAC,EAAE,EACpD,oBAAoB,EAAE,oBAAoB,EAC1C,sBAAsB,EAAE,oBAAoB;IAK/D,IAAI,SAAuB;IAE3B,IAAW,gBAAgB,IAAI,gBAAgB,GAAG,SAAS,CAE1D;IAED;;;;;;;;;;;;;;;;;OAiBG;IACU,gBAAgB,CAC3B,SAAS,EAAE,sBAAsB,EACjC,aAAa,EAAE,kBAAkB,EACjC,aAAa,EAAE,yBAAyB,EACxC,YAAY,EAAE,YAAY,GACzB,OAAO,CAAC,sBAAsB,CAAC;IA0ElC,OAAO,CAAC,gCAAgC;YAoB1B,uBAAuB;IA+BxB,wBAAwB,CACnC,WAAW,EAAE,4BAA4B,EACzC,YAAY,EAAE,mBAAmB,EACjC,WAAW,EAAE,qCAAqC,EAClD,IAAI,EAAE,0BAA0B,GAC/B,OAAO,CAAC,6BAA6B,CAAC;IAyB5B,gBAAgB,CAC3B,WAAW,EAAE,4BAA4B,EACzC,YAAY,EAAE,mBAAmB,EACjC,aAAa,EAAE,8BAA8B,GAC5C,OAAO,CAAC,6BAA6B,CAAC;IAU5B,iBAAiB,CAC5B,WAAW,EAAE,4BAA4B,EACzC,aAAa,EAAE,mBAAmB,EAClC,aAAa,EAAE,mBAAmB,EAClC,cAAc,EAAE,8BAA8B,EAC9C,cAAc,EAAE,8BAA8B,GAC7C,OAAO,CAAC,6BAA6B,CAAC;IAoB5B,KAAK,CAChB,WAAW,EAAE,4BAA4B,GACxC,OAAO,CAAC,6BAA6B,CAAC;IAK5B,KAAK,CAChB,WAAW,EAAE,4BAA4B,EACzC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,6BAA6B,CAAC;IA+CzC;;;;OAIG;IACI,gBAAgB,IAAI,cAAc,CACvC,4BAA4B,EAC5B,6BAA6B,CAC9B,EAAE;CA4GJ;AAED;;;;GAIG;AACH,qBACa,iBACX,SAAQ,cACR,YAAW,mBAAmB,EAAE,gBAAgB;aAM9B,OAAO,EAAE,kBAAkB,CAAC,SAAS,EAAE,kBAAkB,CAAC,GACxE,gBAAgB;IALb,cAAc,EAAE,+BAA+B,CAAC;gBAIrC,OAAO,EAAE,kBAAkB,CAAC,SAAS,EAAE,kBAAkB,CAAC,GACxE,gBAAgB,EAElB,gBAAgB,EAAE,uBAAuB,CAAC,OAAO,CAAC,EAAE,EAEpD,oBAAoB,EAAE,oBAAoB,EAC1C,sBAAsB,EAAE,iCAAiC;IAW9C,OAAO,CAClB,QAAQ,EAAE,eAAe,GACxB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,GAAG,SAAS,CAAC;IAOhD,gBAAgB,CACrB,WAAW,EAAE,4BAA4B,EACzC,YAAY,EAAE,mBAAmB,EACjC,aAAa,EAAE,8BAA8B,GAC5C,OAAO,CAAC,6BAA6B,CAAC;IAQlC,iBAAiB,CACtB,WAAW,EAAE,4BAA4B,EACzC,aAAa,EAAE,mBAAmB,EAClC,aAAa,EAAE,mBAAmB,EAClC,cAAc,EAAE,8BAA8B,EAC9C,cAAc,EAAE,8BAA8B,GAC7C,OAAO,CAAC,6BAA6B,CAAC;IAUlC,KAAK,CAAC,WAAW,EAAE,4BAA4B;IAI/C,KAAK,CACV,WAAW,EAAE,4BAA4B,EACzC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,6BAA6B,CAAC;CAG1C"}

package/dist/prover/transaction/TransactionProver.js

@@ -0,0 +1,301 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+var __param = (this && this.__param) || function (paramIndex, decorator) {
+    return function (target, key) { decorator(target, key, paramIndex); }
+};
+import { provableMethod, ZkProgrammable, } from "@proto-kit/common";
+import { Field, SelfProof, ZkProgram } from "o1js";
+import { inject, injectable, injectAll } from "tsyringe";
+import { ProtocolModule } from "../../protocol/ProtocolModule";
+import { toAfterTransactionHookArgument, toBeforeTransactionHookArgument, } from "../../protocol/ProvableTransactionHook";
+import { StateServiceProvider } from "../../state/StateServiceProvider";
+import { RuntimeVerificationKeyRootService } from "../block/services/RuntimeVerificationKeyRootService";
+import { addTransactionToBundle, executeHooks } from "../utils";
+import { AuthorizedTransaction } from "../../model/transaction/AuthorizedTransaction";
+import { MethodVKConfigData, } from "../block/accummulators/RuntimeVerificationKeyTree";
+import { TransactionProverExecutionData, DynamicRuntimeProof, TransactionProverPublicInput, TransactionProverPublicOutput, TransactionProverState, } from "./TransactionProvable";
+const errors = {
+    invalidZkProgramTreeRoot: () => "Root hash of the provided zkProgram config witness is invalid",
+    propertyNotMatchingStep: (propertyName, step) => `${propertyName} not matching: ${step}`,
+    transactionsHashNotMatching: (step) => errors.propertyNotMatchingStep("Transactions hash", step),
+    bundlesHashNotMatching: (step) => errors.propertyNotMatchingStep("Bundles hash", step),
+};
+export class TransactionProverZkProgrammable extends ZkProgrammable {
+    constructor(prover, transactionHooks, stateServiceProvider, verificationKeyService) {
+        super();
+        this.prover = prover;
+        this.transactionHooks = transactionHooks;
+        this.stateServiceProvider = stateServiceProvider;
+        this.verificationKeyService = verificationKeyService;
+        this.name = "TransactionProver";
+    }
+    get areProofsEnabled() {
+        return this.prover.areProofsEnabled;
+    }
+    /**
+     * Applies and checks the two proofs and applies the corresponding state
+     * changes to the given state.
+     *
+     * The rough high level workflow of this function:
+     * 1. Execute beforeTransaction hooks, pushing the ST batch
+     * 2. Add Transaction to bundle, meaning appending it to all the respective commitments
+     * 3. Push the runtime ST batch
+     * 4. Execute afterTransaction hooks, pushing the ST batch
+     * 5. Some consistency checks and signature verification
+     *
+     * @param fromState The from-state of the BlockProver
+     * @param runtimeOutput
+     * @param executionData
+     * @param networkState
+     * @param bundleListPreimage
+     * @returns The new BlockProver-state to be used as public output
+     */
+    async applyTransaction(fromState, runtimeOutput, executionData, networkState) {
+        const { transaction, signature } = executionData;
+        let state = { ...fromState };
+        const { isMessage } = runtimeOutput;
+        const authorizedTransaction = new AuthorizedTransaction({
+            transaction,
+            signature,
+            isMessage,
+        });
+        const beforeTxHookArguments = toBeforeTransactionHookArgument(authorizedTransaction, networkState, state);
+        // Apply beforeTransaction hook state transitions
+        const beforeBatch = await this.executeTransactionHooks("before", async (module, args) => await module.beforeTransaction(args), beforeTxHookArguments, isMessage);
+        state.pendingSTBatches.push(beforeBatch);
+        state.pendingSTBatches.push({
+            batchHash: runtimeOutput.stateTransitionsHash,
+            applied: runtimeOutput.status,
+        });
+        state = addTransactionToBundle(state, runtimeOutput.isMessage, transaction);
+        // Apply afterTransaction hook state transitions
+        const afterTxHookArguments = toAfterTransactionHookArgument(authorizedTransaction, networkState, state, runtimeOutput);
+        // Switch to different state set for afterTx hooks
+        this.stateServiceProvider.popCurrentStateService();
+        const afterBatch = await this.executeTransactionHooks("after", async (module, args) => await module.afterTransaction(args), afterTxHookArguments, isMessage);
+        state.pendingSTBatches.push(afterBatch);
+        // Check transaction integrity against appProof
+        const blockTransactionHash = transaction.hash();
+        blockTransactionHash.assertEquals(runtimeOutput.transactionHash, "Transactions provided in AppProof and BlockProof do not match");
+        // Check transaction signature or isMessage
+        authorizedTransaction
+            .validateAuthorization()
+            .assertTrue("Transaction authorization not valid");
+        // Validate layout of transaction witness
+        transaction.assertTransactionType(isMessage);
+        return new TransactionProverState(state);
+    }
+    verifyVerificationKeyAttestation(attestation, methodId) {
+        // Verify the [methodId, vk] tuple against the baked-in vk tree root
+        const { verificationKey, witness: verificationKeyTreeWitness } = attestation;
+        const root = Field(this.verificationKeyService.getRoot());
+        const calculatedRoot = verificationKeyTreeWitness.calculateRoot(new MethodVKConfigData({
+            methodId: methodId,
+            vkHash: verificationKey.hash,
+        }).hash());
+        root.assertEquals(calculatedRoot, errors.invalidZkProgramTreeRoot());
+        return verificationKey;
+    }
+    async executeTransactionHooks(type, hook, hookArguments, isMessage) {
+        const { batch, rawStatus } = await executeHooks({
+            transaction: hookArguments.transaction.transaction,
+            networkState: hookArguments.networkState,
+        }, `${type}Transaction`, async () => {
+            for (const module of this.transactionHooks) {
+                // eslint-disable-next-line no-await-in-loop
+                await hook(module, hookArguments);
+            }
+        }, isMessage);
+        // This is going to set applied to false in case the hook fails
+        // (that's only possible for messages though as others are hard-asserted)
+        batch.applied = rawStatus;
+        return batch;
+    }
+    async proveTransactionInternal(publicInput, runtimeProof, transaction, args) {
+        const state = TransactionProverState.fromCommitments(publicInput, args);
+        state.bundleList.checkLastBundleElement(state, args.networkState);
+        const verificationKey = this.verifyVerificationKeyAttestation(transaction.verificationKeyAttestation, transaction.transaction.methodId);
+        runtimeProof.verify(verificationKey);
+        const result = await this.applyTransaction(state, runtimeProof.publicOutput, transaction, args.networkState);
+        result.bundleList.addToBundle(result, args.networkState);
+        return result.toCommitments();
+    }
+    async proveTransaction(publicInput, runtimeProof, executionData) {
+        return await this.proveTransactionInternal(publicInput, runtimeProof, executionData.transaction, executionData.args);
+    }
+    async proveTransactions(publicInput, runtimeProof1, runtimeProof2, executionData1, executionData2) {
+        const state1 = await this.proveTransactionInternal(publicInput, runtimeProof1, executionData1.transaction, executionData1.args);
+        // Switch to next state record for 2nd tx beforeTx hook
+        this.stateServiceProvider.popCurrentStateService();
+        return await this.proveTransactionInternal(state1, runtimeProof2, executionData2.transaction, executionData2.args);
+    }
+    async dummy(publicInput) {
+        return publicInput;
+    }
+    async merge(publicInput, proof1, proof2) {
+        proof1.verify();
+        proof2.verify();
+        // Check bundlesHash
+        publicInput.bundlesHash.assertEquals(proof1.publicInput.bundlesHash, errors.bundlesHashNotMatching("publicInput.from -> proof1.from"));
+        proof1.publicOutput.bundlesHash.assertEquals(proof2.publicInput.bundlesHash, errors.bundlesHashNotMatching("proof1.to -> proof2.from"));
+        // Check eternalTransactionsHash
+        publicInput.eternalTransactionsHash.assertEquals(proof1.publicInput.eternalTransactionsHash, errors.transactionsHashNotMatching("publicInput.from -> proof1.from"));
+        proof1.publicOutput.eternalTransactionsHash.assertEquals(proof2.publicInput.eternalTransactionsHash, errors.transactionsHashNotMatching("proof1.to -> proof2.from"));
+        // Check incomingMessagesHash
+        publicInput.incomingMessagesHash.assertEquals(proof1.publicInput.incomingMessagesHash, errors.propertyNotMatchingStep("IncomingMessagesHash", "publicInput.from -> proof1.from"));
+        proof1.publicOutput.incomingMessagesHash.assertEquals(proof2.publicInput.incomingMessagesHash, errors.propertyNotMatchingStep("IncomingMessagesHash", "proof1.to -> proof2.from"));
+        return new TransactionProverPublicOutput({
+            bundlesHash: proof2.publicOutput.bundlesHash,
+            eternalTransactionsHash: proof2.publicOutput.eternalTransactionsHash,
+            incomingMessagesHash: proof2.publicOutput.incomingMessagesHash,
+        });
+    }
+    /**
+     * Creates the BlockProver ZkProgram.
+     * Recursive linking of proofs is done via the previously
+     * injected StateTransitionProver and the required AppChainProof class
+     */
+    zkProgramFactory() {
+        const { prover } = this;
+        const proveTransaction = prover.proveTransaction.bind(prover);
+        const proveTransactions = prover.proveTransactions.bind(prover);
+        const merge = prover.merge.bind(prover);
+        const dummy = prover.dummy.bind(prover);
+        const program = ZkProgram({
+            name: "TransactionProver",
+            publicInput: TransactionProverPublicInput,
+            publicOutput: TransactionProverPublicOutput,
+            methods: {
+                proveTransaction: {
+                    privateInputs: [DynamicRuntimeProof, TransactionProverExecutionData],
+                    async method(publicInput, runtimeProof, executionData) {
+                        return {
+                            publicOutput: await proveTransaction(publicInput, runtimeProof, executionData),
+                        };
+                    },
+                },
+                proveTransactions: {
+                    privateInputs: [
+                        DynamicRuntimeProof,
+                        DynamicRuntimeProof,
+                        TransactionProverExecutionData,
+                        TransactionProverExecutionData,
+                    ],
+                    async method(publicInput, runtimeProof1, runtimeProof2, executionData1, executionData2) {
+                        return {
+                            publicOutput: await proveTransactions(publicInput, runtimeProof1, runtimeProof2, executionData1, executionData2),
+                        };
+                    },
+                },
+                dummy: {
+                    privateInputs: [],
+                    async method(publicInput) {
+                        return { publicOutput: await dummy(publicInput) };
+                    },
+                },
+                merge: {
+                    privateInputs: [
+                        (SelfProof),
+                        (SelfProof),
+                    ],
+                    async method(publicInput, proof1, proof2) {
+                        return { publicOutput: await merge(publicInput, proof1, proof2) };
+                    },
+                },
+            },
+        });
+        const methods = {
+            proveTransaction: program.proveTransaction,
+            proveTransactions: program.proveTransactions,
+            dummy: program.dummy,
+            merge: program.merge,
+        };
+        const SelfProofClass = ZkProgram.Proof(program);
+        return [
+            {
+                name: program.name,
+                compile: program.compile.bind(program),
+                verify: program.verify.bind(program),
+                analyzeMethods: program.analyzeMethods.bind(program),
+                Proof: SelfProofClass,
+                methods,
+            },
+        ];
+    }
+}
+__decorate([
+    provableMethod(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [TransactionProverPublicInput,
+        DynamicRuntimeProof,
+        TransactionProverExecutionData]),
+    __metadata("design:returntype", Promise)
+], TransactionProverZkProgrammable.prototype, "proveTransaction", null);
+__decorate([
+    provableMethod(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [TransactionProverPublicInput,
+        DynamicRuntimeProof,
+        DynamicRuntimeProof,
+        TransactionProverExecutionData,
+        TransactionProverExecutionData]),
+    __metadata("design:returntype", Promise)
+], TransactionProverZkProgrammable.prototype, "proveTransactions", null);
+__decorate([
+    provableMethod(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [TransactionProverPublicInput]),
+    __metadata("design:returntype", Promise)
+], TransactionProverZkProgrammable.prototype, "dummy", null);
+__decorate([
+    provableMethod(),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [TransactionProverPublicInput, Object, Object]),
+    __metadata("design:returntype", Promise)
+], TransactionProverZkProgrammable.prototype, "merge", null);
+/**
+ * BlockProver class, which aggregates a AppChainProof and
+ * a StateTransitionProof into a single BlockProof, that can
+ * then be merged to be committed to the base-layer contract
+ */
+export let TransactionProver = class TransactionProver extends ProtocolModule {
+    constructor(runtime, transactionHooks, stateServiceProvider, verificationKeyService) {
+        super();
+        this.runtime = runtime;
+        this.zkProgrammable = new TransactionProverZkProgrammable(this, transactionHooks, stateServiceProvider, verificationKeyService);
+    }
+    async compile(registry) {
+        return await registry.forceProverExists(async () => {
+            await this.runtime.compile(registry);
+            return await this.zkProgrammable.compile(registry);
+        });
+    }
+    proveTransaction(publicInput, runtimeProof, executionData) {
+        return this.zkProgrammable.proveTransaction(publicInput, runtimeProof, executionData);
+    }
+    proveTransactions(publicInput, runtimeProof1, runtimeProof2, executionData1, executionData2) {
+        return this.zkProgrammable.proveTransactions(publicInput, runtimeProof1, runtimeProof2, executionData1, executionData2);
+    }
+    dummy(publicInput) {
+        return this.zkProgrammable.dummy(publicInput);
+    }
+    merge(publicInput, proof1, proof2) {
+        return this.zkProgrammable.merge(publicInput, proof1, proof2);
+    }
+};
+TransactionProver = __decorate([
+    injectable(),
+    __param(0, inject("Runtime")),
+    __param(1, injectAll("ProvableTransactionHook")),
+    __param(2, inject("StateServiceProvider")),
+    __metadata("design:paramtypes", [Object, Array, StateServiceProvider,
+        RuntimeVerificationKeyRootService])
+], TransactionProver);
+//# sourceMappingURL=TransactionProver.js.map

package/dist/prover/transaction/TransactionProver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TransactionProver.js","sourceRoot":"","sources":["../../../src/prover/transaction/TransactionProver.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,OAAO,EAML,cAAc,EAEd,cAAc,GACf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAQ,KAAK,EAAE,SAAS,EAAmB,SAAS,EAAE,MAAM,MAAM,CAAC;AAC1E,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAGzD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAE/D,OAAO,EAIL,8BAA8B,EAC9B,+BAA+B,GAChC,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AACxE,OAAO,EAAE,iCAAiC,EAAE,MAAM,qDAAqD,CAAC;AACxG,OAAO,EAAE,sBAAsB,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,+CAA+C,CAAC;AACtF,OAAO,EACL,kBAAkB,GAGnB,MAAM,mDAAmD,CAAC;AAE3D,OAAO,EACL,8BAA8B,EAC9B,mBAAmB,EAInB,4BAA4B,EAC5B,6BAA6B,EAC7B,sBAAsB,GAEvB,MAAM,uBAAuB,CAAC;AAE/B,MAAM,MAAM,GAAG;IACb,wBAAwB,EAAE,GAAG,EAAE,CAC7B,+DAA+D;IAEjE,uBAAuB,EAAE,CAAC,YAAoB,EAAE,IAAY,EAAE,EAAE,CAC9D,GAAG,YAAY,kBAAkB,IAAI,EAAE;IAEzC,2BAA2B,EAAE,CAAC,IAAY,EAAE,EAAE,CAC5C,MAAM,CAAC,uBAAuB,CAAC,mBAAmB,EAAE,IAAI,CAAC;IAE3D,sBAAsB,EAAE,CAAC,IAAY,EAAE,EAAE,CACvC,MAAM,CAAC,uBAAuB,CAAC,cAAc,EAAE,IAAI,CAAC;CACvD,CAAC;AAWF,MAAM,OAAO,+BAAgC,SAAQ,cAGpD;IACC,YACmB,MAAyB,EACzB,gBAAoD,EACpD,oBAA0C,EAC1C,sBAA4C;QAE7D,KAAK,EAAE,CAAC;QALS,WAAM,GAAN,MAAM,CAAmB;QACzB,qBAAgB,GAAhB,gBAAgB,CAAoC;QACpD,yBAAoB,GAApB,oBAAoB,CAAsB;QAC1C,2BAAsB,GAAtB,sBAAsB,CAAsB;QAK/D,SAAI,GAAG,mBAAmB,CAAC;IAF3B,CAAC;IAID,IAAW,gBAAgB;QACzB,OAAO,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC;IACtC,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACI,KAAK,CAAC,gBAAgB,CAC3B,SAAiC,EACjC,aAAiC,EACjC,aAAwC,EACxC,YAA0B;QAE1B,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,aAAa,CAAC;QAEjD,IAAI,KAAK,GAAG,EAAE,GAAG,SAAS,EAAE,CAAC;QAE7B,MAAM,EAAE,SAAS,EAAE,GAAG,aAAa,CAAC;QAEpC,MAAM,qBAAqB,GAAG,IAAI,qBAAqB,CAAC;YACtD,WAAW;YACX,SAAS;YACT,SAAS;SACV,CAAC,CAAC;QAEH,MAAM,qBAAqB,GAAG,+BAA+B,CAC3D,qBAAqB,EACrB,YAAY,EACZ,KAAK,CACN,CAAC;QAEF,iDAAiD;QACjD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,uBAAuB,CACpD,QAAQ,EACR,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAC5D,qBAAqB,EACrB,SAAS,CACV,CAAC;QAEF,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAEzC,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAC1B,SAAS,EAAE,aAAa,CAAC,oBAAoB;YAC7C,OAAO,EAAE,aAAa,CAAC,MAAM;SAC9B,CAAC,CAAC;QAEH,KAAK,GAAG,sBAAsB,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAE5E,gDAAgD;QAChD,MAAM,oBAAoB,GAAG,8BAA8B,CACzD,qBAAqB,EACrB,YAAY,EACZ,KAAK,EACL,aAAa,CACd,CAAC;QAEF,kDAAkD;QAClD,IAAI,CAAC,oBAAoB,CAAC,sBAAsB,EAAE,CAAC;QAEnD,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,uBAAuB,CACnD,OAAO,EACP,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAC3D,oBAAoB,EACpB,SAAS,CACV,CAAC;QACF,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAExC,+CAA+C;QAC/C,MAAM,oBAAoB,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC;QAEhD,oBAAoB,CAAC,YAAY,CAC/B,aAAa,CAAC,eAAe,EAC7B,+DAA+D,CAChE,CAAC;QAEF,2CAA2C;QAC3C,qBAAqB;aAClB,qBAAqB,EAAE;aACvB,UAAU,CAAC,qCAAqC,CAAC,CAAC;QAErD,yCAAyC;QACzC,WAAW,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC;QAE7C,OAAO,IAAI,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IAEO,gCAAgC,CACtC,WAA8C,EAC9C,QAAe;QAEf,oEAAoE;QACpE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,0BAA0B,EAAE,GAC5D,WAAW,CAAC;QAEd,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1D,MAAM,cAAc,GAAG,0BAA0B,CAAC,aAAa,CAC7D,IAAI,kBAAkB,CAAC;YACrB,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,eAAe,CAAC,IAAI;SAC7B,CAAC,CAAC,IAAI,EAAE,CACV,CAAC;QACF,IAAI,CAAC,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,wBAAwB,EAAE,CAAC,CAAC;QAErE,OAAO,eAAe,CAAC;IACzB,CAAC;IAEO,KAAK,CAAC,uBAAuB,CACnC,IAAO,EACP,IAGkB,EAClB,aAAyC,EACzC,SAAe;QAEf,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,MAAM,YAAY,CAC7C;YACE,WAAW,EAAE,aAAa,CAAC,WAAW,CAAC,WAAW;YAClD,YAAY,EAAE,aAAa,CAAC,YAAY;SACzC,EACD,GAAG,IAAI,aAAa,EACpB,KAAK,IAAI,EAAE;YACT,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,gBAAgB,EAAE;gBAC1C,4CAA4C;gBAC5C,MAAM,IAAI,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;aACnC;QACH,CAAC,EACD,SAAS,CACV,CAAC;QAEF,+DAA+D;QAC/D,yEAAyE;QACzE,KAAK,CAAC,OAAO,GAAG,SAAS,CAAC;QAE1B,OAAO,KAAK,CAAC;IACf,CAAC;IAEM,KAAK,CAAC,wBAAwB,CACnC,WAAyC,EACzC,YAAiC,EACjC,WAAkD,EAClD,IAAgC;QAEhC,MAAM,KAAK,GAAG,sBAAsB,CAAC,eAAe,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAExE,KAAK,CAAC,UAAU,CAAC,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;QAElE,MAAM,eAAe,GAAG,IAAI,CAAC,gCAAgC,CAC3D,WAAW,CAAC,0BAA0B,EACtC,WAAW,CAAC,WAAW,CAAC,QAAQ,CACjC,CAAC;QAEF,YAAY,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAErC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,gBAAgB,CACxC,KAAK,EACL,YAAY,CAAC,YAAY,EACzB,WAAW,EACX,IAAI,CAAC,YAAY,CAClB,CAAC;QAEF,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;QAEzD,OAAO,MAAM,CAAC,aAAa,EAAE,CAAC;IAChC,CAAC;IAGY,AAAN,KAAK,CAAC,gBAAgB,CAC3B,WAAyC,EACzC,YAAiC,EACjC,aAA6C;QAE7C,OAAO,MAAM,IAAI,CAAC,wBAAwB,CACxC,WAAW,EACX,YAAY,EACZ,aAAa,CAAC,WAAW,EACzB,aAAa,CAAC,IAAI,CACnB,CAAC;IACJ,CAAC;IAGY,AAAN,KAAK,CAAC,iBAAiB,CAC5B,WAAyC,EACzC,aAAkC,EAClC,aAAkC,EAClC,cAA8C,EAC9C,cAA8C;QAE9C,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,wBAAwB,CAChD,WAAW,EACX,aAAa,EACb,cAAc,CAAC,WAAW,EAC1B,cAAc,CAAC,IAAI,CACpB,CAAC;QAEF,uDAAuD;QACvD,IAAI,CAAC,oBAAoB,CAAC,sBAAsB,EAAE,CAAC;QAEnD,OAAO,MAAM,IAAI,CAAC,wBAAwB,CACxC,MAAM,EACN,aAAa,EACb,cAAc,CAAC,WAAW,EAC1B,cAAc,CAAC,IAAI,CACpB,CAAC;IACJ,CAAC;IAGY,AAAN,KAAK,CAAC,KAAK,CAChB,WAAyC;QAEzC,OAAO,WAAW,CAAC;IACrB,CAAC;IAGY,AAAN,KAAK,CAAC,KAAK,CAChB,WAAyC,EACzC,MAAwB,EACxB,MAAwB;QAExB,MAAM,CAAC,MAAM,EAAE,CAAC;QAChB,MAAM,CAAC,MAAM,EAAE,CAAC;QAEhB,oBAAoB;QACpB,WAAW,CAAC,WAAW,CAAC,YAAY,CAClC,MAAM,CAAC,WAAW,CAAC,WAAW,EAC9B,MAAM,CAAC,sBAAsB,CAAC,iCAAiC,CAAC,CACjE,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,YAAY,CAC1C,MAAM,CAAC,WAAW,CAAC,WAAW,EAC9B,MAAM,CAAC,sBAAsB,CAAC,0BAA0B,CAAC,CAC1D,CAAC;QAEF,gCAAgC;QAChC,WAAW,CAAC,uBAAuB,CAAC,YAAY,CAC9C,MAAM,CAAC,WAAW,CAAC,uBAAuB,EAC1C,MAAM,CAAC,2BAA2B,CAAC,iCAAiC,CAAC,CACtE,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,uBAAuB,CAAC,YAAY,CACtD,MAAM,CAAC,WAAW,CAAC,uBAAuB,EAC1C,MAAM,CAAC,2BAA2B,CAAC,0BAA0B,CAAC,CAC/D,CAAC;QAEF,6BAA6B;QAC7B,WAAW,CAAC,oBAAoB,CAAC,YAAY,CAC3C,MAAM,CAAC,WAAW,CAAC,oBAAoB,EACvC,MAAM,CAAC,uBAAuB,CAC5B,sBAAsB,EACtB,iCAAiC,CAClC,CACF,CAAC;QACF,MAAM,CAAC,YAAY,CAAC,oBAAoB,CAAC,YAAY,CACnD,MAAM,CAAC,WAAW,CAAC,oBAAoB,EACvC,MAAM,CAAC,uBAAuB,CAC5B,sBAAsB,EACtB,0BAA0B,CAC3B,CACF,CAAC;QAEF,OAAO,IAAI,6BAA6B,CAAC;YACvC,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC,WAAW;YAC5C,uBAAuB,EAAE,MAAM,CAAC,YAAY,CAAC,uBAAuB;YACpE,oBAAoB,EAAE,MAAM,CAAC,YAAY,CAAC,oBAAoB;SAC/D,CAAC,CAAC;IACL,CAAC;IAED;;;;OAIG;IACI,gBAAgB;QAIrB,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QACxB,MAAM,gBAAgB,GAAG,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9D,MAAM,iBAAiB,GAAG,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAExC,MAAM,OAAO,GAAG,SAAS,CAAC;YACxB,IAAI,EAAE,mBAAmB;YACzB,WAAW,EAAE,4BAA4B;YACzC,YAAY,EAAE,6BAA6B;YAE3C,OAAO,EAAE;gBACP,gBAAgB,EAAE;oBAChB,aAAa,EAAE,CAAC,mBAAmB,EAAE,8BAA8B,CAAC;oBAEpE,KAAK,CAAC,MAAM,CACV,WAAyC,EACzC,YAAiC,EACjC,aAA6C;wBAE7C,OAAO;4BACL,YAAY,EAAE,MAAM,gBAAgB,CAClC,WAAW,EACX,YAAY,EACZ,aAAa,CACd;yBACF,CAAC;oBACJ,CAAC;iBACF;gBAED,iBAAiB,EAAE;oBACjB,aAAa,EAAE;wBACb,mBAAmB;wBACnB,mBAAmB;wBACnB,8BAA8B;wBAC9B,8BAA8B;qBAC/B;oBAED,KAAK,CAAC,MAAM,CACV,WAAyC,EACzC,aAAkC,EAClC,aAAkC,EAClC,cAA8C,EAC9C,cAA8C;wBAE9C,OAAO;4BACL,YAAY,EAAE,MAAM,iBAAiB,CACnC,WAAW,EACX,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,CACf;yBACF,CAAC;oBACJ,CAAC;iBACF;gBAED,KAAK,EAAE;oBACL,aAAa,EAAE,EAAE;oBACjB,KAAK,CAAC,MAAM,CAAC,WAAyC;wBACpD,OAAO,EAAE,YAAY,EAAE,MAAM,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;oBACpD,CAAC;iBACF;gBAED,KAAK,EAAE;oBACL,aAAa,EAAE;wBACb,CAAA,SAGC,CAAA;wBACD,CAAA,SAGC,CAAA;qBACF;oBAED,KAAK,CAAC,MAAM,CACV,WAAyC,EACzC,MAAwB,EACxB,MAAwB;wBAExB,OAAO,EAAE,YAAY,EAAE,MAAM,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;oBACpE,CAAC;iBACF;aACF;SACF,CAAC,CAAC;QAEH,MAAM,OAAO,GAAG;YACd,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;YAC1C,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;YAC5C,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,KAAK,EAAE,OAAO,CAAC,KAAK;SACrB,CAAC;QAEF,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAEhD,OAAO;YACL;gBACE,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;gBACtC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpC,cAAc,EAAE,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpD,KAAK,EAAE,cAAc;gBACrB,OAAO;aACR;SACF,CAAC;IACJ,CAAC;CACF;AAtNc;IADZ,cAAc,EAAE;;qCAEF,4BAA4B;QAC3B,mBAAmB;QAClB,8BAA8B;;uEAQ9C;AAGY;IADZ,cAAc,EAAE;;qCAEF,4BAA4B;QAC1B,mBAAmB;QACnB,mBAAmB;QAClB,8BAA8B;QAC9B,8BAA8B;;wEAkB/C;AAGY;IADZ,cAAc,EAAE;;qCAEF,4BAA4B;;4DAG1C;AAGY;IADZ,cAAc,EAAE;;qCAEF,4BAA4B;;4DAgD1C;AAwHH;;;;GAIG;AAEI,WAAM,iBAAiB,GAAvB,MAAM,iBACX,SAAQ,cAAc;IAKtB,YAEkB,OACE,EAElB,gBAAoD,EAEpD,oBAA0C,EAC1C,sBAAyD;QAEzD,KAAK,EAAE,CAAC;QARQ,YAAO,GAAP,OAAO,CACL;QAQlB,IAAI,CAAC,cAAc,GAAG,IAAI,+BAA+B,CACvD,IAAI,EACJ,gBAAgB,EAChB,oBAAoB,EACpB,sBAAsB,CACvB,CAAC;IACJ,CAAC;IAEM,KAAK,CAAC,OAAO,CAClB,QAAyB;QAEzB,OAAO,MAAM,QAAQ,CAAC,iBAAiB,CAAC,KAAK,IAAI,EAAE;YACjD,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YACrC,OAAO,MAAM,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC;IAEM,gBAAgB,CACrB,WAAyC,EACzC,YAAiC,EACjC,aAA6C;QAE7C,OAAO,IAAI,CAAC,cAAc,CAAC,gBAAgB,CACzC,WAAW,EACX,YAAY,EACZ,aAAa,CACd,CAAC;IACJ,CAAC;IAEM,iBAAiB,CACtB,WAAyC,EACzC,aAAkC,EAClC,aAAkC,EAClC,cAA8C,EAC9C,cAA8C;QAE9C,OAAO,IAAI,CAAC,cAAc,CAAC,iBAAiB,CAC1C,WAAW,EACX,aAAa,EACb,aAAa,EACb,cAAc,EACd,cAAc,CACf,CAAC;IACJ,CAAC;IAEM,KAAK,CAAC,WAAyC;QACpD,OAAO,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAChD,CAAC;IAEM,KAAK,CACV,WAAyC,EACzC,MAAwB,EACxB,MAAwB;QAExB,OAAO,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAChE,CAAC;CACF,CAAA;AAzEY,iBAAiB;IAD7B,UAAU,EAAE;IAQR,WAAA,MAAM,CAAC,SAAS,CAAC,CAAA;IAGjB,WAAA,SAAS,CAAC,yBAAyB,CAAC,CAAA;IAEpC,WAAA,MAAM,CAAC,sBAAsB,CAAC,CAAA;oDACT,oBAAoB;QAClB,iCAAiC;GAdhD,iBAAiB,CAyE7B"}

package/dist/prover/utils.d.ts

@@ -0,0 +1,19 @@
+import { Bool } from "o1js";
+import { StateTransition } from "../model/StateTransition";
+import { AppliedStateTransitionBatch } from "../model/AppliedStateTransitionBatch";
+import { RuntimeMethodExecutionData } from "../state/context/RuntimeMethodExecutionContext";
+import { RuntimeTransaction } from "../model/transaction/RuntimeTransaction";
+import { TransactionProverState } from "./transaction/TransactionProvable";
+/**
+ * Constructs a AppliedBatch based on a list of STs and the flag whether to
+ * be applied or not. The AppliedBatch is a condensed commitment to a batch
+ * of STs.
+ */
+export declare function constructBatch(stateTransitions: StateTransition<any>[], applied: Bool): AppliedStateTransitionBatch;
+export declare function executeHooks<T>(contextArguments: RuntimeMethodExecutionData, hookName: string, method: () => Promise<T>, skipEnforceStatus?: Bool | undefined): Promise<{
+    batch: AppliedStateTransitionBatch;
+    result: Awaited<T>;
+    rawStatus: import("o1js/dist/node/lib/provable/bool").Bool;
+}>;
+export declare function addTransactionToBundle<T extends Pick<TransactionProverState, "transactionList" | "eternalTransactionsList" | "incomingMessages">>(state: T, isMessage: Bool, transaction: RuntimeTransaction): T;
+//# sourceMappingURL=utils.d.ts.map

package/dist/prover/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/prover/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAG5B,OAAO,EAEL,eAAe,EAChB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAEL,0BAA0B,EAC3B,MAAM,gDAAgD,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAI7E,OAAO,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAE3E;;;;GAIG;AACH,wBAAgB,cAAc,CAC5B,gBAAgB,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,EACxC,OAAO,EAAE,IAAI,+BAed;AAGD,wBAAsB,YAAY,CAAC,CAAC,EAClC,gBAAgB,EAAE,0BAA0B,EAC5C,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,EAExB,iBAAiB,GAAE,IAAI,GAAG,SAAqB;;;;GAoChD;AAED,wBAAgB,sBAAsB,CACpC,CAAC,SAAS,IAAI,CACZ,sBAAsB,EACtB,iBAAiB,GAAG,yBAAyB,GAAG,kBAAkB,CACnE,EACD,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,kBAAkB,GAAG,CAAC,CAgB/D"}

package/dist/prover/utils.js

@@ -0,0 +1,67 @@
+import { Bool } from "o1js";
+import { container } from "tsyringe";
+import { ProvableStateTransition, } from "../model/StateTransition";
+import { AppliedStateTransitionBatch } from "../model/AppliedStateTransitionBatch";
+import { RuntimeMethodExecutionContext, } from "../state/context/RuntimeMethodExecutionContext";
+import { MinaActions } from "../utils/MinaPrefixedProvableHashList";
+import { StateTransitionReductionList } from "./accumulators/StateTransitionReductionList";
+/**
+ * Constructs a AppliedBatch based on a list of STs and the flag whether to
+ * be applied or not. The AppliedBatch is a condensed commitment to a batch
+ * of STs.
+ */
+export function constructBatch(stateTransitions, applied) {
+    const transitions = stateTransitions.map((transition) => transition.toProvable());
+    const hashList = new StateTransitionReductionList(ProvableStateTransition);
+    transitions.forEach((transition) => {
+        hashList.push(transition);
+    });
+    return new AppliedStateTransitionBatch({
+        batchHash: hashList.commitment,
+        applied,
+    });
+}
+// TODO How does this interact with the RuntimeMethodExecutionContext when executing runtimemethods?
+export async function executeHooks(contextArguments, hookName, method, 
+// This can be either that the tx is a message, or we are inside a dummy block hook
+skipEnforceStatus = undefined) {
+    const executionContext = container.resolve(RuntimeMethodExecutionContext);
+    executionContext.clear();
+    // Setup context for potential calls to runtime methods.
+    // This way they can use this.transaction etc. while still having provable
+    // integrity between data
+    executionContext.setup(contextArguments);
+    executionContext.beforeMethod("", "", []);
+    const result = await method();
+    executionContext.afterMethod();
+    const { stateTransitions, status, statusMessage } = executionContext.current().result;
+    // See https://github.com/proto-kit/framework/issues/321 for why we do this here
+    if (skipEnforceStatus !== undefined) {
+        // isMessage is defined for all tx hooks
+        status
+            .or(skipEnforceStatus)
+            .assertTrue(`${hookName} hook call failed for non-message tx: ${statusMessage ?? "-"}`);
+    }
+    else {
+        // isMessage is undefined for all block hooks
+        status.assertTrue(`${hookName} hook call failed: ${statusMessage ?? "-"}`);
+    }
+    return {
+        batch: constructBatch(stateTransitions, Bool(true)),
+        result,
+        rawStatus: status,
+    };
+}
+export function addTransactionToBundle(state, isMessage, transaction) {
+    const transactionHash = transaction.hash();
+    // Append tx to transaction list
+    state.transactionList.push(transactionHash);
+    // Append tx to eternal transaction list
+    // TODO Change that to the a sequence-state compatible transaction struct
+    state.eternalTransactionsList.push(transactionHash);
+    // Append tx to incomingMessagesHash
+    const actionHash = MinaActions.actionHash(transaction.hashData());
+    state.incomingMessages.pushIf(actionHash, isMessage);
+    return state;
+}
+//# sourceMappingURL=utils.js.map

package/dist/prover/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/prover/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC5B,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAErC,OAAO,EACL,uBAAuB,GAExB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EACL,6BAA6B,GAE9B,MAAM,gDAAgD,CAAC;AAExD,OAAO,EAAE,WAAW,EAAE,MAAM,uCAAuC,CAAC;AAEpE,OAAO,EAAE,4BAA4B,EAAE,MAAM,6CAA6C,CAAC;AAG3F;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC5B,gBAAwC,EACxC,OAAa;IAEb,MAAM,WAAW,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CACtD,UAAU,CAAC,UAAU,EAAE,CACxB,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,4BAA4B,CAAC,uBAAuB,CAAC,CAAC;IAC3E,WAAW,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;QACjC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,OAAO,IAAI,2BAA2B,CAAC;QACrC,SAAS,EAAE,QAAQ,CAAC,UAAU;QAC9B,OAAO;KACR,CAAC,CAAC;AACL,CAAC;AAED,oGAAoG;AACpG,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,gBAA4C,EAC5C,QAAgB,EAChB,MAAwB;AACxB,mFAAmF;AACnF,oBAAsC,SAAS;IAE/C,MAAM,gBAAgB,GAAG,SAAS,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAC1E,gBAAgB,CAAC,KAAK,EAAE,CAAC;IAEzB,wDAAwD;IACxD,0EAA0E;IAC1E,yBAAyB;IACzB,gBAAgB,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACzC,gBAAgB,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAE1C,MAAM,MAAM,GAAG,MAAM,MAAM,EAAE,CAAC;IAE9B,gBAAgB,CAAC,WAAW,EAAE,CAAC;IAE/B,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,aAAa,EAAE,GAC/C,gBAAgB,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC;IAEpC,gFAAgF;IAChF,IAAI,iBAAiB,KAAK,SAAS,EAAE;QACnC,wCAAwC;QACxC,MAAM;aACH,EAAE,CAAC,iBAAiB,CAAC;aACrB,UAAU,CACT,GAAG,QAAQ,yCAAyC,aAAa,IAAI,GAAG,EAAE,CAC3E,CAAC;KACL;SAAM;QACL,6CAA6C;QAC7C,MAAM,CAAC,UAAU,CAAC,GAAG,QAAQ,sBAAsB,aAAa,IAAI,GAAG,EAAE,CAAC,CAAC;KAC5E;IAED,OAAO;QACL,KAAK,EAAE,cAAc,CAAC,gBAAgB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM;QACN,SAAS,EAAE,MAAM;KAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAKpC,KAAQ,EAAE,SAAe,EAAE,WAA+B;IAC1D,MAAM,eAAe,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC;IAE3C,gCAAgC;IAChC,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAE5C,wCAAwC;IACxC,yEAAyE;IACzE,KAAK,CAAC,uBAAuB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAEpD,oCAAoC;IACpC,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC;IAElE,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAErD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/settlement/ContractArgsRegistry.d.ts

@@ -0,0 +1,13 @@
+export interface StaticInitializationContract<Args> {
+    getInitializationArgs(): Args;
+}
+export type NaiveObjectSchema<Obj> = {
+    [Key in keyof Obj]: undefined extends Obj[Key] ? "Optional" : "Required";
+};
+export declare class ContractArgsRegistry {
+    args: Record<string, any>;
+    addArgs<Type>(name: string, addition: Partial<Type>): void;
+    resetArgs(name: string): void;
+    getArgs<Type>(name: string, schema: NaiveObjectSchema<Type>): Type;
+}
+//# sourceMappingURL=ContractArgsRegistry.d.ts.map

package/dist/settlement/ContractArgsRegistry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ContractArgsRegistry.d.ts","sourceRoot":"","sources":["../../src/settlement/ContractArgsRegistry.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,4BAA4B,CAAC,IAAI;IAChD,qBAAqB,IAAI,IAAI,CAAC;CAC/B;AAED,MAAM,MAAM,iBAAiB,CAAC,GAAG,IAAI;KAClC,GAAG,IAAI,MAAM,GAAG,GAAG,SAAS,SAAS,GAAG,CAAC,GAAG,CAAC,GAAG,UAAU,GAAG,UAAU;CACzE,CAAC;AAcF,qBAEa,oBAAoB;IAC/B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAM;IAExB,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC;IAMnD,SAAS,CAAC,IAAI,EAAE,MAAM;IAItB,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,GAAG,IAAI;CAqB1E"}