@proto-kit/protocol 0.1.1-develop.211 → 0.1.1-develop.2137

package/dist/Constants.js

@@ -1,3 +1,4 @@
 export const constants = {
     stateTransitionProverBatchSize: 4,
 };
+//# sourceMappingURL=Constants.js.map

package/dist/Constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Constants.js","sourceRoot":"","sources":["../src/Constants.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,8BAA8B,EAAE,CAAC;CAClC,CAAC"}

package/dist/hashing/mina-prefixes.d.ts

@@ -0,0 +1,10 @@
+export declare const MINA_PREFIXES: {
+    readonly event: "MinaZkappEvent******";
+    readonly events: "MinaZkappEvents*****";
+    readonly sequenceEvents: "MinaZkappSeqEvents**";
+};
+export declare const MINA_SALTS: {
+    empty_actions: string;
+    empty_events: string;
+};
+//# sourceMappingURL=mina-prefixes.d.ts.map

package/dist/hashing/mina-prefixes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mina-prefixes.d.ts","sourceRoot":"","sources":["../../src/hashing/mina-prefixes.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,aAAa;;;;CAIhB,CAAC;AAEX,eAAO,MAAM,UAAU;;;CAGtB,CAAC"}

package/dist/hashing/mina-prefixes.js

@@ -0,0 +1,10 @@
+export const MINA_PREFIXES = {
+    event: "MinaZkappEvent******",
+    events: "MinaZkappEvents*****",
+    sequenceEvents: "MinaZkappSeqEvents**",
+};
+export const MINA_SALTS = {
+    empty_actions: "MinaZkappActionsEmpty",
+    empty_events: "MinaZkappEventsEmpty",
+};
+//# sourceMappingURL=mina-prefixes.js.map

package/dist/hashing/mina-prefixes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mina-prefixes.js","sourceRoot":"","sources":["../../src/hashing/mina-prefixes.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,KAAK,EAAE,sBAAsB;IAC7B,MAAM,EAAE,sBAAsB;IAC9B,cAAc,EAAE,sBAAsB;CAC9B,CAAC;AAEX,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,aAAa,EAAE,uBAAuB;IACtC,YAAY,EAAE,sBAAsB;CACrC,CAAC"}

package/dist/hashing/protokit-prefixes.d.ts

@@ -0,0 +1,10 @@
+export declare const PROTOKIT_PREFIXES: {
+    STATE_PROTOCOL: string;
+    STATE_RUNTIME: string;
+};
+export declare const PROTOKIT_FIELD_PREFIXES: {
+    OUTGOING_MESSAGE_BASE_PATH: import("o1js/dist/node/lib/provable/field").Field;
+    OUTGOING_MESSAGE_COUNTER_PATH: import("o1js/dist/node/lib/provable/field").Field;
+    OUTGOING_MESSAGE_DUMMY_TYPE: import("o1js/dist/node/lib/provable/field").Field;
+};
+//# sourceMappingURL=protokit-prefixes.d.ts.map

package/dist/hashing/protokit-prefixes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"protokit-prefixes.d.ts","sourceRoot":"","sources":["../../src/hashing/protokit-prefixes.ts"],"names":[],"mappings":"AAqBA,eAAO,MAAM,iBAAiB;;;CAG5B,CAAC;AAEH,eAAO,MAAM,uBAAuB;;;;CAUnC,CAAC"}

package/dist/hashing/protokit-prefixes.js

@@ -0,0 +1,24 @@
+import padEnd from "lodash/padEnd";
+import mapValues from "lodash/mapValues";
+import { Field } from "o1js";
+import { prefixToField } from "@proto-kit/common";
+const length = 20;
+function padToHashPrefix(s) {
+    if (s.length > 20) {
+        throw new Error(`Prefix string ${s} is too long (max ${length})`);
+    }
+    return padEnd(s, length, "*");
+}
+function padPrefixRecord(record) {
+    return mapValues(record, padToHashPrefix);
+}
+export const PROTOKIT_PREFIXES = padPrefixRecord({
+    STATE_PROTOCOL: "pk-protocol-state",
+    STATE_RUNTIME: "pk-runtime-state",
+});
+export const PROTOKIT_FIELD_PREFIXES = {
+    OUTGOING_MESSAGE_BASE_PATH: prefixToField(padToHashPrefix("message-base-path")),
+    OUTGOING_MESSAGE_COUNTER_PATH: prefixToField(padToHashPrefix("message-base-path")),
+    OUTGOING_MESSAGE_DUMMY_TYPE: Field(prefixToField(padToHashPrefix("OUT_MSG_DUMMY_TYPE"))),
+};
+//# sourceMappingURL=protokit-prefixes.js.map

package/dist/hashing/protokit-prefixes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protokit-prefixes.js","sourceRoot":"","sources":["../../src/hashing/protokit-prefixes.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,eAAe,CAAC;AACnC,OAAO,SAAS,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,MAAM,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAElD,MAAM,MAAM,GAAG,EAAE,CAAC;AAClB,SAAS,eAAe,CAAC,CAAS;IAChC,IAAI,CAAC,CAAC,MAAM,GAAG,EAAE,EAAE;QACjB,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,qBAAqB,MAAM,GAAG,CAAC,CAAC;KACnE;IACD,OAAO,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,eAAe,CACtB,MAAS;IAIT,OAAO,SAAS,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,eAAe,CAAC;IAC/C,cAAc,EAAE,mBAAmB;IACnC,aAAa,EAAE,kBAAkB;CAClC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,0BAA0B,EAAE,aAAa,CACvC,eAAe,CAAC,mBAAmB,CAAC,CACrC;IACD,6BAA6B,EAAE,aAAa,CAC1C,eAAe,CAAC,mBAAmB,CAAC,CACrC;IACD,2BAA2B,EAAE,KAAK,CAChC,aAAa,CAAC,eAAe,CAAC,oBAAoB,CAAC,CAAC,CACrD;CACF,CAAC"}

package/dist/hooks/AccountStateHook.d.ts

@@ -0,0 +1,56 @@
+import { PublicKey, UInt64 } from "o1js";
+import { StateMap } from "../state/StateMap";
+import { ProvableTransactionHook, BeforeTransactionHookArguments } from "../protocol/ProvableTransactionHook";
+declare const AccountState_base: (new (value: {
+    nonce: UInt64;
+}) => {
+    nonce: UInt64;
+}) & {
+    _isStruct: true;
+} & 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: number | bigint | UInt64;
+    }) => {
+        nonce: UInt64;
+    };
+    toInput: (x: {
+        nonce: UInt64;
+    }) => {
+        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;
+    }) => {
+        nonce: string;
+    };
+    fromJSON: (x: {
+        nonce: string;
+    }) => {
+        nonce: UInt64;
+    };
+    empty: () => {
+        nonce: UInt64;
+    };
+};
+export declare class AccountState extends AccountState_base {
+}
+export type AccountStateHookConfig = {
+    maximumNonceLookahead?: number;
+};
+export declare class AccountStateHook extends ProvableTransactionHook<AccountStateHookConfig> {
+    accountState: StateMap<PublicKey, AccountState>;
+    beforeTransaction({ transaction: { transaction }, }: BeforeTransactionHookArguments): Promise<void>;
+    afterTransaction(): Promise<void>;
+    removeTransactionWhen({ transaction: { transaction }, }: BeforeTransactionHookArguments): Promise<boolean>;
+}
+export {};
+//# sourceMappingURL=AccountStateHook.d.ts.map

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

@@ -0,0 +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;AAIjD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EACL,uBAAuB,EACvB,8BAA8B,EAC/B,MAAM,qCAAqC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAG7C,qBAAa,YAAa,SAAQ,iBAEhC;CAAG;AAEL,MAAM,MAAM,sBAAsB,GAAG;IACnC,qBAAqB,CAAC,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,qBACa,gBAAiB,SAAQ,uBAAuB,CAAC,sBAAsB,CAAC;IACnE,YAAY,oCAG1B;IAEW,iBAAiB,CAAC,EAC7B,WAAW,EAAE,EAAE,WAAW,EAAE,GAC7B,EAAE,8BAA8B;IA4BpB,gBAAgB;IAKhB,qBAAqB,CAAC,EACjC,WAAW,EAAE,EAAE,WAAW,EAAE,GAC7B,EAAE,8BAA8B,GAAG,OAAO,CAAC,OAAO,CAAC;CAerD"}

package/dist/hooks/AccountStateHook.js

@@ -0,0 +1,62 @@
+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);
+};
+import { PublicKey, Struct, UInt64 } from "o1js";
+import { injectable } from "tsyringe";
+import { noop } from "@proto-kit/common";
+import { StateMap } from "../state/StateMap";
+import { state } from "../state/protocol/ProtocolState";
+import { ProvableTransactionHook, } from "../protocol/ProvableTransactionHook";
+import { assert } from "../state/assert/assert";
+export class AccountState extends Struct({
+    nonce: UInt64,
+}) {
+}
+export let AccountStateHook = class AccountStateHook extends ProvableTransactionHook {
+    constructor() {
+        super(...arguments);
+        this.accountState = StateMap.from(PublicKey, AccountState);
+    }
+    async beforeTransaction({ transaction: { transaction }, }) {
+        const sender = transaction.sender.value;
+        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: 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
+        // 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 }));
+    }
+    async afterTransaction() {
+        noop();
+    }
+    // Under these conditions we want the tx removed from the mempool.
+    async removeTransactionWhen({ transaction: { transaction }, }) {
+        const sender = transaction.sender.value;
+        const aso = await this.accountState.get(sender);
+        const accountState = aso.orElse(new AccountState({ nonce: UInt64.zero }));
+        const currentNonce = accountState.nonce;
+        const exceedsMaximumLookahead = transaction.nonce.value.greaterThan(currentNonce.add(this.config.maximumNonceLookahead ?? 10));
+        const nonceIsInPast = transaction.nonce.value.lessThan(currentNonce);
+        return nonceIsInPast.or(exceedsMaximumLookahead).toBoolean();
+    }
+};
+__decorate([
+    state(),
+    __metadata("design:type", Object)
+], AccountStateHook.prototype, "accountState", void 0);
+AccountStateHook = __decorate([
+    injectable()
+], AccountStateHook);
+//# sourceMappingURL=AccountStateHook.js.map

package/dist/hooks/AccountStateHook.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AccountStateHook.js","sourceRoot":"","sources":["../../src/hooks/AccountStateHook.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,iCAAiC,CAAC;AACxD,OAAO,EACL,uBAAuB,GAExB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAEhD,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC;IACvC,KAAK,EAAE,MAAM;CACd,CAAC;CAAG;AAOE,WAAM,gBAAgB,GAAtB,MAAM,gBAAiB,SAAQ,uBAA+C;IAA9E;;QACW,iBAAY,GAAG,QAAQ,CAAC,IAAI,CAC1C,SAAS,EACT,YAAY,CACb,CAAC;IAsDJ,CAAC;IApDQ,KAAK,CAAC,iBAAiB,CAAC,EAC7B,WAAW,EAAE,EAAE,WAAW,EAAE,GACG;QAC/B,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC;QAExC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAEhD,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAE1E,MAAM,YAAY,GAAG,YAAY,CAAC,KAAK,CAAC;QAExC,+EAA+E;QAC/E,MAAM,CACJ,YAAY;aACT,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;aAC/B,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EACtC,GAAG,EAAE,CACH,+BAA+B,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,sBAAsB,YAAY,CAAC,QAAQ,EAAE,EAAE,CACnH,CAAC;QAEF,kFAAkF;QAClF,gCAAgC;QAChC,sFAAsF;QACtF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CACtC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CACnE,CAAC;QAEF,MAAM,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,YAAY,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IAC7E,CAAC;IAEM,KAAK,CAAC,gBAAgB;QAC3B,IAAI,EAAE,CAAC;IACT,CAAC;IAED,kEAAkE;IAC3D,KAAK,CAAC,qBAAqB,CAAC,EACjC,WAAW,EAAE,EAAE,WAAW,EAAE,GACG;QAC/B,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC;QAExC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAEhD,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAE1E,MAAM,YAAY,GAAG,YAAY,CAAC,KAAK,CAAC;QAExC,MAAM,uBAAuB,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CACjE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,qBAAqB,IAAI,EAAE,CAAC,CAC1D,CAAC;QACF,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QACrE,OAAO,aAAa,CAAC,EAAE,CAAC,uBAAuB,CAAC,CAAC,SAAS,EAAE,CAAC;IAC/D,CAAC;CACF,CAAA;AAzDiB;IAAf,KAAK,EAAE;;sDAGN;AAJS,gBAAgB;IAD5B,UAAU,EAAE;GACA,gBAAgB,CA0D5B"}

package/dist/hooks/BlockHeightHook.d.ts

@@ -0,0 +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): Promise<NetworkState>;
+    beforeBlock(networkState: NetworkState): Promise<NetworkState>;
+}
+//# sourceMappingURL=BlockHeightHook.d.ts.map

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

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

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

package/dist/hooks/BlockHeightHook.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"BlockHeightHook.js","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,MAAM,OAAO,eAAgB,SAAQ,iBAAwC;IACpE,KAAK,CAAC,UAAU,CAAC,YAA0B;QAChD,OAAO,IAAI,YAAY,CAAC;YACtB,KAAK,EAAE;gBACL,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;aACzC;YACD,QAAQ,EAAE,YAAY,CAAC,QAAQ;SAChC,CAAC,CAAC;IACL,CAAC;IAEM,KAAK,CAAC,WAAW,CAAC,YAA0B;QACjD,OAAO,YAAY,CAAC;IACtB,CAAC;CACF"}

package/dist/hooks/LastStateRootBlockHook.d.ts

@@ -0,0 +1,7 @@
+import { AfterBlockHookArguments, ProvableBlockHook } from "../protocol/ProvableBlockHook";
+import { NetworkState } from "../model/network/NetworkState";
+export declare class LastStateRootBlockHook extends ProvableBlockHook<Record<string, never>> {
+    afterBlock(networkState: NetworkState, { stateRoot }: AfterBlockHookArguments): Promise<NetworkState>;
+    beforeBlock(networkState: NetworkState): Promise<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,EACL,uBAAuB,EACvB,iBAAiB,EAClB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAE7D,qBAAa,sBAAuB,SAAQ,iBAAiB,CAC3D,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CACtB;IACc,UAAU,CACrB,YAAY,EAAE,YAAY,EAC1B,EAAE,SAAS,EAAE,EAAE,uBAAuB,GACrC,OAAO,CAAC,YAAY,CAAC;IASX,WAAW,CAAC,YAAY,EAAE,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;CAG5E"}

package/dist/hooks/LastStateRootBlockHook.js

@@ -0,0 +1,16 @@
+import { ProvableBlockHook, } from "../protocol/ProvableBlockHook";
+import { NetworkState } from "../model/network/NetworkState";
+export class LastStateRootBlockHook extends ProvableBlockHook {
+    async afterBlock(networkState, { stateRoot }) {
+        return new NetworkState({
+            block: networkState.block,
+            previous: {
+                rootHash: stateRoot,
+            },
+        });
+    }
+    async beforeBlock(networkState) {
+        return networkState;
+    }
+}
+//# sourceMappingURL=LastStateRootBlockHook.js.map

package/dist/hooks/LastStateRootBlockHook.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LastStateRootBlockHook.js","sourceRoot":"","sources":["../../src/hooks/LastStateRootBlockHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,iBAAiB,GAClB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAE7D,MAAM,OAAO,sBAAuB,SAAQ,iBAE3C;IACQ,KAAK,CAAC,UAAU,CACrB,YAA0B,EAC1B,EAAE,SAAS,EAA2B;QAEtC,OAAO,IAAI,YAAY,CAAC;YACtB,KAAK,EAAE,YAAY,CAAC,KAAK;YACzB,QAAQ,EAAE;gBACR,QAAQ,EAAE,SAAS;aACpB;SACF,CAAC,CAAC;IACL,CAAC;IAEM,KAAK,CAAC,WAAW,CAAC,YAA0B;QACjD,OAAO,YAAY,CAAC;IACtB,CAAC;CACF"}

package/dist/hooks/NoopBlockHook.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"NoopBlockHook.d.ts","sourceRoot":"","sources":["../../src/hooks/NoopBlockHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EACL,uBAAuB,EACvB,wBAAwB,EACxB,iBAAiB,EAClB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAE7D,qBAAa,aAAc,SAAQ,iBAAiB,CAAC,QAAQ,CAAC;IAC/C,UAAU,CACrB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,uBAAuB,GAC7B,OAAO,CAAC,YAAY,CAAC;IAIX,WAAW,CACtB,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,wBAAwB,GAC9B,OAAO,CAAC,YAAY,CAAC;CAGzB"}

package/dist/hooks/NoopBlockHook.js

@@ -0,0 +1,10 @@
+import { ProvableBlockHook, } from "../protocol/ProvableBlockHook";
+export class NoopBlockHook extends ProvableBlockHook {
+    async afterBlock(networkState, state) {
+        return networkState;
+    }
+    async beforeBlock(networkState, state) {
+        return networkState;
+    }
+}
+//# sourceMappingURL=NoopBlockHook.js.map

package/dist/hooks/NoopBlockHook.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"NoopBlockHook.js","sourceRoot":"","sources":["../../src/hooks/NoopBlockHook.ts"],"names":[],"mappings":"AAEA,OAAO,EAGL,iBAAiB,GAClB,MAAM,+BAA+B,CAAC;AAGvC,MAAM,OAAO,aAAc,SAAQ,iBAA2B;IACrD,KAAK,CAAC,UAAU,CACrB,YAA0B,EAC1B,KAA8B;QAE9B,OAAO,YAAY,CAAC;IACtB,CAAC;IAEM,KAAK,CAAC,WAAW,CACtB,YAA0B,EAC1B,KAA+B;QAE/B,OAAO,YAAY,CAAC;IACtB,CAAC;CACF"}

package/dist/hooks/NoopSettlementHook.d.ts

@@ -0,0 +1,6 @@
+import { ProvableSettlementHook, SettlementHookInputs } from "../settlement/modularity/ProvableSettlementHook";
+import { SettlementContractType } from "../settlement/contracts/settlement/SettlementBase";
+export declare class NoopSettlementHook extends ProvableSettlementHook<Record<string, never>> {
+    beforeSettlement(contract: SettlementContractType, state: SettlementHookInputs): Promise<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":"AAGA,OAAO,EACL,sBAAsB,EACtB,oBAAoB,EACrB,MAAM,iDAAiD,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAE,MAAM,mDAAmD,CAAC;AAE3F,qBACa,kBAAmB,SAAQ,sBAAsB,CAC5D,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CACtB;IACc,gBAAgB,CAC3B,QAAQ,EAAE,sBAAsB,EAChC,KAAK,EAAE,oBAAoB;CAI9B"}

package/dist/{prover/statetransition/StateTransitionWitnessProvider.js → hooks/NoopSettlementHook.js}

@@ -5,13 +5,14 @@ var __decorate = (this && this.__decorate) || function (decorators, target, key,
     return c > 3 && r && Object.defineProperty(target, key, r), r;
 };
 import { injectable } from "tsyringe";
-import { RollupMerkleWitness } from "../../utils/merkletree/RollupMerkleTree.js";
-let NoOpStateTransitionWitnessProvider = class NoOpStateTransitionWitnessProvider {
-    getWitness() {
-        return new RollupMerkleWitness({ path: [], isLeft: [] });
+import { noop } from "@proto-kit/common";
+import { ProvableSettlementHook, } from "../settlement/modularity/ProvableSettlementHook";
+export let NoopSettlementHook = class NoopSettlementHook extends ProvableSettlementHook {
+    async beforeSettlement(contract, state) {
+        noop();
     }
 };
-NoOpStateTransitionWitnessProvider = __decorate([
+NoopSettlementHook = __decorate([
     injectable()
-], NoOpStateTransitionWitnessProvider);
-export { NoOpStateTransitionWitnessProvider };
+], NoopSettlementHook);
+//# sourceMappingURL=NoopSettlementHook.js.map

package/dist/hooks/NoopSettlementHook.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"NoopSettlementHook.js","sourceRoot":"","sources":["../../src/hooks/NoopSettlementHook.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EACL,sBAAsB,GAEvB,MAAM,iDAAiD,CAAC;AAIlD,WAAM,kBAAkB,GAAxB,MAAM,kBAAmB,SAAQ,sBAEvC;IACQ,KAAK,CAAC,gBAAgB,CAC3B,QAAgC,EAChC,KAA2B;QAE3B,IAAI,EAAE,CAAC;IACT,CAAC;CACF,CAAA;AATY,kBAAkB;IAD9B,UAAU,EAAE;GACA,kBAAkB,CAS9B"}

package/dist/hooks/NoopTransactionHook.d.ts

@@ -0,0 +1,6 @@
+import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
+export declare class NoopTransactionHook extends ProvableTransactionHook {
+    beforeTransaction(): Promise<void>;
+    afterTransaction(): Promise<void>;
+}
+//# sourceMappingURL=NoopTransactionHook.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"NoopTransactionHook.d.ts","sourceRoot":"","sources":["../../src/hooks/NoopTransactionHook.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAE9E,qBAAa,mBAAoB,SAAQ,uBAAuB;IACjD,iBAAiB;IAIjB,gBAAgB;CAG9B"}

package/dist/hooks/NoopTransactionHook.js

@@ -0,0 +1,11 @@
+import { noop } from "@proto-kit/common";
+import { ProvableTransactionHook } from "../protocol/ProvableTransactionHook";
+export class NoopTransactionHook extends ProvableTransactionHook {
+    async beforeTransaction() {
+        noop();
+    }
+    async afterTransaction() {
+        noop();
+    }
+}
+//# sourceMappingURL=NoopTransactionHook.js.map

package/dist/hooks/NoopTransactionHook.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"NoopTransactionHook.js","sourceRoot":"","sources":["../../src/hooks/NoopTransactionHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAE9E,MAAM,OAAO,mBAAoB,SAAQ,uBAAuB;IACvD,KAAK,CAAC,iBAAiB;QAC5B,IAAI,EAAE,CAAC;IACT,CAAC;IAEM,KAAK,CAAC,gBAAgB;QAC3B,IAAI,EAAE,CAAC;IACT,CAAC;CACF"}

package/dist/index.d.ts

@@ -1,30 +1,43 @@
-export * from "./blockmodules/AccountStateModule";
-export * from "./utils/ProvableHashList";
+export * from "./hooks/AccountStateHook";
+export * from "./hooks/BlockHeightHook";
+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/AuthorizedTransaction";
 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 "./model/AppliedStateTransitionBatch";
+export * from "./utils/ProvableHashList";
+export * from "./utils/PrefixedProvableHashList";
+export * from "./utils/MinaPrefixedProvableHashList";
+export * from "./utils/ProvableReductionHashList";
 export * from "./utils/utils";
+export * from "./utils/FieldOptions";
+export * from "./prover/accumulators/StateTransitionReductionList";
+export * from "./prover/accumulators/AppliedBatchHashList";
+export * from "./prover/accumulators/WitnessedRootHashList";
+export * from "./prover/accumulators/TransactionHashList";
+export * from "./prover/accumulators/BlockHashList";
 export * from "./prover/block/BlockProver";
 export * from "./prover/block/BlockProvable";
+export * from "./prover/block/accummulators/RuntimeVerificationKeyTree";
+export * from "./prover/block/accummulators/BlockHashMerkleTree";
+export * from "./prover/block/services/RuntimeVerificationKeyRootService";
 export * from "./prover/statetransition/StateTransitionProver";
 export * from "./prover/statetransition/StateTransitionProvable";
-export * from "./prover/statetransition/StateTransitionWitnessProvider";
-export * from "./utils/merkletree/MerkleTreeStore";
-export * from "./utils/merkletree/InMemoryMerkleTreeStorage";
-export * from "./utils/merkletree/RollupMerkleTree";
-export * from "./model/MethodPublicOutput";
-export * from "./prover/statetransition/StateTransitionWitnessProviderReference";
+export * from "./prover/transaction/TransactionProver";
+export * from "./prover/transaction/TransactionProvable";
+export * from "./prover/utils";
 export * from "./protocol/Protocol";
 export * from "./protocol/ProtocolModule";
-export * from "./protocol/TransitioningProtocolModule";
+export * from "./protocol/ProtocolEnvironment";
 export * from "./protocol/ProvableTransactionHook";
-export * from "./state/assert/assert";
-export * from "./state/context/ProtocolMethodExecutionContext";
+export * from "./protocol/ProvableBlockHook";
 export * from "./state/context/TransitionMethodExecutionContext";
 export * from "./state/context/RuntimeMethodExecutionContext";
 export * from "./state/protocol/ProtocolState";
@@ -32,5 +45,30 @@ export * from "./state/State";
 export * from "./state/StateMap";
 export * from "./state/StateService";
 export * from "./state/StateServiceProvider";
+export * from "./state/assert/assert";
+export * from "./settlement/contracts/authorizations/ContractAuthorization";
+export * from "./settlement/contracts/authorizations/UpdateMessagesHashAuth";
+export * from "./settlement/contracts/authorizations/TokenBridgeDeploymentAuth";
+export * from "./settlement/contracts/settlement/SettlementBase";
+export * from "./settlement/contracts/settlement/SettlementContract";
+export * from "./settlement/contracts/settlement/BridgingSettlementContract";
+export * from "./settlement/contracts/BridgingSettlementContractModule";
+export * from "./settlement/contracts/SettlementSmartContractModule";
+export * from "./settlement/contracts/DispatchSmartContract";
+export * from "./settlement/contracts/DispatchContractProtocolModule";
+export * from "./settlement/contracts/BridgeContract";
+export * from "./settlement/contracts/BridgeContractProtocolModule";
+export * from "./settlement/contracts/TokenBridgeTree";
+export * from "./settlement/SettlementContractModule";
+export * from "./settlement/ContractModule";
+export * from "./settlement/modularity/ProvableSettlementHook";
+export * from "./settlement/modularity/OutgoingMessageProcessor";
+export * from "./settlement/messages/OutgoingMessageArgument";
+export * from "./settlement/messages/OutgoingMessage";
+export * from "./settlement/modules/NetworkStateSettlementModule";
+export * from "./settlement/messages/Deposit";
+export * from "./settlement/ContractArgsRegistry";
 export { constants as ProtocolConstants } from "./Constants";
+export * from "./hashing/protokit-prefixes";
+export * from "./hashing/mina-prefixes";
 //# 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,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,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,yDAAyD,CAAC;AACxE,cAAc,oCAAoC,CAAC;AACnD,cAAc,8CAA8C,CAAC;AAC7D,cAAc,qCAAqC,CAAC;AACpD,cAAc,4BAA4B,CAAC;AAC3C,cAAc,kEAAkE,CAAC;AACjF,cAAc,qBAAqB,CAAC;AACpC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,wCAAwC,CAAC;AACvD,cAAc,oCAAoC,CAAC;AACnD,cAAc,uBAAuB,CAAC;AACtC,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,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,2CAA2C,CAAC;AAC1D,cAAc,wCAAwC,CAAC;AACvD,cAAc,iCAAiC,CAAC;AAChD,cAAc,4BAA4B,CAAC;AAC3C,cAAc,qBAAqB,CAAC;AACpC,cAAc,qCAAqC,CAAC;AACpD,cAAc,0BAA0B,CAAC;AACzC,cAAc,kCAAkC,CAAC;AACjD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC;AACrC,cAAc,oDAAoD,CAAC;AACnE,cAAc,4CAA4C,CAAC;AAC3D,cAAc,6CAA6C,CAAC;AAC5D,cAAc,2CAA2C,CAAC;AAC1D,cAAc,qCAAqC,CAAC;AACpD,cAAc,4BAA4B,CAAC;AAC3C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,yDAAyD,CAAC;AACxE,cAAc,kDAAkD,CAAC;AACjE,cAAc,2DAA2D,CAAC;AAC1E,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,wCAAwC,CAAC;AACvD,cAAc,0CAA0C,CAAC;AACzD,cAAc,gBAAgB,CAAC;AAC/B,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,6DAA6D,CAAC;AAC5E,cAAc,8DAA8D,CAAC;AAC7E,cAAc,iEAAiE,CAAC;AAChF,cAAc,kDAAkD,CAAC;AACjE,cAAc,sDAAsD,CAAC;AACrE,cAAc,8DAA8D,CAAC;AAC7E,cAAc,yDAAyD,CAAC;AACxE,cAAc,sDAAsD,CAAC;AACrE,cAAc,8CAA8C,CAAC;AAC7D,cAAc,uDAAuD,CAAC;AACtE,cAAc,uCAAuC,CAAC;AACtD,cAAc,qDAAqD,CAAC;AACpE,cAAc,wCAAwC,CAAC;AACvD,cAAc,uCAAuC,CAAC;AACtD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,+CAA+C,CAAC;AAC9D,cAAc,uCAAuC,CAAC;AACtD,cAAc,mDAAmD,CAAC;AAClE,cAAc,+BAA+B,CAAC;AAC9C,cAAc,mCAAmC,CAAC;AAClD,OAAO,EAAE,SAAS,IAAI,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAC7D,cAAc,6BAA6B,CAAC;AAC5C,cAAc,yBAAyB,CAAC"}

package/dist/index.js

@@ -1,30 +1,43 @@
-export * from "./blockmodules/AccountStateModule";
-export * from "./utils/ProvableHashList";
+export * from "./hooks/AccountStateHook";
+export * from "./hooks/BlockHeightHook";
+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/AuthorizedTransaction";
 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 "./model/AppliedStateTransitionBatch";
+export * from "./utils/ProvableHashList";
+export * from "./utils/PrefixedProvableHashList";
+export * from "./utils/MinaPrefixedProvableHashList";
+export * from "./utils/ProvableReductionHashList";
 export * from "./utils/utils";
+export * from "./utils/FieldOptions";
+export * from "./prover/accumulators/StateTransitionReductionList";
+export * from "./prover/accumulators/AppliedBatchHashList";
+export * from "./prover/accumulators/WitnessedRootHashList";
+export * from "./prover/accumulators/TransactionHashList";
+export * from "./prover/accumulators/BlockHashList";
 export * from "./prover/block/BlockProver";
 export * from "./prover/block/BlockProvable";
+export * from "./prover/block/accummulators/RuntimeVerificationKeyTree";
+export * from "./prover/block/accummulators/BlockHashMerkleTree";
+export * from "./prover/block/services/RuntimeVerificationKeyRootService";
 export * from "./prover/statetransition/StateTransitionProver";
 export * from "./prover/statetransition/StateTransitionProvable";
-export * from "./prover/statetransition/StateTransitionWitnessProvider";
-export * from "./utils/merkletree/MerkleTreeStore";
-export * from "./utils/merkletree/InMemoryMerkleTreeStorage";
-export * from "./utils/merkletree/RollupMerkleTree";
-export * from "./model/MethodPublicOutput";
-export * from "./prover/statetransition/StateTransitionWitnessProviderReference";
+export * from "./prover/transaction/TransactionProver";
+export * from "./prover/transaction/TransactionProvable";
+export * from "./prover/utils";
 export * from "./protocol/Protocol";
 export * from "./protocol/ProtocolModule";
-export * from "./protocol/TransitioningProtocolModule";
+export * from "./protocol/ProtocolEnvironment";
 export * from "./protocol/ProvableTransactionHook";
-export * from "./state/assert/assert";
-export * from "./state/context/ProtocolMethodExecutionContext";
+export * from "./protocol/ProvableBlockHook";
 export * from "./state/context/TransitionMethodExecutionContext";
 export * from "./state/context/RuntimeMethodExecutionContext";
 export * from "./state/protocol/ProtocolState";
@@ -32,4 +45,30 @@ export * from "./state/State";
 export * from "./state/StateMap";
 export * from "./state/StateService";
 export * from "./state/StateServiceProvider";
+export * from "./state/assert/assert";
+export * from "./settlement/contracts/authorizations/ContractAuthorization";
+export * from "./settlement/contracts/authorizations/UpdateMessagesHashAuth";
+export * from "./settlement/contracts/authorizations/TokenBridgeDeploymentAuth";
+export * from "./settlement/contracts/settlement/SettlementBase";
+export * from "./settlement/contracts/settlement/SettlementContract";
+export * from "./settlement/contracts/settlement/BridgingSettlementContract";
+export * from "./settlement/contracts/BridgingSettlementContractModule";
+export * from "./settlement/contracts/SettlementSmartContractModule";
+export * from "./settlement/contracts/DispatchSmartContract";
+export * from "./settlement/contracts/DispatchContractProtocolModule";
+export * from "./settlement/contracts/BridgeContract";
+export * from "./settlement/contracts/BridgeContractProtocolModule";
+export * from "./settlement/contracts/TokenBridgeTree";
+export * from "./settlement/SettlementContractModule";
+export * from "./settlement/ContractModule";
+export * from "./settlement/modularity/ProvableSettlementHook";
+export * from "./settlement/modularity/OutgoingMessageProcessor";
+export * from "./settlement/messages/OutgoingMessageArgument";
+export * from "./settlement/messages/OutgoingMessage";
+export * from "./settlement/modules/NetworkStateSettlementModule";
+export * from "./settlement/messages/Deposit";
+export * from "./settlement/ContractArgsRegistry";
 export { constants as ProtocolConstants } from "./Constants";
+export * from "./hashing/protokit-prefixes";
+export * from "./hashing/mina-prefixes";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","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,2CAA2C,CAAC;AAC1D,cAAc,wCAAwC,CAAC;AACvD,cAAc,iCAAiC,CAAC;AAChD,cAAc,4BAA4B,CAAC;AAC3C,cAAc,qBAAqB,CAAC;AACpC,cAAc,qCAAqC,CAAC;AACpD,cAAc,0BAA0B,CAAC;AACzC,cAAc,kCAAkC,CAAC;AACjD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,eAAe,CAAC;AAC9B,cAAc,sBAAsB,CAAC;AACrC,cAAc,oDAAoD,CAAC;AACnE,cAAc,4CAA4C,CAAC;AAC3D,cAAc,6CAA6C,CAAC;AAC5D,cAAc,2CAA2C,CAAC;AAC1D,cAAc,qCAAqC,CAAC;AACpD,cAAc,4BAA4B,CAAC;AAC3C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,yDAAyD,CAAC;AACxE,cAAc,kDAAkD,CAAC;AACjE,cAAc,2DAA2D,CAAC;AAC1E,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,wCAAwC,CAAC;AACvD,cAAc,0CAA0C,CAAC;AACzD,cAAc,gBAAgB,CAAC;AAC/B,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,6DAA6D,CAAC;AAC5E,cAAc,8DAA8D,CAAC;AAC7E,cAAc,iEAAiE,CAAC;AAChF,cAAc,kDAAkD,CAAC;AACjE,cAAc,sDAAsD,CAAC;AACrE,cAAc,8DAA8D,CAAC;AAC7E,cAAc,yDAAyD,CAAC;AACxE,cAAc,sDAAsD,CAAC;AACrE,cAAc,8CAA8C,CAAC;AAC7D,cAAc,uDAAuD,CAAC;AACtE,cAAc,uCAAuC,CAAC;AACtD,cAAc,qDAAqD,CAAC;AACpE,cAAc,wCAAwC,CAAC;AACvD,cAAc,uCAAuC,CAAC;AACtD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,+CAA+C,CAAC;AAC9D,cAAc,uCAAuC,CAAC;AACtD,cAAc,mDAAmD,CAAC;AAClE,cAAc,+BAA+B,CAAC;AAC9C,cAAc,mCAAmC,CAAC;AAClD,OAAO,EAAE,SAAS,IAAI,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAC7D,cAAc,6BAA6B,CAAC;AAC5C,cAAc,yBAAyB,CAAC"}