@proto-kit/protocol 0.1.1-develop.651 → 0.1.1-develop.833

package/dist/blockmodules/LastStateRootBlockHook.js

@@ -1,15 +1,15 @@
-import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
-import { NetworkState } from "../model/network/NetworkState";
-export class LastStateRootBlockHook extends ProvableBlockHook {
-    afterBlock(networkState, state) {
-        return new NetworkState({
-            block: networkState.block,
-            previous: {
-                rootHash: state.stateRoot,
-            },
-        });
-    }
-    beforeBlock(networkState, state) {
-        return networkState;
-    }
-}
+import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
+import { NetworkState } from "../model/network/NetworkState";
+export class LastStateRootBlockHook extends ProvableBlockHook {
+    afterBlock(networkState, state) {
+        return new NetworkState({
+            block: networkState.block,
+            previous: {
+                rootHash: state.stateRoot,
+            },
+        });
+    }
+    beforeBlock(networkState, state) {
+        return networkState;
+    }
+}

package/dist/blockmodules/NoopBlockHook.d.ts

@@ -1,9 +1,9 @@
-import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
-import { NetworkState } from "../model/network/NetworkState";
-import { BlockProverState } from "../prover/block/BlockProver";
-import { NoConfig } from "@proto-kit/common";
-export declare class NoopBlockHook extends ProvableBlockHook<NoConfig> {
-    afterBlock(networkState: NetworkState, state: BlockProverState): NetworkState;
-    beforeBlock(networkState: NetworkState, state: BlockProverState): NetworkState;
-}
+import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
+import { NetworkState } from "../model/network/NetworkState";
+import { BlockProverState } from "../prover/block/BlockProver";
+import { NoConfig } from "@proto-kit/common";
+export declare class NoopBlockHook extends ProvableBlockHook<NoConfig> {
+    afterBlock(networkState: NetworkState, state: BlockProverState): NetworkState;
+    beforeBlock(networkState: NetworkState, state: BlockProverState): NetworkState;
+}
 //# sourceMappingURL=NoopBlockHook.d.ts.map

package/dist/blockmodules/NoopBlockHook.js

@@ -1,9 +1,9 @@
-import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
-export class NoopBlockHook extends ProvableBlockHook {
-    afterBlock(networkState, state) {
-        return networkState;
-    }
-    beforeBlock(networkState, state) {
-        return networkState;
-    }
-}
+import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
+export class NoopBlockHook extends ProvableBlockHook {
+    afterBlock(networkState, state) {
+        return networkState;
+    }
+    beforeBlock(networkState, state) {
+        return networkState;
+    }
+}

package/dist/blockmodules/NoopSettlementHook.d.ts

@@ -1,6 +1,6 @@
-import { SmartContract } from "o1js";
-import { ProvableSettlementHook, SettlementHookInputs } from "../settlement/ProvableSettlementHook";
-export declare class NoopSettlementHook extends ProvableSettlementHook<Record<string, never>> {
-    beforeSettlement(contract: SmartContract, state: SettlementHookInputs): void;
-}
+import { SmartContract } from "o1js";
+import { ProvableSettlementHook, SettlementHookInputs } from "../settlement/modularity/ProvableSettlementHook";
+export declare class NoopSettlementHook extends ProvableSettlementHook<Record<string, never>> {
+    beforeSettlement(contract: SmartContract, state: SettlementHookInputs): void;
+}
 //# sourceMappingURL=NoopSettlementHook.d.ts.map

package/dist/blockmodules/NoopSettlementHook.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"NoopSettlementHook.d.ts","sourceRoot":"","sources":["../../src/blockmodules/NoopSettlementHook.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AAGrC,OAAO,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAEpG,qBACa,kBAAmB,SAAQ,sBAAsB,CAC5D,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CACtB;IACQ,gBAAgB,CAAC,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,oBAAoB,GAAG,IAAI;CAGpF"}
+{"version":3,"file":"NoopSettlementHook.d.ts","sourceRoot":"","sources":["../../src/blockmodules/NoopSettlementHook.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AAErC,OAAO,EACL,sBAAsB,EACtB,oBAAoB,EACrB,MAAM,iDAAiD,CAAC;AAEzD,qBACa,kBAAmB,SAAQ,sBAAsB,CAC5D,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CACtB;IACQ,gBAAgB,CACrB,QAAQ,EAAE,aAAa,EACvB,KAAK,EAAE,oBAAoB,GAC1B,IAAI;CAGR"}

package/dist/blockmodules/NoopSettlementHook.js

@@ -1,18 +1,18 @@
-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;
-};
-import { injectable } from "tsyringe";
-import { noop } from "@proto-kit/common";
-import { ProvableSettlementHook } from "../settlement/ProvableSettlementHook";
-let NoopSettlementHook = class NoopSettlementHook extends ProvableSettlementHook {
-    beforeSettlement(contract, state) {
-        noop();
-    }
-};
-NoopSettlementHook = __decorate([
-    injectable()
-], NoopSettlementHook);
-export { NoopSettlementHook };
+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;
+};
+import { injectable } from "tsyringe";
+import { noop } from "@proto-kit/common";
+import { ProvableSettlementHook, } from "../settlement/modularity/ProvableSettlementHook";
+let NoopSettlementHook = class NoopSettlementHook extends ProvableSettlementHook {
+    beforeSettlement(contract, state) {
+        noop();
+    }
+};
+NoopSettlementHook = __decorate([
+    injectable()
+], NoopSettlementHook);
+export { NoopSettlementHook };

package/dist/blockmodules/NoopTransactionHook.d.ts

@@ -1,6 +1,6 @@
-import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
-import { BlockProverExecutionData } from "../prover/block/BlockProvable";
-export declare class NoopTransactionHook extends ProvableTransactionHook {
-    onTransaction(executionData: BlockProverExecutionData): void;
-}
+import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
+import { BlockProverExecutionData } from "../prover/block/BlockProvable";
+export declare class NoopTransactionHook extends ProvableTransactionHook {
+    onTransaction(executionData: BlockProverExecutionData): void;
+}
 //# sourceMappingURL=NoopTransactionHook.d.ts.map

package/dist/blockmodules/NoopTransactionHook.js

@@ -1,4 +1,4 @@
-import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
-export class NoopTransactionHook extends ProvableTransactionHook {
-    onTransaction(executionData) { }
-}
+import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
+export class NoopTransactionHook extends ProvableTransactionHook {
+    onTransaction(executionData) { }
+}

package/dist/hooks/AccountStateHook.d.ts

@@ -8,14 +8,25 @@ declare const AccountState_base: (new (value: {
     nonce: UInt64;
 }) & {
     _isStruct: true;
-} & import("o1js/dist/node/snarky").ProvablePure<{
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
     nonce: UInt64;
-}> & {
+}, {
+    nonce: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        nonce: UInt64;
+    };
+} & {
+    fromValue: (value: {
+        nonce: bigint | UInt64;
+    }) => {
+        nonce: UInt64;
+    };
     toInput: (x: {
         nonce: UInt64;
     }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/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: {
         nonce: UInt64;
@@ -27,12 +38,15 @@ declare const AccountState_base: (new (value: {
     }) => {
         nonce: UInt64;
     };
+    empty: () => {
+        nonce: UInt64;
+    };
 };
 export declare class AccountState extends AccountState_base {
 }
 export declare class AccountStateHook extends ProvableTransactionHook {
     accountState: StateMap<PublicKey, AccountState>;
-    onTransaction({ transaction }: BlockProverExecutionData): void;
+    onTransaction({ transaction }: BlockProverExecutionData): Promise<void>;
 }
 export {};
 //# sourceMappingURL=AccountStateHook.d.ts.map

package/dist/hooks/AccountStateHook.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AccountStateHook.d.ts","sourceRoot":"","sources":["../../src/hooks/AccountStateHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;AAE3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAI9E,qBAAa,YAAa,SAAQ,iBAEhC;CAAG;AAEL,qBACa,gBAAiB,SAAQ,uBAAuB;IACnC,YAAY,oCAGlC;IAEK,aAAa,CAAC,EAAE,WAAW,EAAE,EAAE,wBAAwB,GAAG,IAAI;CAyBtE"}
+{"version":3,"file":"AccountStateHook.d.ts","sourceRoot":"","sources":["../../src/hooks/AccountStateHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;AAGjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAG9E,qBAAa,YAAa,SAAQ,iBAEhC;CAAG;AAEL,qBACa,gBAAiB,SAAQ,uBAAuB;IACnC,YAAY,oCAGlC;IAEW,aAAa,CAAC,EAAE,WAAW,EAAE,EAAE,wBAAwB;CA2BrE"}

package/dist/hooks/AccountStateHook.js

@@ -8,34 +8,34 @@ var __metadata = (this && this.__metadata) || function (k, v) {
     if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
 };
 import { PublicKey, Struct, UInt64 } from "o1js";
+import { injectable } from "tsyringe";
 import { StateMap } from "../state/StateMap";
 import { protocolState } from "../state/protocol/ProtocolState";
 import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
 import { assert } from "../state/assert/assert";
-import { injectable } from "tsyringe";
 export class AccountState extends Struct({
     nonce: UInt64,
 }) {
 }
-let AccountStateHook = class AccountStateHook extends ProvableTransactionHook {
+export let AccountStateHook = class AccountStateHook extends ProvableTransactionHook {
     constructor() {
         super(...arguments);
         this.accountState = StateMap.from(PublicKey, AccountState);
     }
-    onTransaction({ transaction }) {
+    async onTransaction({ transaction }) {
         const sender = transaction.sender.value;
-        const accountState = this.accountState
-            .get(sender)
-            .orElse(new AccountState({ nonce: UInt64.zero }));
+        const aso = await this.accountState.get(sender);
+        const accountState = aso.orElse(new AccountState({ nonce: UInt64.zero }));
         const currentNonce = accountState.nonce;
         // Either the nonce matches or the tx is a message, in which case we don't care
         assert(currentNonce
             .equals(transaction.nonce.value)
-            .or(transaction.sender.isSome.not()), "Nonce not matching");
+            .or(transaction.sender.isSome.not()), () => `Nonce not matching: tx sent ${transaction.nonce.value.toString()}, onchain value is ${currentNonce.toString()}`);
         // Optimized version of transaction.sender.isSome ? currentNonce.add(1) : Field(0)
         // Bcs Bool(true).toField() == 1
-        const newNonce = UInt64.from(currentNonce.value.add(1).mul(transaction.sender.isSome.toField()));
-        this.accountState.set(sender, new AccountState({ nonce: newNonce }));
+        // TODO Think about if we want to rangecheck this. If not, we should store it as Field
+        const newNonce = UInt64.Unsafe.fromField(currentNonce.value.add(1).mul(transaction.sender.isSome.toField()));
+        await this.accountState.set(sender, new AccountState({ nonce: newNonce }));
     }
 };
 __decorate([
@@ -45,4 +45,3 @@ __decorate([
 AccountStateHook = __decorate([
     injectable()
 ], AccountStateHook);
-export { AccountStateHook };

package/dist/hooks/BlockHeightHook.d.ts

@@ -1,7 +1,7 @@
 import { NetworkState } from "../model/network/NetworkState";
 import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
 export declare class BlockHeightHook extends ProvableBlockHook<Record<string, never>> {
-    afterBlock(networkState: NetworkState): NetworkState;
-    beforeBlock(networkState: NetworkState): NetworkState;
+    afterBlock(networkState: NetworkState): Promise<NetworkState>;
+    beforeBlock(networkState: NetworkState): Promise<NetworkState>;
 }
 //# sourceMappingURL=BlockHeightHook.d.ts.map

package/dist/hooks/BlockHeightHook.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"BlockHeightHook.d.ts","sourceRoot":"","sources":["../../src/hooks/BlockHeightHook.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE,qBAAa,eAAgB,SAAQ,iBAAiB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACpE,UAAU,CAAC,YAAY,EAAE,YAAY,GAAG,YAAY;IASpD,WAAW,CAAC,YAAY,EAAE,YAAY,GAAG,YAAY;CAG7D"}
+{"version":3,"file":"BlockHeightHook.d.ts","sourceRoot":"","sources":["../../src/hooks/BlockHeightHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAElE,qBAAa,eAAgB,SAAQ,iBAAiB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC9D,UAAU,CAAC,YAAY,EAAE,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;IAS7D,WAAW,CAAC,YAAY,EAAE,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;CAG5E"}

package/dist/hooks/BlockHeightHook.js

@@ -1,15 +1,15 @@
 import { NetworkState } from "../model/network/NetworkState";
 import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
 export class BlockHeightHook extends ProvableBlockHook {
-    afterBlock(networkState) {
+    async afterBlock(networkState) {
         return new NetworkState({
             block: {
                 height: networkState.block.height.add(1),
             },
-            previous: networkState.previous
+            previous: networkState.previous,
         });
     }
-    beforeBlock(networkState) {
+    async beforeBlock(networkState) {
         return networkState;
     }
 }

package/dist/hooks/LastStateRootBlockHook.d.ts

@@ -2,7 +2,7 @@ import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
 import { NetworkState } from "../model/network/NetworkState";
 import { BlockProverState } from "../prover/block/BlockProver";
 export declare class LastStateRootBlockHook extends ProvableBlockHook<Record<string, never>> {
-    afterBlock(networkState: NetworkState, state: BlockProverState): NetworkState;
-    beforeBlock(networkState: NetworkState, state: BlockProverState): NetworkState;
+    afterBlock(networkState: NetworkState, state: BlockProverState): Promise<NetworkState>;
+    beforeBlock(networkState: NetworkState, state: BlockProverState): Promise<NetworkState>;
 }
 //# sourceMappingURL=LastStateRootBlockHook.d.ts.map

package/dist/hooks/LastStateRootBlockHook.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"LastStateRootBlockHook.d.ts","sourceRoot":"","sources":["../../src/hooks/LastStateRootBlockHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAE/D,qBAAa,sBAAuB,SAAQ,iBAAiB,CAC3D,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CACtB;IACQ,UAAU,CACf,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,gBAAgB,GACtB,YAAY;IASR,WAAW,CAChB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,gBAAgB,GACtB,YAAY;CAGhB"}
+{"version":3,"file":"LastStateRootBlockHook.d.ts","sourceRoot":"","sources":["../../src/hooks/LastStateRootBlockHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAE/D,qBAAa,sBAAuB,SAAQ,iBAAiB,CAC3D,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CACtB;IACc,UAAU,CACrB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,gBAAgB,GACtB,OAAO,CAAC,YAAY,CAAC;IASX,WAAW,CACtB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,gBAAgB,GACtB,OAAO,CAAC,YAAY,CAAC;CAGzB"}

package/dist/hooks/LastStateRootBlockHook.js

@@ -1,7 +1,7 @@
 import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
 import { NetworkState } from "../model/network/NetworkState";
 export class LastStateRootBlockHook extends ProvableBlockHook {
-    afterBlock(networkState, state) {
+    async afterBlock(networkState, state) {
         return new NetworkState({
             block: networkState.block,
             previous: {
@@ -9,7 +9,7 @@ export class LastStateRootBlockHook extends ProvableBlockHook {
             },
         });
     }
-    beforeBlock(networkState, state) {
+    async beforeBlock(networkState, state) {
         return networkState;
     }
 }

package/dist/hooks/NoopBlockHook.d.ts

@@ -1,9 +1,9 @@
+import { NoConfig } from "@proto-kit/common";
 import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
 import { NetworkState } from "../model/network/NetworkState";
 import { BlockProverState } from "../prover/block/BlockProver";
-import { NoConfig } from "@proto-kit/common";
 export declare class NoopBlockHook extends ProvableBlockHook<NoConfig> {
-    afterBlock(networkState: NetworkState, state: BlockProverState): NetworkState;
-    beforeBlock(networkState: NetworkState, state: BlockProverState): NetworkState;
+    afterBlock(networkState: NetworkState, state: BlockProverState): Promise<NetworkState>;
+    beforeBlock(networkState: NetworkState, state: BlockProverState): Promise<NetworkState>;
 }
 //# sourceMappingURL=NoopBlockHook.d.ts.map

package/dist/hooks/NoopBlockHook.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"NoopBlockHook.d.ts","sourceRoot":"","sources":["../../src/hooks/NoopBlockHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,qBAAa,aAAc,SAAQ,iBAAiB,CAAC,QAAQ,CAAC;IACrD,UAAU,CACf,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,gBAAgB,GACtB,YAAY;IAIR,WAAW,CAChB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,gBAAgB,GACtB,YAAY;CAGhB"}
+{"version":3,"file":"NoopBlockHook.d.ts","sourceRoot":"","sources":["../../src/hooks/NoopBlockHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAE/D,qBAAa,aAAc,SAAQ,iBAAiB,CAAC,QAAQ,CAAC;IAC/C,UAAU,CACrB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,gBAAgB,GACtB,OAAO,CAAC,YAAY,CAAC;IAIX,WAAW,CACtB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,gBAAgB,GACtB,OAAO,CAAC,YAAY,CAAC;CAGzB"}

package/dist/hooks/NoopBlockHook.js

@@ -1,9 +1,9 @@
 import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
 export class NoopBlockHook extends ProvableBlockHook {
-    afterBlock(networkState, state) {
+    async afterBlock(networkState, state) {
         return networkState;
     }
-    beforeBlock(networkState, state) {
+    async beforeBlock(networkState, state) {
         return networkState;
     }
 }

package/dist/hooks/NoopSettlementHook.d.ts

@@ -1,6 +1,6 @@
 import { SmartContract } from "o1js";
 import { ProvableSettlementHook, SettlementHookInputs } from "../settlement/modularity/ProvableSettlementHook";
 export declare class NoopSettlementHook extends ProvableSettlementHook<Record<string, never>> {
-    beforeSettlement(contract: SmartContract, state: SettlementHookInputs): void;
+    beforeSettlement(contract: SmartContract, state: SettlementHookInputs): Promise<void>;
 }
 //# sourceMappingURL=NoopSettlementHook.d.ts.map

package/dist/hooks/NoopSettlementHook.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"NoopSettlementHook.d.ts","sourceRoot":"","sources":["../../src/hooks/NoopSettlementHook.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AAErC,OAAO,EACL,sBAAsB,EACtB,oBAAoB,EACrB,MAAM,iDAAiD,CAAC;AAEzD,qBACa,kBAAmB,SAAQ,sBAAsB,CAC5D,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CACtB;IACQ,gBAAgB,CACrB,QAAQ,EAAE,aAAa,EACvB,KAAK,EAAE,oBAAoB,GAC1B,IAAI;CAGR"}
+{"version":3,"file":"NoopSettlementHook.d.ts","sourceRoot":"","sources":["../../src/hooks/NoopSettlementHook.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,MAAM,CAAC;AAErC,OAAO,EACL,sBAAsB,EACtB,oBAAoB,EACrB,MAAM,iDAAiD,CAAC;AAEzD,qBACa,kBAAmB,SAAQ,sBAAsB,CAC5D,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CACtB;IACc,gBAAgB,CAC3B,QAAQ,EAAE,aAAa,EACvB,KAAK,EAAE,oBAAoB;CAI9B"}

package/dist/hooks/NoopSettlementHook.js

@@ -7,12 +7,11 @@ var __decorate = (this && this.__decorate) || function (decorators, target, key,
 import { injectable } from "tsyringe";
 import { noop } from "@proto-kit/common";
 import { ProvableSettlementHook, } from "../settlement/modularity/ProvableSettlementHook";
-let NoopSettlementHook = class NoopSettlementHook extends ProvableSettlementHook {
-    beforeSettlement(contract, state) {
+export let NoopSettlementHook = class NoopSettlementHook extends ProvableSettlementHook {
+    async beforeSettlement(contract, state) {
         noop();
     }
 };
 NoopSettlementHook = __decorate([
     injectable()
 ], NoopSettlementHook);
-export { NoopSettlementHook };

package/dist/hooks/NoopTransactionHook.d.ts

@@ -1,6 +1,6 @@
 import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
 import { BlockProverExecutionData } from "../prover/block/BlockProvable";
 export declare class NoopTransactionHook extends ProvableTransactionHook {
-    onTransaction(executionData: BlockProverExecutionData): void;
+    onTransaction(executionData: BlockProverExecutionData): Promise<void>;
 }
 //# sourceMappingURL=NoopTransactionHook.d.ts.map

package/dist/hooks/NoopTransactionHook.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"NoopTransactionHook.d.ts","sourceRoot":"","sources":["../../src/hooks/NoopTransactionHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,qBAAa,mBAAoB,SAAQ,uBAAuB;IACvD,aAAa,CAAC,aAAa,EAAE,wBAAwB,GAAG,IAAI;CACpE"}
+{"version":3,"file":"NoopTransactionHook.d.ts","sourceRoot":"","sources":["../../src/hooks/NoopTransactionHook.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AAEzE,qBAAa,mBAAoB,SAAQ,uBAAuB;IACjD,aAAa,CAAC,aAAa,EAAE,wBAAwB;CAGnE"}

package/dist/hooks/NoopTransactionHook.js

@@ -1,4 +1,7 @@
+import { noop } from "@proto-kit/common";
 import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
 export class NoopTransactionHook extends ProvableTransactionHook {
-    onTransaction(executionData) { }
+    async onTransaction(executionData) {
+        noop();
+    }
 }

package/dist/index.d.ts

@@ -1,6 +1,5 @@
 export * from "./hooks/AccountStateHook";
 export * from "./hooks/BlockHeightHook";
-export * from "./utils/ProvableHashList";
 export * from "./hooks/LastStateRootBlockHook";
 export * from "./model/StateTransition";
 export * from "./model/StateTransitionProvableBatch";
@@ -30,7 +29,6 @@ export * from "./protocol/ProtocolModule";
 export * from "./protocol/ProtocolEnvironment";
 export * from "./protocol/ProvableTransactionHook";
 export * from "./protocol/ProvableBlockHook";
-export * from "./state/context/ProtocolMethodExecutionContext";
 export * from "./state/context/TransitionMethodExecutionContext";
 export * from "./state/context/RuntimeMethodExecutionContext";
 export * from "./state/protocol/ProtocolState";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,0BAA0B,CAAC;AACzC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,yBAAyB,CAAC;AACxC,cAAc,sCAAsC,CAAC;AACrD,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uCAAuC,CAAC;AACtD,cAAc,wCAAwC,CAAC;AACvD,cAAc,iCAAiC,CAAC;AAChD,cAAc,4BAA4B,CAAC;AAC3C,cAAc,qBAAqB,CAAC;AACpC,cAAc,0BAA0B,CAAC;AACzC,cAAc,kCAAkC,CAAC;AACjD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,sCAAsC,CAAC;AACrD,cAAc,eAAe,CAAC;AAC9B,cAAc,4BAA4B,CAAC;AAC3C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,kDAAkD,CAAC;AACjE,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,yDAAyD,CAAC;AACxE,cAAc,kEAAkE,CAAC;AACjF,cAAc,qBAAqB,CAAC;AACpC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,oCAAoC,CAAC;AACnD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,+CAA+C,CAAC;AAC9D,cAAc,gCAAgC,CAAC;AAC/C,cAAc,eAAe,CAAC;AAC9B,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uBAAuB,CAAC;AACtC,cAAc,gDAAgD,CAAC;AAC/D,cAAc,yDAAyD,CAAC;AACxE,cAAc,8CAA8C,CAAC;AAC7D,cAAc,uDAAuD,CAAC;AACtE,cAAc,uCAAuC,CAAC;AACtD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,gDAAgD,CAAC;AAC/D,cAAc,+CAA+C,CAAC;AAC9D,cAAc,mDAAmD,CAAC;AAClE,cAAc,+BAA+B,CAAC;AAC9C,cAAc,kCAAkC,CAAC;AACjD,OAAO,EAAE,SAAS,IAAI,iBAAiB,EAAE,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,yBAAyB,CAAC;AACxC,cAAc,sCAAsC,CAAC;AACrD,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uCAAuC,CAAC;AACtD,cAAc,wCAAwC,CAAC;AACvD,cAAc,iCAAiC,CAAC;AAChD,cAAc,4BAA4B,CAAC;AAC3C,cAAc,qBAAqB,CAAC;AACpC,cAAc,0BAA0B,CAAC;AACzC,cAAc,kCAAkC,CAAC;AACjD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,sCAAsC,CAAC;AACrD,cAAc,eAAe,CAAC;AAC9B,cAAc,4BAA4B,CAAC;AAC3C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,kDAAkD,CAAC;AACjE,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,yDAAyD,CAAC;AACxE,cAAc,kEAAkE,CAAC;AACjF,cAAc,qBAAqB,CAAC;AACpC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,oCAAoC,CAAC;AACnD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,kDAAkD,CAAC;AACjE,cAAc,+CAA+C,CAAC;AAC9D,cAAc,gCAAgC,CAAC;AAC/C,cAAc,eAAe,CAAC;AAC9B,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uBAAuB,CAAC;AACtC,cAAc,gDAAgD,CAAC;AAC/D,cAAc,yDAAyD,CAAC;AACxE,cAAc,8CAA8C,CAAC;AAC7D,cAAc,uDAAuD,CAAC;AACtE,cAAc,uCAAuC,CAAC;AACtD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,gDAAgD,CAAC;AAC/D,cAAc,+CAA+C,CAAC;AAC9D,cAAc,mDAAmD,CAAC;AAClE,cAAc,+BAA+B,CAAC;AAC9C,cAAc,kCAAkC,CAAC;AACjD,OAAO,EAAE,SAAS,IAAI,iBAAiB,EAAE,MAAM,aAAa,CAAC"}

package/dist/index.js

@@ -1,6 +1,5 @@
 export * from "./hooks/AccountStateHook";
 export * from "./hooks/BlockHeightHook";
-export * from "./utils/ProvableHashList";
 export * from "./hooks/LastStateRootBlockHook";
 export * from "./model/StateTransition";
 export * from "./model/StateTransitionProvableBatch";
@@ -30,7 +29,6 @@ export * from "./protocol/ProtocolModule";
 export * from "./protocol/ProtocolEnvironment";
 export * from "./protocol/ProvableTransactionHook";
 export * from "./protocol/ProvableBlockHook";
-export * from "./state/context/ProtocolMethodExecutionContext";
 export * from "./state/context/TransitionMethodExecutionContext";
 export * from "./state/context/RuntimeMethodExecutionContext";
 export * from "./state/protocol/ProtocolState";

package/dist/model/MethodPublicOutput.d.ts

@@ -1,40 +1,67 @@
 declare const MethodPublicOutput_base: (new (value: {
-    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
-    status: import("o1js/dist/node/lib/bool").Bool;
-    transactionHash: import("o1js/dist/node/lib/field").Field;
-    networkStateHash: import("o1js/dist/node/lib/field").Field;
-    isMessage: import("o1js/dist/node/lib/bool").Bool;
+    stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    status: import("o1js/dist/node/lib/provable/bool").Bool;
+    transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
 }) => {
-    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
-    status: import("o1js/dist/node/lib/bool").Bool;
-    transactionHash: import("o1js/dist/node/lib/field").Field;
-    networkStateHash: import("o1js/dist/node/lib/field").Field;
-    isMessage: import("o1js/dist/node/lib/bool").Bool;
+    stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    status: import("o1js/dist/node/lib/provable/bool").Bool;
+    transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
 }) & {
     _isStruct: true;
-} & import("o1js/dist/node/snarky").ProvablePure<{
-    stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
-    status: import("o1js/dist/node/lib/bool").Bool;
-    transactionHash: import("o1js/dist/node/lib/field").Field;
-    networkStateHash: import("o1js/dist/node/lib/field").Field;
-    isMessage: import("o1js/dist/node/lib/bool").Bool;
-}> & {
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    status: import("o1js/dist/node/lib/provable/bool").Bool;
+    transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+}, {
+    stateTransitionsHash: bigint;
+    status: boolean;
+    transactionHash: bigint;
+    networkStateHash: bigint;
+    isMessage: boolean;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+} & {
+    fromValue: (value: {
+        stateTransitionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        status: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+    }) => {
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
     toInput: (x: {
-        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
-        status: import("o1js/dist/node/lib/bool").Bool;
-        transactionHash: import("o1js/dist/node/lib/field").Field;
-        networkStateHash: import("o1js/dist/node/lib/field").Field;
-        isMessage: import("o1js/dist/node/lib/bool").Bool;
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
     }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/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: {
-        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
-        status: import("o1js/dist/node/lib/bool").Bool;
-        transactionHash: import("o1js/dist/node/lib/field").Field;
-        networkStateHash: import("o1js/dist/node/lib/field").Field;
-        isMessage: import("o1js/dist/node/lib/bool").Bool;
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
     }) => {
         stateTransitionsHash: string;
         status: boolean;
@@ -49,11 +76,18 @@ declare const MethodPublicOutput_base: (new (value: {
         networkStateHash: string;
         isMessage: boolean;
     }) => {
-        stateTransitionsHash: import("o1js/dist/node/lib/field").Field;
-        status: import("o1js/dist/node/lib/bool").Bool;
-        transactionHash: import("o1js/dist/node/lib/field").Field;
-        networkStateHash: import("o1js/dist/node/lib/field").Field;
-        isMessage: import("o1js/dist/node/lib/bool").Bool;
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+    empty: () => {
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
     };
 };
 /**

package/dist/model/MethodPublicOutput.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"MethodPublicOutput.d.ts","sourceRoot":"","sources":["../../src/model/MethodPublicOutput.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,uBAMtC;CAAG"}
+{"version":3,"file":"MethodPublicOutput.d.ts","sourceRoot":"","sources":["../../src/model/MethodPublicOutput.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,uBAMtC;CAAG"}