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

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

@@ -1 +1 @@
-{"version":3,"file":"AccountStateModule.d.ts","sourceRoot":"","sources":["../../src/blockmodules/AccountStateModule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;AAEjD,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,qBAAa,kBAAmB,SAAQ,uBAAuB;IACrC,YAAY,oCAGlC;IAEK,aAAa,CAAC,EAAE,WAAW,EAAE,EAAE,wBAAwB,GAAG,IAAI;CActE"}
+{"version":3,"file":"AccountStateModule.d.ts","sourceRoot":"","sources":["../../src/blockmodules/AccountStateModule.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;;;;;;;;;;;;;;;;;;;;;;;;;;;AAG9E,qBAAa,YAAa,SAAQ,iBAEhC;CAAG;AAEL,qBAAa,kBAAmB,SAAQ,uBAAuB;IACrC,YAAY,oCAGlC;IAEK,aAAa,CAAC,EAAE,WAAW,EAAE,EAAE,wBAAwB,GAAG,IAAI;CAyBtE"}

package/dist/blockmodules/AccountStateModule.js

@@ -22,12 +22,19 @@ export class AccountStateModule extends ProvableTransactionHook {
         this.accountState = StateMap.from(PublicKey, AccountState);
     }
     onTransaction({ transaction }) {
+        const sender = transaction.sender.value;
         const accountState = this.accountState
-            .get(transaction.sender)
+            .get(sender)
             .orElse(new AccountState({ nonce: UInt64.zero }));
         const currentNonce = accountState.nonce;
-        assert(currentNonce.equals(transaction.nonce), "Nonce not matching");
-        this.accountState.set(transaction.sender, new AccountState({ nonce: currentNonce.add(1) }));
+        // 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");
+        // 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 }));
     }
 }
 __decorate([

package/dist/blockmodules/BlockHeightHook.d.ts

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

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

@@ -1 +1 @@
-{"version":3,"file":"BlockHeightHook.d.ts","sourceRoot":"","sources":["../../src/blockmodules/BlockHeightHook.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,EAClB,MAAM,+BAA+B,CAAC;AAEvC,qBAAa,eAAgB,SAAQ,iBAAiB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACpE,UAAU,CAAC,EAAE,YAAY,EAAE,EAAE,oBAAoB,GAAG,YAAY;IAQhE,WAAW,CAAC,SAAS,EAAE,qBAAqB,GAAG,YAAY;CAGnE"}
+{"version":3,"file":"BlockHeightHook.d.ts","sourceRoot":"","sources":["../../src/blockmodules/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"}

package/dist/blockmodules/BlockHeightHook.js

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

package/dist/blockmodules/LastStateRootBlockHook.d.ts

@@ -0,0 +1,8 @@
+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;
+}
+//# sourceMappingURL=LastStateRootBlockHook.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"LastStateRootBlockHook.d.ts","sourceRoot":"","sources":["../../src/blockmodules/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"}

package/dist/blockmodules/LastStateRootBlockHook.js

@@ -0,0 +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;
+    }
+}

package/dist/blockmodules/NoopBlockHook.d.ts

@@ -1,7 +1,9 @@
-import { AfterBlockParameters, BeforeBlockParameters, ProvableBlockHook } from "../protocol/ProvableBlockHook";
+import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
 import { NetworkState } from "../model/network/NetworkState";
-export declare class NoopBlockHook extends ProvableBlockHook<Record<string, never>> {
-    afterBlock(blockData: AfterBlockParameters): NetworkState;
-    beforeBlock(blockData: BeforeBlockParameters): 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.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"NoopBlockHook.d.ts","sourceRoot":"","sources":["../../src/blockmodules/NoopBlockHook.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,EAClB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAE7D,qBAAa,aAAc,SAAQ,iBAAiB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAClE,UAAU,CAAC,SAAS,EAAE,oBAAoB,GAAG,YAAY;IAIzD,WAAW,CAAC,SAAS,EAAE,qBAAqB,GAAG,YAAY;CAGnE"}
+{"version":3,"file":"NoopBlockHook.d.ts","sourceRoot":"","sources":["../../src/blockmodules/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"}

package/dist/blockmodules/NoopBlockHook.js

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

package/dist/blockmodules/NoopSettlementHook.d.ts

@@ -0,0 +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;
+}
+//# sourceMappingURL=NoopSettlementHook.d.ts.map

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

@@ -0,0 +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"}

package/dist/blockmodules/NoopSettlementHook.js

@@ -0,0 +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 };

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,EAAE,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;AAEjD,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,qBAAa,gBAAiB,SAAQ,uBAAuB;IACnC,YAAY,oCAGlC;IAEK,aAAa,CAAC,EAAE,WAAW,EAAE,EAAE,wBAAwB,GAAG,IAAI;CActE"}
+{"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"}

package/dist/hooks/AccountStateHook.js

@@ -12,25 +12,37 @@ 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,
 }) {
 }
-export class AccountStateHook extends ProvableTransactionHook {
+let AccountStateHook = class AccountStateHook extends ProvableTransactionHook {
     constructor() {
         super(...arguments);
         this.accountState = StateMap.from(PublicKey, AccountState);
     }
     onTransaction({ transaction }) {
+        const sender = transaction.sender.value;
         const accountState = this.accountState
-            .get(transaction.sender)
+            .get(sender)
             .orElse(new AccountState({ nonce: UInt64.zero }));
         const currentNonce = accountState.nonce;
-        assert(currentNonce.equals(transaction.nonce), "Nonce not matching");
-        this.accountState.set(transaction.sender, new AccountState({ nonce: currentNonce.add(1) }));
+        // 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");
+        // 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 }));
     }
-}
+};
 __decorate([
     protocolState(),
     __metadata("design:type", Object)
 ], AccountStateHook.prototype, "accountState", void 0);
+AccountStateHook = __decorate([
+    injectable()
+], AccountStateHook);
+export { AccountStateHook };

package/dist/hooks/BlockHeightHook.d.ts

@@ -1,7 +1,7 @@
 import { NetworkState } from "../model/network/NetworkState";
-import { AfterBlockParameters, BeforeBlockParameters, ProvableBlockHook } from "../protocol/ProvableBlockHook";
+import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
 export declare class BlockHeightHook extends ProvableBlockHook<Record<string, never>> {
-    afterBlock({ networkState }: AfterBlockParameters): NetworkState;
-    beforeBlock(blockData: BeforeBlockParameters): NetworkState;
+    afterBlock(networkState: NetworkState): NetworkState;
+    beforeBlock(networkState: NetworkState): 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":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,EAClB,MAAM,+BAA+B,CAAC;AAEvC,qBAAa,eAAgB,SAAQ,iBAAiB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACpE,UAAU,CAAC,EAAE,YAAY,EAAE,EAAE,oBAAoB,GAAG,YAAY;IAQhE,WAAW,CAAC,SAAS,EAAE,qBAAqB,GAAG,YAAY;CAGnE"}
+{"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"}

package/dist/hooks/BlockHeightHook.js

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

package/dist/hooks/LastStateRootBlockHook.d.ts

@@ -0,0 +1,8 @@
+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;
+}
+//# sourceMappingURL=LastStateRootBlockHook.d.ts.map

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

@@ -0,0 +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"}

package/dist/hooks/LastStateRootBlockHook.js

@@ -0,0 +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;
+    }
+}

package/dist/hooks/NoopBlockHook.d.ts

@@ -1,7 +1,9 @@
-import { AfterBlockParameters, BeforeBlockParameters, ProvableBlockHook } from "../protocol/ProvableBlockHook";
+import { ProvableBlockHook } from "../protocol/ProvableBlockHook";
 import { NetworkState } from "../model/network/NetworkState";
-export declare class NoopBlockHook extends ProvableBlockHook<Record<string, never>> {
-    afterBlock(blockData: AfterBlockParameters): NetworkState;
-    beforeBlock(blockData: BeforeBlockParameters): 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/hooks/NoopBlockHook.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"NoopBlockHook.d.ts","sourceRoot":"","sources":["../../src/hooks/NoopBlockHook.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,iBAAiB,EAClB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAE7D,qBAAa,aAAc,SAAQ,iBAAiB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAClE,UAAU,CAAC,SAAS,EAAE,oBAAoB,GAAG,YAAY;IAIzD,WAAW,CAAC,SAAS,EAAE,qBAAqB,GAAG,YAAY;CAGnE"}
+{"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"}

package/dist/hooks/NoopBlockHook.js

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

package/dist/hooks/NoopSettlementHook.d.ts

@@ -0,0 +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;
+}
+//# sourceMappingURL=NoopSettlementHook.d.ts.map

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

@@ -0,0 +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"}

package/dist/hooks/NoopSettlementHook.js

@@ -0,0 +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/modularity/ProvableSettlementHook";
+let NoopSettlementHook = class NoopSettlementHook extends ProvableSettlementHook {
+    beforeSettlement(contract, state) {
+        noop();
+    }
+};
+NoopSettlementHook = __decorate([
+    injectable()
+], NoopSettlementHook);
+export { NoopSettlementHook };

package/dist/index.d.ts

@@ -1,22 +1,29 @@
-export * from "./blockmodules/AccountStateModule";
-export * from "./blockmodules/BlockHeightHook";
+export * from "./hooks/AccountStateHook";
+export * from "./hooks/BlockHeightHook";
 export * from "./utils/ProvableHashList";
+export * from "./hooks/LastStateRootBlockHook";
 export * from "./model/StateTransition";
 export * from "./model/StateTransitionProvableBatch";
 export * from "./model/Option";
 export * from "./model/Path";
 export * from "./model/network/NetworkState";
-export * from "./model/transaction/ProtocolTransaction";
+export * from "./model/transaction/SignedTransaction";
 export * from "./model/transaction/RuntimeTransaction";
-export * from "./utils/PrefixedProvableHashList.js";
+export * from "./model/transaction/ValueOption";
+export * from "./model/MethodPublicOutput";
+export * from "./model/RuntimeLike";
+export * from "./utils/ProvableHashList";
+export * from "./utils/PrefixedProvableHashList";
+export * from "./utils/MinaPrefixedProvableHashList";
+export * from "./utils/ProvableReductionHashList";
+export * from "./utils/StateTransitionReductionList";
 export * from "./utils/utils";
 export * from "./prover/block/BlockProver";
 export * from "./prover/block/BlockProvable";
-export * from "./prover/block/BlockTransactionPosition";
+export * from "./prover/block/accummulators/BlockHashMerkleTree";
 export * from "./prover/statetransition/StateTransitionProver";
 export * from "./prover/statetransition/StateTransitionProvable";
 export * from "./prover/statetransition/StateTransitionWitnessProvider";
-export * from "./model/MethodPublicOutput";
 export * from "./prover/statetransition/StateTransitionWitnessProviderReference";
 export * from "./protocol/Protocol";
 export * from "./protocol/ProtocolModule";
@@ -32,5 +39,16 @@ export * from "./state/StateMap";
 export * from "./state/StateService";
 export * from "./state/StateServiceProvider";
 export * from "./state/assert/assert";
+export * from "./settlement/contracts/SettlementSmartContract";
+export * from "./settlement/contracts/SettlementContractProtocolModule";
+export * from "./settlement/contracts/DispatchSmartContract";
+export * from "./settlement/contracts/DispatchContractProtocolModule";
+export * from "./settlement/SettlementContractModule";
+export * from "./settlement/ContractModule";
+export * from "./settlement/modularity/ProvableSettlementHook";
+export * from "./settlement/messages/OutgoingMessageArgument";
+export * from "./settlement/modules/NetworkStateSettlementModule";
+export * from "./settlement/messages/Deposit";
+export * from "./settlement/messages/Withdrawal";
 export { constants as ProtocolConstants } from "./Constants";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,mCAAmC,CAAC;AAClD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,sCAAsC,CAAC;AACrD,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,8BAA8B,CAAC;AAC7C,cAAc,yCAAyC,CAAC;AACxD,cAAc,wCAAwC,CAAC;AACvD,cAAc,qCAAqC,CAAC;AACpD,cAAc,eAAe,CAAC;AAC9B,cAAc,4BAA4B,CAAC;AAC3C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,yCAAyC,CAAC;AACxD,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,yDAAyD,CAAC;AACxE,cAAc,4BAA4B,CAAC;AAC3C,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,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,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"}

package/dist/index.js

@@ -1,22 +1,29 @@
-export * from "./blockmodules/AccountStateModule";
-export * from "./blockmodules/BlockHeightHook";
+export * from "./hooks/AccountStateHook";
+export * from "./hooks/BlockHeightHook";
 export * from "./utils/ProvableHashList";
+export * from "./hooks/LastStateRootBlockHook";
 export * from "./model/StateTransition";
 export * from "./model/StateTransitionProvableBatch";
 export * from "./model/Option";
 export * from "./model/Path";
 export * from "./model/network/NetworkState";
-export * from "./model/transaction/ProtocolTransaction";
+export * from "./model/transaction/SignedTransaction";
 export * from "./model/transaction/RuntimeTransaction";
-export * from "./utils/PrefixedProvableHashList.js";
+export * from "./model/transaction/ValueOption";
+export * from "./model/MethodPublicOutput";
+export * from "./model/RuntimeLike";
+export * from "./utils/ProvableHashList";
+export * from "./utils/PrefixedProvableHashList";
+export * from "./utils/MinaPrefixedProvableHashList";
+export * from "./utils/ProvableReductionHashList";
+export * from "./utils/StateTransitionReductionList";
 export * from "./utils/utils";
 export * from "./prover/block/BlockProver";
 export * from "./prover/block/BlockProvable";
-export * from "./prover/block/BlockTransactionPosition";
+export * from "./prover/block/accummulators/BlockHashMerkleTree";
 export * from "./prover/statetransition/StateTransitionProver";
 export * from "./prover/statetransition/StateTransitionProvable";
 export * from "./prover/statetransition/StateTransitionWitnessProvider";
-export * from "./model/MethodPublicOutput";
 export * from "./prover/statetransition/StateTransitionWitnessProviderReference";
 export * from "./protocol/Protocol";
 export * from "./protocol/ProtocolModule";
@@ -32,4 +39,15 @@ export * from "./state/StateMap";
 export * from "./state/StateService";
 export * from "./state/StateServiceProvider";
 export * from "./state/assert/assert";
+export * from "./settlement/contracts/SettlementSmartContract";
+export * from "./settlement/contracts/SettlementContractProtocolModule";
+export * from "./settlement/contracts/DispatchSmartContract";
+export * from "./settlement/contracts/DispatchContractProtocolModule";
+export * from "./settlement/SettlementContractModule";
+export * from "./settlement/ContractModule";
+export * from "./settlement/modularity/ProvableSettlementHook";
+export * from "./settlement/messages/OutgoingMessageArgument";
+export * from "./settlement/modules/NetworkStateSettlementModule";
+export * from "./settlement/messages/Deposit";
+export * from "./settlement/messages/Withdrawal";
 export { constants as ProtocolConstants } from "./Constants";

package/dist/model/MethodPublicOutput.d.ts

@@ -3,11 +3,13 @@ declare const MethodPublicOutput_base: (new (value: {
     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/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;
 }) & {
     _isStruct: true;
 } & import("o1js/dist/node/snarky").ProvablePure<{
@@ -15,12 +17,14 @@ declare const MethodPublicOutput_base: (new (value: {
     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;
 }> & {
     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;
     }) => {
         fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
         packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
@@ -30,22 +34,26 @@ declare const MethodPublicOutput_base: (new (value: {
         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: string;
         status: boolean;
         transactionHash: string;
         networkStateHash: string;
+        isMessage: boolean;
     };
     fromJSON: (x: {
         stateTransitionsHash: string;
         status: boolean;
         transactionHash: string;
         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;
     };
 };
 /**

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,uBAKtC;CAAG"}
+{"version":3,"file":"MethodPublicOutput.d.ts","sourceRoot":"","sources":["../../src/model/MethodPublicOutput.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,uBAMtC;CAAG"}

package/dist/model/MethodPublicOutput.js

@@ -8,5 +8,6 @@ export class MethodPublicOutput extends Struct({
     status: Bool,
     transactionHash: Field,
     networkStateHash: Field,
+    isMessage: Bool,
 }) {
 }

package/dist/model/Option.d.ts

@@ -1,4 +1,4 @@
-import { Bool, Field, type FlexibleProvablePure } from "o1js";
+import { Bool, Field, type FlexibleProvablePure, ProvablePure } from "o1js";
 declare const ProvableOption_base: (new (value: {
     isSome: import("o1js/dist/node/lib/bool").Bool;
     value: import("o1js/dist/node/lib/field").Field;
@@ -7,7 +7,7 @@ declare const ProvableOption_base: (new (value: {
     value: import("o1js/dist/node/lib/field").Field;
 }) & {
     _isStruct: true;
-} & import("o1js/dist/node/snarky").ProvablePure<{
+} & ProvablePure<{
     isSome: import("o1js/dist/node/lib/bool").Bool;
     value: import("o1js/dist/node/lib/field").Field;
 }> & {
@@ -97,6 +97,7 @@ export declare class Option<Value> extends OptionBase {
      * otherwise returns the given defaultValue
      */
     orElse(defaultValue: Value): Value;
+    toConstant(): Option<Value>;
 }
 export {};
 //# sourceMappingURL=Option.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../src/model/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,KAAK,EACL,KAAK,oBAAoB,EAI1B,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEd,qBAAa,cAAe,SAAQ,mBAGlC;IACO,MAAM;CAId;AAED,8BAAsB,UAAU;IACD,MAAM,EAAE,IAAI;IAAS,YAAY,EAAE,IAAI;IAApE,SAAS,aAAoB,MAAM,EAAE,IAAI,EAAS,YAAY,EAAE,IAAI;IAEpE,SAAS,CAAC,QAAQ,CAAC,mBAAmB,IAAI,KAAK,EAAE;IAEjD,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,UAAU;IAEtC;;OAEG;IACH,IAAW,SAAS,6CAQnB;IAEM,SAAS;IAKhB;;;OAGG;IACI,QAAQ,IAAI,KAAK,EAAE;IAO1B;;OAEG;IACI,UAAU;IAOV,MAAM;;;;;CASd;AAED;;GAEG;AACH,qBAAa,MAAM,CAAC,KAAK,CAAE,SAAQ,UAAU;IAwClC,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAxC/C;;;;;;;OAOG;WACW,IAAI,CAAC,KAAK,EACtB,MAAM,EAAE,IAAI,EACZ,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAKxC;;;;;;OAMG;WACW,SAAS,CAAC,KAAK,EAC3B,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAKxC;;OAEG;WACW,IAAI;gBAKhB,MAAM,EAAE,IAAI,EACL,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,EAC7C,YAAY,yCAAc;IAKrB,mBAAmB,IAAI,KAAK,EAAE;IAI9B,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;IAS7B;;;OAGG;IACI,MAAM,CAAC,YAAY,EAAE,KAAK,GAAG,KAAK;CAQ1C"}
+{"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../src/model/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,KAAK,EACL,KAAK,oBAAoB,EAGzB,YAAY,EAEb,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEd,qBAAa,cAAe,SAAQ,mBAGlC;IACO,MAAM;CAId;AAED,8BAAsB,UAAU;IACD,MAAM,EAAE,IAAI;IAAS,YAAY,EAAE,IAAI;IAApE,SAAS,aAAoB,MAAM,EAAE,IAAI,EAAS,YAAY,EAAE,IAAI;IAEpE,SAAS,CAAC,QAAQ,CAAC,mBAAmB,IAAI,KAAK,EAAE;IAEjD,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,UAAU;IAEtC;;OAEG;IACH,IAAW,SAAS,6CAQnB;IAEM,SAAS;IAKhB;;;OAGG;IACI,QAAQ,IAAI,KAAK,EAAE;IAO1B;;OAEG;IACI,UAAU;IAOV,MAAM;;;;;CASd;AAED;;GAEG;AACH,qBAAa,MAAM,CAAC,KAAK,CAAE,SAAQ,UAAU;IAwClC,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAxC/C;;;;;;;OAOG;WACW,IAAI,CAAC,KAAK,EACtB,MAAM,EAAE,IAAI,EACZ,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAKxC;;;;;;OAMG;WACW,SAAS,CAAC,KAAK,EAC3B,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAKxC;;OAEG;WACW,IAAI;gBAKhB,MAAM,EAAE,IAAI,EACL,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,EAC7C,YAAY,yCAAc;IAKrB,mBAAmB,IAAI,KAAK,EAAE;IAI9B,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;IAS7B;;;OAGG;IACI,MAAM,CAAC,YAAY,EAAE,KAAK,GAAG,KAAK;IASlC,UAAU;CAclB"}

package/dist/model/Option.js

@@ -101,4 +101,9 @@ export class Option extends OptionBase {
     orElse(defaultValue) {
         return Provable.if(this.isSome, this.valueType, this.value, defaultValue);
     }
+    toConstant() {
+        const valueConstant = this.valueType.fromFields(this.valueType.toFields(this.value).map((field) => field.toConstant()));
+        const boolConstant = (bool) => Bool.fromFields([bool.toField().toConstant()]);
+        return new Option(boolConstant(this.isSome), valueConstant, this.valueType, boolConstant(this.isForcedSome));
+    }
 }

package/dist/model/RuntimeLike.d.ts

@@ -0,0 +1,11 @@
+export type RuntimeMethodInvocationType = "INCOMING_MESSAGE" | "SIGNATURE";
+export type RuntimeMethodIdMapping = Record<`${string}.${string}`, {
+    methodId: bigint;
+    type: RuntimeMethodInvocationType;
+}>;
+export interface RuntimeLike {
+    get methodIdResolver(): {
+        methodIdMap: () => RuntimeMethodIdMapping;
+    };
+}
+//# sourceMappingURL=RuntimeLike.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"RuntimeLike.d.ts","sourceRoot":"","sources":["../../src/model/RuntimeLike.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,2BAA2B,GAAG,kBAAkB,GAAG,WAAW,CAAC;AAE3E,MAAM,MAAM,sBAAsB,GAAG,MAAM,CACzC,GAAG,MAAM,IAAI,MAAM,EAAE,EACrB;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,2BAA2B,CAAA;CAAE,CACxD,CAAC;AAEF,MAAM,WAAW,WAAW;IAC1B,IAAI,gBAAgB,IAAI;QACtB,WAAW,EAAE,MAAM,sBAAsB,CAAC;KAC3C,CAAC;CACH"}

package/dist/model/RuntimeLike.js

@@ -0,0 +1 @@
+export {};