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

package/dist/settlement/contracts/SettlementSmartContractModule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SettlementSmartContractModule.js","sourceRoot":"","sources":["../../../src/settlement/contracts/SettlementSmartContractModule.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACzD,OAAO,EAEL,2BAA2B,EAE3B,GAAG,GACJ,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EACL,cAAc,GAEf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAM/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAMrE,WAAW;AACX,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;AAG3C,WAAM,6BAA6B,GAAnC,MAAM,6BAA8B,SAAQ,cAGlD;IACC,YAEmB,KAAwC,EAExC,WAA0B,EAC1B,2BAAwD,EACxD,YAAkC;QAEnD,KAAK,EAAE,CAAC;QANS,UAAK,GAAL,KAAK,CAAmC;QAExC,gBAAW,GAAX,WAAW,CAAe;QAC1B,gCAA2B,GAA3B,2BAA2B,CAA6B;QACxD,iBAAY,GAAZ,YAAY,CAAsB;IAGrD,CAAC;IAEM,eAAe;QACpB,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QAE/B,MAAM,wBAAwB,GAC5B,MAAM,CAAC,wBAAwB,IAAI,oBAAoB,CAAC;QAE1D,IAAI,CAAC,YAAY,CAAC,OAAO,CAAyB,oBAAoB,EAAE;YACtE,KAAK;YACL,wBAAwB;YACxB,2BAA2B,EAAE,IAAI,CAAC,2BAA2B;SAC9D,CAAC,CAAC;QAEH,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IAEM,KAAK,CAAC,OAAO,CAClB,QAAyB;QAEzB,eAAe;QACf,MAAM,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAEzC,IAAI,CAAC,eAAe,EAAE,CAAC;QAEvB,GAAG,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;QAE3C,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,iBAAiB,CAC/C,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,QAAQ,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAC1D,CAAC;QAEF,OAAO;YACL,uBAAuB,EAAE,QAAQ;SAClC,CAAC;IACJ,CAAC;CACF,CAAA;AAhDY,6BAA6B;IADzC,UAAU,EAAE;IAMR,WAAA,SAAS,CAAC,wBAAwB,CAAC,CAAA;IAEnC,WAAA,MAAM,CAAC,aAAa,CAAC,CAAA;oDAEwB,2BAA2B;QAC1C,oBAAoB;GAV1C,6BAA6B,CAgDzC"}

package/dist/settlement/contracts/TokenBridgeTree.d.ts

@@ -0,0 +1,228 @@
+import { Field, PublicKey, SmartContract } from "o1js";
+declare const TokenBridgeTree_base: import("@proto-kit/common").AbstractMerkleTreeClass;
+/**
+ * Merkle tree that contains all the deployed token bridges as a mapping of
+ * tokenId => PublicKey
+ *
+ * It should be used as an append-only tree with incremental indizes - this allows
+ * us to reduce the height of it
+ */
+export declare class TokenBridgeTree extends TokenBridgeTree_base {
+    indizes: Record<string, bigint>;
+    /**
+     * Initializes and fills the tree based on all on-chain events that have been
+     * emitted by every emit
+     */
+    static buildTreeFromEvents(contract: SmartContract & {
+        events: {
+            "token-bridge-added": typeof TokenBridgeTreeAddition;
+        };
+    }): Promise<TokenBridgeTree>;
+    getIndex(tokenId: Field): bigint;
+}
+export declare class TokenBridgeTreeWitness extends TokenBridgeTree.WITNESS {
+}
+declare const TokenBridgeEntry_base: (new (value: {
+    address: PublicKey;
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+}) => {
+    address: PublicKey;
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    address: PublicKey;
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+}, {
+    address: {
+        x: bigint;
+        isOdd: boolean;
+    };
+    tokenId: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        address: PublicKey;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    };
+} & {
+    fromValue: (value: {
+        address: PublicKey | {
+            x: bigint | import("o1js/dist/node/lib/provable/field").Field;
+            isOdd: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        };
+        tokenId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        address: PublicKey;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    toInput: (x: {
+        address: PublicKey;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        address: PublicKey;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        address: string;
+        tokenId: string;
+    };
+    fromJSON: (x: {
+        address: string;
+        tokenId: string;
+    }) => {
+        address: PublicKey;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    empty: () => {
+        address: PublicKey;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    };
+};
+export declare class TokenBridgeEntry extends TokenBridgeEntry_base {
+    hash(): import("o1js/dist/node/lib/provable/field").Field;
+}
+declare const TokenBridgeAttestation_base: (new (value: {
+    witness: TokenBridgeTreeWitness;
+    index: import("o1js/dist/node/lib/provable/field").Field;
+}) => {
+    witness: TokenBridgeTreeWitness;
+    index: import("o1js/dist/node/lib/provable/field").Field;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    witness: TokenBridgeTreeWitness;
+    index: import("o1js/dist/node/lib/provable/field").Field;
+}, {
+    witness: {
+        path: bigint[];
+        isLeft: boolean[];
+    };
+    index: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        witness: TokenBridgeTreeWitness;
+        index: import("o1js/dist/node/lib/provable/field").Field;
+    };
+} & {
+    fromValue: (value: {
+        witness: {
+            path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
+            isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
+        } | TokenBridgeTreeWitness;
+        index: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        witness: TokenBridgeTreeWitness;
+        index: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    toInput: (x: {
+        witness: TokenBridgeTreeWitness;
+        index: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        witness: TokenBridgeTreeWitness;
+        index: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        witness: {
+            path: string[];
+            isLeft: boolean[];
+        };
+        index: string;
+    };
+    fromJSON: (x: {
+        witness: {
+            path: string[];
+            isLeft: boolean[];
+        };
+        index: string;
+    }) => {
+        witness: TokenBridgeTreeWitness;
+        index: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    empty: () => {
+        witness: TokenBridgeTreeWitness;
+        index: import("o1js/dist/node/lib/provable/field").Field;
+    };
+};
+export declare class TokenBridgeAttestation extends TokenBridgeAttestation_base {
+}
+declare const TokenBridgeTreeAddition_base: (new (value: {
+    index: import("o1js/dist/node/lib/provable/field").Field;
+    value: TokenBridgeEntry;
+}) => {
+    index: import("o1js/dist/node/lib/provable/field").Field;
+    value: TokenBridgeEntry;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    index: import("o1js/dist/node/lib/provable/field").Field;
+    value: TokenBridgeEntry;
+}, {
+    index: bigint;
+    value: {
+        address: {
+            x: bigint;
+            isOdd: boolean;
+        };
+        tokenId: bigint;
+    };
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        index: import("o1js/dist/node/lib/provable/field").Field;
+        value: TokenBridgeEntry;
+    };
+} & {
+    fromValue: (value: {
+        index: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        value: TokenBridgeEntry | {
+            address: PublicKey | {
+                x: bigint | import("o1js/dist/node/lib/provable/field").Field;
+                isOdd: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+            };
+            tokenId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        };
+    }) => {
+        index: import("o1js/dist/node/lib/provable/field").Field;
+        value: TokenBridgeEntry;
+    };
+    toInput: (x: {
+        index: import("o1js/dist/node/lib/provable/field").Field;
+        value: TokenBridgeEntry;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        index: import("o1js/dist/node/lib/provable/field").Field;
+        value: TokenBridgeEntry;
+    }) => {
+        index: string;
+        value: {
+            address: string;
+            tokenId: string;
+        };
+    };
+    fromJSON: (x: {
+        index: string;
+        value: {
+            address: string;
+            tokenId: string;
+        };
+    }) => {
+        index: import("o1js/dist/node/lib/provable/field").Field;
+        value: TokenBridgeEntry;
+    };
+    empty: () => {
+        index: import("o1js/dist/node/lib/provable/field").Field;
+        value: TokenBridgeEntry;
+    };
+};
+export declare class TokenBridgeTreeAddition extends TokenBridgeTreeAddition_base {
+}
+export {};
+//# sourceMappingURL=TokenBridgeTree.d.ts.map

package/dist/settlement/contracts/TokenBridgeTree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TokenBridgeTree.d.ts","sourceRoot":"","sources":["../../../src/settlement/contracts/TokenBridgeTree.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,KAAK,EAAY,SAAS,EAAE,aAAa,EAAU,MAAM,MAAM,CAAC;;AAEzE;;;;;;GAMG;AACH,qBAAa,eAAgB,SAAQ,oBAAqB;IACjD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM;IAE5C;;;OAGG;WACiB,mBAAmB,CACrC,QAAQ,EAAE,aAAa,GAAG;QACxB,MAAM,EAAE;YAAE,oBAAoB,EAAE,OAAO,uBAAuB,CAAA;SAAE,CAAC;KAClE;IAwBI,QAAQ,CAAC,OAAO,EAAE,KAAK,GAAG,MAAM;CAGxC;AAED,qBAAa,sBAAuB,SAAQ,eAAe,CAAC,OAAO;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEtE,qBAAa,gBAAiB,SAAQ,qBAGpC;IACO,IAAI;CAGZ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,sBAAuB,SAAQ,2BAG1C;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,uBAAwB,SAAQ,4BAG3C;CAAG"}

package/dist/settlement/contracts/TokenBridgeTree.js

@@ -0,0 +1,60 @@
+import { createMerkleTree, InMemoryMerkleTreeStorage, log, } from "@proto-kit/common";
+import { Field, Poseidon, PublicKey, Struct } from "o1js";
+/**
+ * Merkle tree that contains all the deployed token bridges as a mapping of
+ * tokenId => PublicKey
+ *
+ * It should be used as an append-only tree with incremental indizes - this allows
+ * us to reduce the height of it
+ */
+export class TokenBridgeTree extends createMerkleTree(256) {
+    constructor() {
+        super(...arguments);
+        this.indizes = {};
+    }
+    /**
+     * Initializes and fills the tree based on all on-chain events that have been
+     * emitted by every emit
+     */
+    static async buildTreeFromEvents(contract) {
+        const events = await contract.fetchEvents();
+        log.debug(`Found ${events.length} token bridge add events`);
+        const tree = new TokenBridgeTree(new InMemoryMerkleTreeStorage());
+        const indizes = {};
+        events.forEach(({ type, event }) => {
+            if (type === "token-bridge-added") {
+                const addition = 
+                // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+                event.data;
+                tree.setLeaf(addition.index.toBigInt(), addition.value.hash());
+                indizes[addition.value.tokenId.toString()] = addition.index.toBigInt();
+            }
+        });
+        tree.indizes = indizes;
+        return tree;
+    }
+    getIndex(tokenId) {
+        return this.indizes[tokenId.toString()];
+    }
+}
+export class TokenBridgeTreeWitness extends TokenBridgeTree.WITNESS {
+}
+export class TokenBridgeEntry extends Struct({
+    address: PublicKey,
+    tokenId: Field,
+}) {
+    hash() {
+        return Poseidon.hash(TokenBridgeEntry.toFields(this));
+    }
+}
+export class TokenBridgeAttestation extends Struct({
+    witness: TokenBridgeTreeWitness,
+    index: Field,
+}) {
+}
+export class TokenBridgeTreeAddition extends Struct({
+    index: Field,
+    value: TokenBridgeEntry,
+}) {
+}
+//# sourceMappingURL=TokenBridgeTree.js.map

package/dist/settlement/contracts/TokenBridgeTree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TokenBridgeTree.js","sourceRoot":"","sources":["../../../src/settlement/contracts/TokenBridgeTree.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,yBAAyB,EACzB,GAAG,GACJ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAiB,MAAM,EAAE,MAAM,MAAM,CAAC;AAEzE;;;;;;GAMG;AACH,MAAM,OAAO,eAAgB,SAAQ,gBAAgB,CAAC,GAAG,CAAC;IAA1D;;QACS,YAAO,GAA2B,EAAE,CAAC;IAoC9C,CAAC;IAlCC;;;OAGG;IACI,MAAM,CAAC,KAAK,CAAC,mBAAmB,CACrC,QAEC;QAED,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,WAAW,EAAE,CAAC;QAE5C,GAAG,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,MAAM,0BAA0B,CAAC,CAAC;QAE5D,MAAM,IAAI,GAAG,IAAI,eAAe,CAAC,IAAI,yBAAyB,EAAE,CAAC,CAAC;QAClE,MAAM,OAAO,GAA2B,EAAE,CAAC;QAE3C,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;YACjC,IAAI,IAAI,KAAK,oBAAoB,EAAE;gBACjC,MAAM,QAAQ;gBACZ,yEAAyE;gBACzE,KAAK,CAAC,IAA0C,CAAC;gBAEnD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBAE/D,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;aACxE;QACH,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,QAAQ,CAAC,OAAc;QAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC1C,CAAC;CACF;AAED,MAAM,OAAO,sBAAuB,SAAQ,eAAe,CAAC,OAAO;CAAG;AAEtE,MAAM,OAAO,gBAAiB,SAAQ,MAAM,CAAC;IAC3C,OAAO,EAAE,SAAS;IAClB,OAAO,EAAE,KAAK;CACf,CAAC;IACO,IAAI;QACT,OAAO,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACxD,CAAC;CACF;AAED,MAAM,OAAO,sBAAuB,SAAQ,MAAM,CAAC;IACjD,OAAO,EAAE,sBAAsB;IAC/B,KAAK,EAAE,KAAK;CACb,CAAC;CAAG;AAEL,MAAM,OAAO,uBAAwB,SAAQ,MAAM,CAAC;IAClD,KAAK,EAAE,KAAK;IACZ,KAAK,EAAE,gBAAgB;CACxB,CAAC;CAAG"}

package/dist/settlement/contracts/authorizations/ContractAuthorization.d.ts

@@ -0,0 +1,10 @@
+import { Field, PublicKey } from "o1js";
+/**
+ * Interface for cross-contract call authorization
+ * See https://github.com/proto-kit/framework/issues/202#issuecomment-2407263173
+ */
+export interface ContractAuthorization {
+    target: PublicKey;
+    hash: () => Field;
+}
+//# sourceMappingURL=ContractAuthorization.d.ts.map

package/dist/settlement/contracts/authorizations/ContractAuthorization.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ContractAuthorization.d.ts","sourceRoot":"","sources":["../../../../src/settlement/contracts/authorizations/ContractAuthorization.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AAExC;;;GAGG;AACH,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,SAAS,CAAC;IAElB,IAAI,EAAE,MAAM,KAAK,CAAC;CACnB"}

package/dist/settlement/contracts/authorizations/ContractAuthorization.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ContractAuthorization.js.map

package/dist/settlement/contracts/authorizations/ContractAuthorization.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ContractAuthorization.js","sourceRoot":"","sources":["../../../../src/settlement/contracts/authorizations/ContractAuthorization.ts"],"names":[],"mappings":""}

package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.d.ts

@@ -0,0 +1,85 @@
+import { PublicKey } from "o1js";
+import { ContractAuthorization } from "./ContractAuthorization";
+declare const TokenBridgeDeploymentAuth_base: (new (value: {
+    target: PublicKey;
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    address: PublicKey;
+}) => {
+    target: PublicKey;
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    address: PublicKey;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    target: PublicKey;
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    address: PublicKey;
+}, {
+    target: {
+        x: bigint;
+        isOdd: boolean;
+    };
+    tokenId: bigint;
+    address: {
+        x: bigint;
+        isOdd: boolean;
+    };
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        target: PublicKey;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        address: PublicKey;
+    };
+} & {
+    fromValue: (value: {
+        target: PublicKey | {
+            x: bigint | import("o1js/dist/node/lib/provable/field").Field;
+            isOdd: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        };
+        tokenId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        address: PublicKey | {
+            x: bigint | import("o1js/dist/node/lib/provable/field").Field;
+            isOdd: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        };
+    }) => {
+        target: PublicKey;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        address: PublicKey;
+    };
+    toInput: (x: {
+        target: PublicKey;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        address: PublicKey;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        target: PublicKey;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        address: PublicKey;
+    }) => {
+        target: string;
+        tokenId: string;
+        address: string;
+    };
+    fromJSON: (x: {
+        target: string;
+        tokenId: string;
+        address: string;
+    }) => {
+        target: PublicKey;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        address: PublicKey;
+    };
+    empty: () => {
+        target: PublicKey;
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        address: PublicKey;
+    };
+};
+export declare class TokenBridgeDeploymentAuth extends TokenBridgeDeploymentAuth_base implements ContractAuthorization {
+    hash(): import("o1js/dist/node/lib/provable/field").Field;
+}
+export {};
+//# sourceMappingURL=TokenBridgeDeploymentAuth.d.ts.map

package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TokenBridgeDeploymentAuth.d.ts","sourceRoot":"","sources":["../../../../src/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,SAAS,EAAU,MAAM,MAAM,CAAC;AAE1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEhE,qBAAa,yBACX,SAAQ,8BAKR,YAAW,qBAAqB;IAEzB,IAAI;CAGZ"}

package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.js

@@ -0,0 +1,11 @@
+import { Field, Poseidon, PublicKey, Struct } from "o1js";
+export class TokenBridgeDeploymentAuth extends Struct({
+    target: PublicKey,
+    tokenId: Field,
+    address: PublicKey,
+}) {
+    hash() {
+        return Poseidon.hash(TokenBridgeDeploymentAuth.toFields(this));
+    }
+}
+//# sourceMappingURL=TokenBridgeDeploymentAuth.js.map

package/dist/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TokenBridgeDeploymentAuth.js","sourceRoot":"","sources":["../../../../src/settlement/contracts/authorizations/TokenBridgeDeploymentAuth.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAI1D,MAAM,OAAO,yBACX,SAAQ,MAAM,CAAC;IACb,MAAM,EAAE,SAAS;IACjB,OAAO,EAAE,KAAK;IACd,OAAO,EAAE,SAAS;CACnB,CAAC;IAGK,IAAI;QACT,OAAO,QAAQ,CAAC,IAAI,CAAC,yBAAyB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,CAAC;CACF"}

package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.d.ts

@@ -0,0 +1,79 @@
+import { PublicKey } from "o1js";
+import { ContractAuthorization } from "./ContractAuthorization";
+declare const UpdateMessagesHashAuth_base: (new (value: {
+    target: PublicKey;
+    executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+}) => {
+    target: PublicKey;
+    executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    target: PublicKey;
+    executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+}, {
+    target: {
+        x: bigint;
+        isOdd: boolean;
+    };
+    executedMessagesHash: bigint;
+    newPromisedMessagesHash: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        target: PublicKey;
+        executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    };
+} & {
+    fromValue: (value: {
+        target: PublicKey | {
+            x: bigint | import("o1js/dist/node/lib/provable/field").Field;
+            isOdd: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        };
+        executedMessagesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        newPromisedMessagesHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        target: PublicKey;
+        executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    toInput: (x: {
+        target: PublicKey;
+        executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        target: PublicKey;
+        executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        target: string;
+        executedMessagesHash: string;
+        newPromisedMessagesHash: string;
+    };
+    fromJSON: (x: {
+        target: string;
+        executedMessagesHash: string;
+        newPromisedMessagesHash: string;
+    }) => {
+        target: PublicKey;
+        executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    empty: () => {
+        target: PublicKey;
+        executedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+        newPromisedMessagesHash: import("o1js/dist/node/lib/provable/field").Field;
+    };
+};
+export declare class UpdateMessagesHashAuth extends UpdateMessagesHashAuth_base implements ContractAuthorization {
+    hash(): import("o1js/dist/node/lib/provable/field").Field;
+}
+export {};
+//# sourceMappingURL=UpdateMessagesHashAuth.d.ts.map

package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"UpdateMessagesHashAuth.d.ts","sourceRoot":"","sources":["../../../../src/settlement/contracts/authorizations/UpdateMessagesHashAuth.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,SAAS,EAAU,MAAM,MAAM,CAAC;AAE1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEhE,qBAAa,sBACX,SAAQ,2BAKR,YAAW,qBAAqB;IAEzB,IAAI;CAGZ"}

package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.js

@@ -0,0 +1,11 @@
+import { Field, Poseidon, PublicKey, Struct } from "o1js";
+export class UpdateMessagesHashAuth extends Struct({
+    target: PublicKey,
+    executedMessagesHash: Field,
+    newPromisedMessagesHash: Field,
+}) {
+    hash() {
+        return Poseidon.hash(UpdateMessagesHashAuth.toFields(this));
+    }
+}
+//# sourceMappingURL=UpdateMessagesHashAuth.js.map

package/dist/settlement/contracts/authorizations/UpdateMessagesHashAuth.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"UpdateMessagesHashAuth.js","sourceRoot":"","sources":["../../../../src/settlement/contracts/authorizations/UpdateMessagesHashAuth.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAI1D,MAAM,OAAO,sBACX,SAAQ,MAAM,CAAC;IACb,MAAM,EAAE,SAAS;IACjB,oBAAoB,EAAE,KAAK;IAC3B,uBAAuB,EAAE,KAAK;CAC/B,CAAC;IAGK,IAAI;QACT,OAAO,QAAQ,CAAC,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,CAAC;CACF"}

package/dist/settlement/contracts/settlement/BridgingSettlementContract.d.ts

@@ -0,0 +1,107 @@
+import { TypedClass, O1PublicKeyOption } from "@proto-kit/common";
+import { AccountUpdate, Field, PublicKey, Signature, SmartContract, State, UInt32, AccountUpdateForest, VerificationKey, Permissions, DeployArgs } from "o1js";
+import { NetworkState } from "../../../model/network/NetworkState";
+import { DispatchContractType } from "../DispatchSmartContract";
+import { BridgeContractType } from "../BridgeContract";
+import { NaiveObjectSchema, StaticInitializationContract } from "../../ContractArgsRegistry";
+import { DynamicBlockProof, SettlementBase, SettlementContractArgs, SettlementContractType } from "./SettlementBase";
+declare const TokenMapping_base: (new (value: {
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    publicKey: PublicKey;
+}) => {
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    publicKey: PublicKey;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    tokenId: import("o1js/dist/node/lib/provable/field").Field;
+    publicKey: PublicKey;
+}, {
+    tokenId: bigint;
+    publicKey: {
+        x: bigint;
+        isOdd: boolean;
+    };
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        publicKey: PublicKey;
+    };
+} & {
+    fromValue: (value: {
+        tokenId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        publicKey: PublicKey | {
+            x: bigint | import("o1js/dist/node/lib/provable/field").Field;
+            isOdd: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        };
+    }) => {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        publicKey: PublicKey;
+    };
+    toInput: (x: {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        publicKey: PublicKey;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        publicKey: PublicKey;
+    }) => {
+        tokenId: string;
+        publicKey: string;
+    };
+    fromJSON: (x: {
+        tokenId: string;
+        publicKey: string;
+    }) => {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        publicKey: PublicKey;
+    };
+    empty: () => {
+        tokenId: import("o1js/dist/node/lib/provable/field").Field;
+        publicKey: PublicKey;
+    };
+};
+export declare class TokenMapping extends TokenMapping_base {
+}
+export interface BridgingSettlementContractType extends SettlementContractType {
+    authorizationField: State<Field>;
+    assertStateRoot: (root: Field) => AccountUpdate;
+    addTokenBridge: (tokenId: Field, address: PublicKey) => Promise<void>;
+}
+export interface BridgingSettlementContractArgs extends SettlementContractArgs {
+    DispatchContract: TypedClass<DispatchContractType & SmartContract>;
+    BridgeContract: TypedClass<BridgeContractType> & typeof SmartContract;
+    BridgeContractVerificationKey: VerificationKey | undefined;
+    BridgeContractPermissions: Permissions;
+}
+export declare const BridgingSettlementContractArgsSchema: NaiveObjectSchema<BridgingSettlementContractArgs>;
+export declare abstract class BridgingSettlementContractBase extends SettlementBase implements StaticInitializationContract<BridgingSettlementContractArgs> {
+    getInitializationArgs(): BridgingSettlementContractArgs;
+    events: {
+        "token-bridge-deployed": typeof TokenMapping;
+    };
+    abstract dispatchContractAddress: State<PublicKey>;
+    abstract authorizationField: State<Field>;
+    assertStateRoot(root: Field): AccountUpdate;
+    protected initializeBaseBridging(sequencer: PublicKey, dispatchContract: PublicKey): Promise<void>;
+    protected deployTokenBridge(tokenId: Field, address: PublicKey): Promise<void>;
+    protected settleBaseBridging(blockProof: DynamicBlockProof, signature: Signature, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field): Promise<void>;
+}
+export declare class BridgingSettlementContract extends BridgingSettlementContractBase implements BridgingSettlementContractType {
+    sequencerKey: State<import("o1js/dist/node/lib/provable/field").Field>;
+    lastSettlementL1BlockHeight: State<UInt32>;
+    stateRoot: State<import("o1js/dist/node/lib/provable/field").Field>;
+    networkStateHash: State<import("o1js/dist/node/lib/provable/field").Field>;
+    blockHashRoot: State<import("o1js/dist/node/lib/provable/field").Field>;
+    dispatchContractAddress: State<PublicKey>;
+    authorizationField: State<import("o1js/dist/node/lib/provable/field").Field>;
+    deployAndInitialize(args: DeployArgs | undefined, permissions: Permissions, sequencer: PublicKey, dispatchContract: O1PublicKeyOption): Promise<void>;
+    approveBase(forest: AccountUpdateForest): Promise<void>;
+    addTokenBridge(tokenId: Field, address: PublicKey): Promise<void>;
+    settle(blockProof: DynamicBlockProof, signature: Signature, publicKey: PublicKey, inputNetworkState: NetworkState, outputNetworkState: NetworkState, newPromisedMessagesHash: Field): Promise<void>;
+}
+export {};
+//# sourceMappingURL=BridgingSettlementContract.d.ts.map

package/dist/settlement/contracts/settlement/BridgingSettlementContract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"BridgingSettlementContract.d.ts","sourceRoot":"","sources":["../../../../src/settlement/contracts/settlement/BridgingSettlementContract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EACL,aAAa,EAEb,KAAK,EAEL,SAAS,EACT,SAAS,EACT,aAAa,EACb,KAAK,EAEL,MAAM,EACN,mBAAmB,EACnB,eAAe,EACf,WAAW,EAGX,UAAU,EACX,MAAM,MAAM,CAAC;AAGd,OAAO,EAAE,YAAY,EAAE,MAAM,qCAAqC,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAGvD,OAAO,EAEL,iBAAiB,EACjB,4BAA4B,EAC7B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,sBAAsB,EAEtB,sBAAsB,EACvB,MAAM,kBAAkB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAI1B,qBAAa,YAAa,SAAQ,iBAGhC;CAAG;AAEL,MAAM,WAAW,8BAA+B,SAAQ,sBAAsB;IAC5E,kBAAkB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAEjC,eAAe,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,aAAa,CAAC;IAChD,cAAc,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACvE;AAED,MAAM,WAAW,8BAA+B,SAAQ,sBAAsB;IAC5E,gBAAgB,EAAE,UAAU,CAAC,oBAAoB,GAAG,aAAa,CAAC,CAAC;IACnE,cAAc,EAAE,UAAU,CAAC,kBAAkB,CAAC,GAAG,OAAO,aAAa,CAAC;IAEtE,6BAA6B,EAAE,eAAe,GAAG,SAAS,CAAC;IAC3D,yBAAyB,EAAE,WAAW,CAAC;CACxC;AAED,eAAO,MAAM,oCAAoC,EAAE,iBAAiB,CAAC,8BAA8B,CAOhG,CAAC;AAEJ,8BAAsB,8BACpB,SAAQ,cACR,YAAW,4BAA4B,CAAC,8BAA8B,CAAC;IAEhE,qBAAqB,IAAI,8BAA8B;IAM9D,MAAM;;MAEJ;IAEF,QAAQ,CAAC,uBAAuB,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAEnD,QAAQ,CAAC,kBAAkB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAKnC,eAAe,CAAC,IAAI,EAAE,KAAK,GAAG,aAAa;cAKlC,sBAAsB,CACpC,SAAS,EAAE,SAAS,EACpB,gBAAgB,EAAE,SAAS;cASb,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS;cA0DpD,kBAAkB,CAChC,UAAU,EAAE,iBAAiB,EAC7B,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,SAAS,EACpB,iBAAiB,EAAE,YAAY,EAC/B,kBAAkB,EAAE,YAAY,EAChC,uBAAuB,EAAE,KAAK;CA+CjC;AAED,qBAAa,0BACX,SAAQ,8BACR,YAAW,8BAA8B;IAEpB,YAAY,2DAAkB;IAC7B,2BAA2B,gBAAmB;IAE/C,SAAS,2DAAkB;IAC3B,gBAAgB,2DAAkB;IAClC,aAAa,2DAAkB;IAE3B,uBAAuB,mBAAsB;IAEjD,kBAAkB,2DAAkB;IAE5C,mBAAmB,CAC9B,IAAI,EAAE,UAAU,GAAG,SAAS,EAC5B,WAAW,EAAE,WAAW,EACxB,SAAS,EAAE,SAAS,EACpB,gBAAgB,EAAE,iBAAiB,GAClC,OAAO,CAAC,IAAI,CAAC;IAYF,WAAW,CAAC,MAAM,EAAE,mBAAmB;IAKxC,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS;IAKjD,MAAM,CACjB,UAAU,EAAE,iBAAiB,EAC7B,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,SAAS,EACpB,iBAAiB,EAAE,YAAY,EAC/B,kBAAkB,EAAE,YAAY,EAChC,uBAAuB,EAAE,KAAK;CAWjC"}