@proto-kit/protocol 0.1.1-develop.165 → 0.1.1-develop.1665

package/dist/settlement/contracts/SettlementSmartContract.js

@@ -0,0 +1,310 @@
+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 { prefixToField, mapSequential, LinkedMerkleTree, } from "@proto-kit/common";
+import { Bool, Field, method, PublicKey, Signature, State, state, UInt32, AccountUpdateForest, TokenContractV2, PrivateKey, Struct, Provable, TokenId, DynamicProof, } from "o1js";
+import { NetworkState } from "../../model/network/NetworkState";
+import { BlockHashMerkleTree } from "../../prover/block/accummulators/BlockHashMerkleTree";
+import { BlockProverPublicInput, BlockProverPublicOutput, } from "../../prover/block/BlockProvable";
+import { TokenBridgeDeploymentAuth } from "./authorizations/TokenBridgeDeploymentAuth";
+import { UpdateMessagesHashAuth } from "./authorizations/UpdateMessagesHashAuth";
+/* eslint-disable @typescript-eslint/lines-between-class-members */
+export class DynamicBlockProof extends DynamicProof {
+}
+DynamicBlockProof.publicInputType = BlockProverPublicInput;
+DynamicBlockProof.publicOutputType = BlockProverPublicOutput;
+DynamicBlockProof.maxProofsVerified = 2;
+export class TokenMapping extends Struct({
+    tokenId: Field,
+    publicKey: PublicKey,
+}) {
+}
+// Some random prefix for the sequencer signature
+export const BATCH_SIGNATURE_PREFIX = prefixToField("pk-batchSignature");
+// @singleton()
+// export class SettlementSmartContractStaticArgs {
+//   public args?: {
+//     DispatchContract: TypedClass<DispatchContractType & SmartContract>;
+//     hooks: ProvableSettlementHook<unknown>[];
+//     escapeHatchSlotsInterval: number;
+//     BridgeContract: TypedClass<BridgeContractType> & typeof SmartContract;
+//     // Lazily initialized
+//     BridgeContractVerificationKey: VerificationKey | undefined;
+//     BridgeContractPermissions: Permissions | undefined;
+//     signedSettlements: boolean | undefined;
+//   };
+// }
+export class SettlementSmartContractBase extends TokenContractV2 {
+    constructor() {
+        super(...arguments);
+        this.events = {
+            "token-bridge-deployed": TokenMapping,
+        };
+    }
+    // Not @state
+    // abstract offchainStateCommitmentsHash: State<Field>;
+    assertStateRoot(root) {
+        this.stateRoot.requireEquals(root);
+        return this.self;
+    }
+    // TODO Like these properties, I am too lazy to properly infer the types here
+    assertLazyConfigsInitialized() {
+        const uninitializedProperties = [];
+        const { args } = SettlementSmartContractBase;
+        if (args.BridgeContractPermissions === undefined) {
+            uninitializedProperties.push("BridgeContractPermissions");
+        }
+        if (args.signedSettlements === undefined) {
+            uninitializedProperties.push("signedSettlements");
+        }
+        if (uninitializedProperties.length > 0) {
+            throw new Error(`Lazy configs of SettlementSmartContract haven't been initialized ${uninitializedProperties.reduce((a, b) => `${a},${b}`)}`);
+        }
+    }
+    async deployTokenBridge(tokenId, address, dispatchContractAddress, dispatchContractPreconditionEnforced = false) {
+        Provable.asProver(() => {
+            this.assertLazyConfigsInitialized();
+        });
+        const { args } = SettlementSmartContractBase;
+        const BridgeContractClass = args.BridgeContract;
+        const bridgeContract = new BridgeContractClass(address, tokenId);
+        const { BridgeContractVerificationKey, signedSettlements, BridgeContractPermissions, } = args;
+        if (signedSettlements === undefined ||
+            BridgeContractPermissions === undefined) {
+            throw new Error("Static arguments for SettlementSmartContract not initialized");
+        }
+        if (BridgeContractVerificationKey !== undefined &&
+            !BridgeContractVerificationKey.hash.isConstant()) {
+            throw new Error("Bridge contract verification key has to be constants");
+        }
+        // This function is not a zkapps method, therefore it will be part of this methods execution
+        // The returning account update (owner.self) is therefore part of this circuit and is assertable
+        const deploymentAccountUpdate = await bridgeContract.deployProvable(args.BridgeContractVerificationKey, args.signedSettlements, args.BridgeContractPermissions, this.address);
+        this.approve(deploymentAccountUpdate);
+        this.self.body.mayUseToken = {
+            // Only set this if we deploy a custom token
+            parentsOwnToken: tokenId.equals(TokenId.default).not(),
+            inheritFromParent: Bool(false),
+        };
+        this.emitEvent("token-bridge-deployed", new TokenMapping({
+            tokenId: tokenId,
+            publicKey: address,
+        }));
+        // We can't set a precondition twice, for the $mina bridge deployment that
+        // would be the case, so we disable it in this case
+        if (!dispatchContractPreconditionEnforced) {
+            this.dispatchContractAddressX.requireEquals(dispatchContractAddress.x);
+        }
+        // Set authorization for the auth callback, that we need
+        this.authorizationField.set(new TokenBridgeDeploymentAuth({
+            target: dispatchContractAddress,
+            tokenId,
+            address,
+        }).hash());
+        const dispatchContract = new SettlementSmartContractBase.args.DispatchContract(dispatchContractAddress);
+        await dispatchContract.enableTokenDeposits(tokenId, address, this.address);
+    }
+    async initializeBase(sequencer, dispatchContract, bridgeContract, contractKey) {
+        this.sequencerKey.getAndRequireEquals().assertEquals(Field(0));
+        this.stateRoot.getAndRequireEquals().assertEquals(Field(0));
+        this.blockHashRoot.getAndRequireEquals().assertEquals(Field(0));
+        this.networkStateHash.getAndRequireEquals().assertEquals(Field(0));
+        this.dispatchContractAddressX.getAndRequireEquals().assertEquals(Field(0));
+        this.sequencerKey.set(sequencer.x);
+        this.stateRoot.set(LinkedMerkleTree.EMPTY_ROOT);
+        this.blockHashRoot.set(Field(BlockHashMerkleTree.EMPTY_ROOT));
+        this.networkStateHash.set(NetworkState.empty().hash());
+        this.dispatchContractAddressX.set(dispatchContract.x);
+        const { DispatchContract } = SettlementSmartContractBase.args;
+        const contractInstance = new DispatchContract(dispatchContract);
+        await contractInstance.initialize(this.address);
+        // Deploy bridge contract for $Mina
+        await this.deployTokenBridge(this.tokenId, bridgeContract, dispatchContract, true);
+        contractKey.toPublicKey().assertEquals(this.address);
+    }
+    async settleBase(blockProof, signature, dispatchContractAddress, publicKey, inputNetworkState, outputNetworkState, newPromisedMessagesHash) {
+        // Brought in as a constant
+        const blockProofVk = SettlementSmartContractBase.args.ChildVerificationKeyService.getVerificationKey("BlockProver");
+        if (!blockProofVk.hash.isConstant()) {
+            throw new Error("Sanity check - vk hash has to be constant");
+        }
+        // Verify the blockproof
+        blockProof.verify(blockProofVk);
+        // Get and assert on-chain values
+        const stateRoot = this.stateRoot.getAndRequireEquals();
+        const networkStateHash = this.networkStateHash.getAndRequireEquals();
+        const blockHashRoot = this.blockHashRoot.getAndRequireEquals();
+        const sequencerKey = this.sequencerKey.getAndRequireEquals();
+        const lastSettlementL1BlockHeight = this.lastSettlementL1BlockHeight.getAndRequireEquals();
+        const onChainDispatchContractAddressX = this.dispatchContractAddressX.getAndRequireEquals();
+        onChainDispatchContractAddressX.assertEquals(dispatchContractAddress.x, "DispatchContract address not provided correctly");
+        const { DispatchContract, escapeHatchSlotsInterval, hooks } = SettlementSmartContractBase.args;
+        // Get dispatch contract values
+        // These values are witnesses but will be checked later on the AU
+        // call to the dispatch contract via .updateMessagesHash()
+        const dispatchContract = new DispatchContract(dispatchContractAddress);
+        const promisedMessagesHash = dispatchContract.promisedMessagesHash.get();
+        // Get block height and use the lower bound for all ops
+        const minBlockHeightIncluded = this.network.blockchainLength.get();
+        this.network.blockchainLength.requireBetween(minBlockHeightIncluded, 
+        // 5 because that is the length the newPromisedMessagesHash will be valid
+        minBlockHeightIncluded.add(4));
+        // Check signature/escape catch
+        publicKey.x.assertEquals(sequencerKey, "Sequencer public key witness not matching");
+        const signatureValid = signature.verify(publicKey, [
+            BATCH_SIGNATURE_PREFIX,
+            lastSettlementL1BlockHeight.value,
+        ]);
+        const escapeHatchActivated = lastSettlementL1BlockHeight
+            .add(UInt32.from(escapeHatchSlotsInterval))
+            .lessThan(minBlockHeightIncluded);
+        signatureValid
+            .or(escapeHatchActivated)
+            .assertTrue("Sequencer signature not valid and escape hatch not activated");
+        // Assert correctness of networkState witness
+        inputNetworkState
+            .hash()
+            .assertEquals(networkStateHash, "InputNetworkState witness not valid");
+        outputNetworkState
+            .hash()
+            .assertEquals(blockProof.publicOutput.networkStateHash, "OutputNetworkState witness not valid");
+        blockProof.publicOutput.closed.assertEquals(Bool(true), "Supplied proof is not a closed BlockProof");
+        blockProof.publicOutput.pendingSTBatchesHash.assertEquals(Field(0), "Supplied proof is has outstanding STs to be proven");
+        // Execute onSettlementHooks for additional checks
+        const stateRecord = {
+            blockHashRoot,
+            stateRoot,
+            networkStateHash,
+            lastSettlementL1BlockHeight,
+            sequencerKey: publicKey,
+        };
+        const inputs = {
+            blockProof,
+            contractState: stateRecord,
+            newPromisedMessagesHash,
+            fromNetworkState: inputNetworkState,
+            toNetworkState: outputNetworkState,
+            currentL1BlockHeight: minBlockHeightIncluded,
+        };
+        await mapSequential(hooks, async (hook) => {
+            await hook.beforeSettlement(this, inputs);
+        });
+        // Apply blockProof
+        stateRoot.assertEquals(blockProof.publicInput.stateRoot, "Input state root not matching");
+        networkStateHash.assertEquals(blockProof.publicInput.networkStateHash, "Input networkStateHash not matching");
+        blockHashRoot.assertEquals(blockProof.publicInput.blockHashRoot, "Input blockHashRoot not matching");
+        this.stateRoot.set(blockProof.publicOutput.stateRoot);
+        this.networkStateHash.set(blockProof.publicOutput.networkStateHash);
+        this.blockHashRoot.set(blockProof.publicOutput.blockHashRoot);
+        // Assert and apply deposit commitments
+        promisedMessagesHash.assertEquals(blockProof.publicOutput.incomingMessagesHash, "Promised messages not honored");
+        // Set authorization for the dispatchContract to verify the messages hash update
+        this.authorizationField.set(new UpdateMessagesHashAuth({
+            target: dispatchContract.address,
+            executedMessagesHash: promisedMessagesHash,
+            newPromisedMessagesHash,
+        }).hash());
+        // Call DispatchContract
+        // This call checks that the promisedMessagesHash, which is already proven
+        // to be the blockProofs publicoutput, is actually the current on-chain
+        // promisedMessageHash. It also checks the newPromisedMessagesHash to be
+        // a current sequencestate value
+        await dispatchContract.updateMessagesHash(promisedMessagesHash, newPromisedMessagesHash);
+        this.lastSettlementL1BlockHeight.set(minBlockHeightIncluded);
+    }
+}
+export class SettlementSmartContract extends SettlementSmartContractBase {
+    constructor() {
+        super(...arguments);
+        this.sequencerKey = State();
+        this.lastSettlementL1BlockHeight = State();
+        this.stateRoot = State();
+        this.networkStateHash = State();
+        this.blockHashRoot = State();
+        this.dispatchContractAddressX = State();
+        this.authorizationField = State();
+    }
+    async approveBase(forest) {
+        this.checkZeroBalanceChange(forest);
+    }
+    async initialize(sequencer, dispatchContract, bridgeContract, contractKey) {
+        await this.initializeBase(sequencer, dispatchContract, bridgeContract, contractKey);
+    }
+    async addTokenBridge(tokenId, address, dispatchContract) {
+        await this.deployTokenBridge(tokenId, address, dispatchContract);
+    }
+    async settle(blockProof, signature, dispatchContractAddress, publicKey, inputNetworkState, outputNetworkState, newPromisedMessagesHash) {
+        return await this.settleBase(blockProof, signature, dispatchContractAddress, publicKey, inputNetworkState, outputNetworkState, newPromisedMessagesHash);
+    }
+}
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementSmartContract.prototype, "sequencerKey", void 0);
+__decorate([
+    state(UInt32),
+    __metadata("design:type", Object)
+], SettlementSmartContract.prototype, "lastSettlementL1BlockHeight", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementSmartContract.prototype, "stateRoot", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementSmartContract.prototype, "networkStateHash", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementSmartContract.prototype, "blockHashRoot", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementSmartContract.prototype, "dispatchContractAddressX", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], SettlementSmartContract.prototype, "authorizationField", void 0);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [AccountUpdateForest]),
+    __metadata("design:returntype", Promise)
+], SettlementSmartContract.prototype, "approveBase", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey,
+        PublicKey,
+        PublicKey,
+        PrivateKey]),
+    __metadata("design:returntype", Promise)
+], SettlementSmartContract.prototype, "initialize", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Field,
+        PublicKey,
+        PublicKey]),
+    __metadata("design:returntype", Promise)
+], SettlementSmartContract.prototype, "addTokenBridge", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [DynamicBlockProof,
+        Signature,
+        PublicKey,
+        PublicKey,
+        NetworkState,
+        NetworkState,
+        Field]),
+    __metadata("design:returntype", Promise)
+], SettlementSmartContract.prototype, "settle", null);
+/* eslint-enable @typescript-eslint/lines-between-class-members */
+//# sourceMappingURL=SettlementSmartContract.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SettlementSmartContract.js","sourceRoot":"","sources":["../../../src/settlement/contracts/SettlementSmartContract.ts"],"names":[],"mappings":";;;;;;;;;AAAA,OAAO,EACL,aAAa,EAEb,aAAa,EAEb,gBAAgB,GACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAEL,IAAI,EACJ,KAAK,EACL,MAAM,EACN,SAAS,EACT,SAAS,EAET,KAAK,EACL,KAAK,EACL,MAAM,EACN,mBAAmB,EACnB,eAAe,EACf,UAAU,EAGV,MAAM,EACN,QAAQ,EACR,OAAO,EACP,YAAY,GACb,MAAM,MAAM,CAAC;AAEd,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,sDAAsD,CAAC;AAC3F,OAAO,EACL,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAS1C,OAAO,EAAE,yBAAyB,EAAE,MAAM,4CAA4C,CAAC;AACvF,OAAO,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AAEjF,mEAAmE;AAEnE,MAAM,OAAO,iBAAkB,SAAQ,YAGtC;;AACe,iCAAe,GAAG,sBAAsB,CAAC;AAEzC,kCAAgB,GAAG,uBAAuB,CAAC;AAE3C,mCAAiB,GAAG,CAAU,CAAC;AAG/C,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC;IACvC,OAAO,EAAE,KAAK;IACd,SAAS,EAAE,SAAS;CACrB,CAAC;CAAG;AA4BL,iDAAiD;AACjD,MAAM,CAAC,MAAM,sBAAsB,GAAG,aAAa,CAAC,mBAAmB,CAAC,CAAC;AAEzE,eAAe;AACf,mDAAmD;AACnD,oBAAoB;AACpB,0EAA0E;AAC1E,gDAAgD;AAChD,wCAAwC;AACxC,6EAA6E;AAC7E,4BAA4B;AAC5B,kEAAkE;AAClE,0DAA0D;AAC1D,8CAA8C;AAC9C,OAAO;AACP,IAAI;AAEJ,MAAM,OAAgB,2BAA4B,SAAQ,eAAe;IAAzE;;QAgBE,WAAM,GAAG;YACP,uBAAuB,EAAE,YAAY;SACtC,CAAC;IAqTJ,CAAC;IA1SC,aAAa;IACb,uDAAuD;IAEhD,eAAe,CAAC,IAAW;QAChC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QACnC,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,6EAA6E;IACrE,4BAA4B;QAClC,MAAM,uBAAuB,GAAa,EAAE,CAAC;QAC7C,MAAM,EAAE,IAAI,EAAE,GAAG,2BAA2B,CAAC;QAC7C,IAAI,IAAI,CAAC,yBAAyB,KAAK,SAAS,EAAE;YAChD,uBAAuB,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;SAC3D;QACD,IAAI,IAAI,CAAC,iBAAiB,KAAK,SAAS,EAAE;YACxC,uBAAuB,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;SACnD;QACD,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE;YACtC,MAAM,IAAI,KAAK,CACb,oEAAoE,uBAAuB,CAAC,MAAM,CAChG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CACtB,EAAE,CACJ,CAAC;SACH;IACH,CAAC;IAES,KAAK,CAAC,iBAAiB,CAC/B,OAAc,EACd,OAAkB,EAClB,uBAAkC,EAClC,oCAAoC,GAAG,KAAK;QAE5C,QAAQ,CAAC,QAAQ,CAAC,GAAG,EAAE;YACrB,IAAI,CAAC,4BAA4B,EAAE,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,MAAM,EAAE,IAAI,EAAE,GAAG,2BAA2B,CAAC;QAC7C,MAAM,mBAAmB,GAAG,IAAI,CAAC,cAAc,CAAC;QAChD,MAAM,cAAc,GAAG,IAAI,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAEjE,MAAM,EACJ,6BAA6B,EAC7B,iBAAiB,EACjB,yBAAyB,GAC1B,GAAG,IAAI,CAAC;QAET,IACE,iBAAiB,KAAK,SAAS;YAC/B,yBAAyB,KAAK,SAAS,EACvC;YACA,MAAM,IAAI,KAAK,CACb,8DAA8D,CAC/D,CAAC;SACH;QAED,IACE,6BAA6B,KAAK,SAAS;YAC3C,CAAC,6BAA6B,CAAC,IAAI,CAAC,UAAU,EAAE,EAChD;YACA,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;SACzE;QAED,4FAA4F;QAC5F,gGAAgG;QAChG,MAAM,uBAAuB,GAAG,MAAM,cAAc,CAAC,cAAc,CACjE,IAAI,CAAC,6BAA6B,EAClC,IAAI,CAAC,iBAAkB,EACvB,IAAI,CAAC,yBAA0B,EAC/B,IAAI,CAAC,OAAO,CACb,CAAC;QAEF,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QAEtC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,GAAG;YAC3B,4CAA4C;YAC5C,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE;YACtD,iBAAiB,EAAE,IAAI,CAAC,KAAK,CAAC;SAC/B,CAAC;QAEF,IAAI,CAAC,SAAS,CACZ,uBAAuB,EACvB,IAAI,YAAY,CAAC;YACf,OAAO,EAAE,OAAO;YAChB,SAAS,EAAE,OAAO;SACnB,CAAC,CACH,CAAC;QAEF,0EAA0E;QAC1E,mDAAmD;QACnD,IAAI,CAAC,oCAAoC,EAAE;YACzC,IAAI,CAAC,wBAAwB,CAAC,aAAa,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC;SACxE;QAED,wDAAwD;QACxD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CACzB,IAAI,yBAAyB,CAAC;YAC5B,MAAM,EAAE,uBAAuB;YAC/B,OAAO;YACP,OAAO;SACR,CAAC,CAAC,IAAI,EAAE,CACV,CAAC;QACF,MAAM,gBAAgB,GACpB,IAAI,2BAA2B,CAAC,IAAI,CAAC,gBAAgB,CACnD,uBAAuB,CACxB,CAAC;QACJ,MAAM,gBAAgB,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7E,CAAC;IAES,KAAK,CAAC,cAAc,CAC5B,SAAoB,EACpB,gBAA2B,EAC3B,cAAyB,EACzB,WAAuB;QAEvB,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAI,CAAC,aAAa,CAAC,mBAAmB,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,CAAC,wBAAwB,CAAC,mBAAmB,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAE3E,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9D,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAEtD,MAAM,EAAE,gBAAgB,EAAE,GAAG,2BAA2B,CAAC,IAAI,CAAC;QAC9D,MAAM,gBAAgB,GAAG,IAAI,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;QAChE,MAAM,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAEhD,mCAAmC;QACnC,MAAM,IAAI,CAAC,iBAAiB,CAC1B,IAAI,CAAC,OAAO,EACZ,cAAc,EACd,gBAAgB,EAChB,IAAI,CACL,CAAC;QAEF,WAAW,CAAC,WAAW,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvD,CAAC;IAES,KAAK,CAAC,UAAU,CACxB,UAA6B,EAC7B,SAAoB,EACpB,uBAAkC,EAClC,SAAoB,EACpB,iBAA+B,EAC/B,kBAAgC,EAChC,uBAA8B;QAE9B,2BAA2B;QAC3B,MAAM,YAAY,GAChB,2BAA2B,CAAC,IAAI,CAAC,2BAA2B,CAAC,kBAAkB,CAC7E,aAAa,CACd,CAAC;QACJ,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,EAAE;YACnC,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;SAC9D;QAED,wBAAwB;QACxB,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QAEhC,iCAAiC;QACjC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAAE,CAAC;QACvD,MAAM,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,EAAE,CAAC;QACrE,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,mBAAmB,EAAE,CAAC;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,mBAAmB,EAAE,CAAC;QAC7D,MAAM,2BAA2B,GAC/B,IAAI,CAAC,2BAA2B,CAAC,mBAAmB,EAAE,CAAC;QACzD,MAAM,+BAA+B,GACnC,IAAI,CAAC,wBAAwB,CAAC,mBAAmB,EAAE,CAAC;QAEtD,+BAA+B,CAAC,YAAY,CAC1C,uBAAuB,CAAC,CAAC,EACzB,iDAAiD,CAClD,CAAC;QAEF,MAAM,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,KAAK,EAAE,GACzD,2BAA2B,CAAC,IAAI,CAAC;QAEnC,+BAA+B;QAC/B,iEAAiE;QACjE,0DAA0D;QAC1D,MAAM,gBAAgB,GAAG,IAAI,gBAAgB,CAAC,uBAAuB,CAAC,CAAC;QACvE,MAAM,oBAAoB,GAAG,gBAAgB,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC;QAEzE,uDAAuD;QACvD,MAAM,sBAAsB,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,EAAE,CAAC;QACnE,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAC1C,sBAAsB;QACtB,yEAAyE;QACzE,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,CAC9B,CAAC;QAEF,+BAA+B;QAC/B,SAAS,CAAC,CAAC,CAAC,YAAY,CACtB,YAAY,EACZ,2CAA2C,CAC5C,CAAC;QACF,MAAM,cAAc,GAAG,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE;YACjD,sBAAsB;YACtB,2BAA2B,CAAC,KAAK;SAClC,CAAC,CAAC;QACH,MAAM,oBAAoB,GAAG,2BAA2B;aACrD,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;aAC1C,QAAQ,CAAC,sBAAsB,CAAC,CAAC;QACpC,cAAc;aACX,EAAE,CAAC,oBAAoB,CAAC;aACxB,UAAU,CACT,8DAA8D,CAC/D,CAAC;QAEJ,6CAA6C;QAC7C,iBAAiB;aACd,IAAI,EAAE;aACN,YAAY,CAAC,gBAAgB,EAAE,qCAAqC,CAAC,CAAC;QACzE,kBAAkB;aACf,IAAI,EAAE;aACN,YAAY,CACX,UAAU,CAAC,YAAY,CAAC,gBAAgB,EACxC,sCAAsC,CACvC,CAAC;QAEJ,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,YAAY,CACzC,IAAI,CAAC,IAAI,CAAC,EACV,2CAA2C,CAC5C,CAAC;QACF,UAAU,CAAC,YAAY,CAAC,oBAAoB,CAAC,YAAY,CACvD,KAAK,CAAC,CAAC,CAAC,EACR,oDAAoD,CACrD,CAAC;QAEF,kDAAkD;QAClD,MAAM,WAAW,GAA0B;YACzC,aAAa;YACb,SAAS;YACT,gBAAgB;YAChB,2BAA2B;YAC3B,YAAY,EAAE,SAAS;SACxB,CAAC;QACF,MAAM,MAAM,GAAyB;YACnC,UAAU;YACV,aAAa,EAAE,WAAW;YAC1B,uBAAuB;YACvB,gBAAgB,EAAE,iBAAiB;YACnC,cAAc,EAAE,kBAAkB;YAClC,oBAAoB,EAAE,sBAAsB;SAC7C,CAAC;QACF,MAAM,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YACxC,MAAM,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,mBAAmB;QACnB,SAAS,CAAC,YAAY,CACpB,UAAU,CAAC,WAAW,CAAC,SAAS,EAChC,+BAA+B,CAChC,CAAC;QAEF,gBAAgB,CAAC,YAAY,CAC3B,UAAU,CAAC,WAAW,CAAC,gBAAgB,EACvC,qCAAqC,CACtC,CAAC;QACF,aAAa,CAAC,YAAY,CACxB,UAAU,CAAC,WAAW,CAAC,aAAa,EACpC,kCAAkC,CACnC,CAAC;QACF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;QACtD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC;QACpE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;QAE9D,uCAAuC;QACvC,oBAAoB,CAAC,YAAY,CAC/B,UAAU,CAAC,YAAY,CAAC,oBAAoB,EAC5C,+BAA+B,CAChC,CAAC;QAEF,gFAAgF;QAChF,IAAI,CAAC,kBAAkB,CAAC,GAAG,CACzB,IAAI,sBAAsB,CAAC;YACzB,MAAM,EAAE,gBAAgB,CAAC,OAAO;YAChC,oBAAoB,EAAE,oBAAoB;YAC1C,uBAAuB;SACxB,CAAC,CAAC,IAAI,EAAE,CACV,CAAC;QAEF,wBAAwB;QACxB,0EAA0E;QAC1E,uEAAuE;QACvE,wEAAwE;QACxE,gCAAgC;QAChC,MAAM,gBAAgB,CAAC,kBAAkB,CACvC,oBAAoB,EACpB,uBAAuB,CACxB,CAAC;QAEF,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IAC/D,CAAC;CACF;AAED,MAAM,OAAO,uBACX,SAAQ,2BAA2B;IADrC;;QAIuB,iBAAY,GAAG,KAAK,EAAS,CAAC;QAC7B,gCAA2B,GAAG,KAAK,EAAU,CAAC;QAE/C,cAAS,GAAG,KAAK,EAAS,CAAC;QAC3B,qBAAgB,GAAG,KAAK,EAAS,CAAC;QAClC,kBAAa,GAAG,KAAK,EAAS,CAAC;QAE/B,6BAAwB,GAAG,KAAK,EAAS,CAAC;QAE1C,uBAAkB,GAAG,KAAK,EAAS,CAAC;IAkD3D,CAAC;IAhDe,AAAN,KAAK,CAAC,WAAW,CAAC,MAA2B;QACnD,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;IAGY,AAAN,KAAK,CAAC,UAAU,CACrB,SAAoB,EACpB,gBAA2B,EAC3B,cAAyB,EACzB,WAAuB;QAEvB,MAAM,IAAI,CAAC,cAAc,CACvB,SAAS,EACT,gBAAgB,EAChB,cAAc,EACd,WAAW,CACZ,CAAC;IACJ,CAAC;IAGY,AAAN,KAAK,CAAC,cAAc,CACzB,OAAc,EACd,OAAkB,EAClB,gBAA2B;QAE3B,MAAM,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACnE,CAAC;IAGY,AAAN,KAAK,CAAC,MAAM,CACjB,UAA6B,EAC7B,SAAoB,EACpB,uBAAkC,EAClC,SAAoB,EACpB,iBAA+B,EAC/B,kBAAgC,EAChC,uBAA8B;QAE9B,OAAO,MAAM,IAAI,CAAC,UAAU,CAC1B,UAAU,EACV,SAAS,EACT,uBAAuB,EACvB,SAAS,EACT,iBAAiB,EACjB,kBAAkB,EAClB,uBAAuB,CACxB,CAAC;IACJ,CAAC;CACF;AA3DsB;IAApB,KAAK,CAAC,KAAK,CAAC;;6DAAsC;AAC7B;IAArB,KAAK,CAAC,MAAM,CAAC;;4EAAsD;AAE/C;IAApB,KAAK,CAAC,KAAK,CAAC;;0DAAmC;AAC3B;IAApB,KAAK,CAAC,KAAK,CAAC;;iEAA0C;AAClC;IAApB,KAAK,CAAC,KAAK,CAAC;;8DAAuC;AAE/B;IAApB,KAAK,CAAC,KAAK,CAAC;;yEAAkD;AAE1C;IAApB,KAAK,CAAC,KAAK,CAAC;;mEAA4C;AAE3C;IAAb,MAAM;;qCAA2B,mBAAmB;;0DAEpD;AAGY;IADZ,MAAM;;qCAEM,SAAS;QACF,SAAS;QACX,SAAS;QACZ,UAAU;;yDAQxB;AAGY;IADZ,MAAM;;qCAEI,KAAK;QACL,SAAS;QACA,SAAS;;6DAG5B;AAGY;IADZ,MAAM;;qCAEO,iBAAiB;QAClB,SAAS;QACK,SAAS;QACvB,SAAS;QACD,YAAY;QACX,YAAY;QACP,KAAK;;qDAW/B;AAGH,kEAAkE"}

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":""}