@silvana-one/upgradable 0.1.0

package/dist/web/upgrade.d.ts

@@ -0,0 +1,186 @@
+import { SmartContract, State, VerificationKey, Field, UInt32 } from "o1js";
+import { IndexedMapSerialized, Storage } from "@silvana-one/storage";
+import { UpgradeAuthorityBase, VerificationKeyUpgradeData, UpgradeAuthorityAnswer } from "./upgradable.js";
+import { UpgradeAuthorityDatabase, ValidatorsState, UpgradeDatabaseState, ValidatorsVotingProof, UpgradeDatabaseStatePacked } from "./validators.js";
+export { VerificationKeyUpgradeAuthority, UpgradeAuthorityDatabase, ValidatorsListEvent, ValidatorsListData, };
+/**
+ * Interface representing the data for a list of validators.
+ */
+interface ValidatorsListData {
+    validators: {
+        publicKey: string;
+        authorizedToVote: boolean;
+    }[];
+    validatorsCount: number;
+    root: string;
+    map: IndexedMapSerialized;
+}
+declare const ValidatorsListEvent_base: (new (value: {
+    validators: ValidatorsState;
+    storage: Storage;
+}) => {
+    validators: ValidatorsState;
+    storage: Storage;
+}) & {
+    _isStruct: true;
+} & Omit<import("node_modules/o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
+    validators: ValidatorsState;
+    storage: Storage;
+}, {
+    validators: {
+        chainId: bigint;
+        root: bigint;
+        count: bigint;
+    };
+    storage: {
+        url: bigint[];
+    };
+}>, "fromFields"> & {
+    fromFields: (fields: import("node_modules/o1js/dist/node/lib/provable/field.js").Field[]) => {
+        validators: ValidatorsState;
+        storage: Storage;
+    };
+} & {
+    fromValue: (value: {
+        validators: ValidatorsState | {
+            chainId: string | number | bigint | import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+            root: string | number | bigint | import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+            count: bigint | UInt32;
+        };
+        storage: Storage | {
+            url: import("node_modules/o1js/dist/node/lib/provable/field.js").Field[] | bigint[];
+        };
+    }) => {
+        validators: ValidatorsState;
+        storage: Storage;
+    };
+    toInput: (x: {
+        validators: ValidatorsState;
+        storage: Storage;
+    }) => {
+        fields?: Field[] | undefined;
+        packed?: [Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        validators: ValidatorsState;
+        storage: Storage;
+    }) => {
+        validators: {
+            chainId: string;
+            root: string;
+            count: string;
+        };
+        storage: {
+            url: string[];
+        };
+    };
+    fromJSON: (x: {
+        validators: {
+            chainId: string;
+            root: string;
+            count: string;
+        };
+        storage: {
+            url: string[];
+        };
+    }) => {
+        validators: ValidatorsState;
+        storage: Storage;
+    };
+    empty: () => {
+        validators: ValidatorsState;
+        storage: Storage;
+    };
+};
+/**
+ * Event emitted when the validators list is updated.
+ */
+declare class ValidatorsListEvent extends ValidatorsListEvent_base {
+}
+/**
+ * **VerificationKeyUpgradeAuthority** is a smart contract that provides a secure mechanism
+ * for upgrading the verification keys of other contracts without requiring redeployment.
+ * It manages a list of validators who can vote on upgrade proposals, ensuring that only
+ * authorized upgrades are applied.
+ *
+ * **Key Features:**
+ * - **Verification Key Management**: Allows for secure upgrades of verification keys for other contracts.
+ * - **Validators Governance**: Maintains a list of authorized validators who can vote on upgrade proposals.
+ * - **Secure Voting Mechanism**: Implements Zero-Knowledge proofs to validate votes from validators without revealing sensitive information.
+ * - **Upgrade Database Management**: Keeps track of upgrade proposals and their validity periods.
+ * - **Event Emissions**: Emits events when validators list or upgrade database is updated.
+ */
+declare class VerificationKeyUpgradeAuthority extends SmartContract implements UpgradeAuthorityBase {
+    /**
+     * The hash of the verification key.
+     * @type {State<Field>}
+     */
+    verificationKeyHash: State<import("node_modules/o1js/dist/node/lib/provable/field.js").Field>;
+    /**
+     * The hash representing the current state of the validators list.
+     * @type {State<Field>}
+     */
+    validators: State<import("node_modules/o1js/dist/node/lib/provable/field.js").Field>;
+    /**
+     * Packed state containing the upgrade database information.
+     * @type {State<UpgradeDatabaseStatePacked>}
+     */
+    upgradeDatabasePacked: State<UpgradeDatabaseStatePacked>;
+    /**
+     * The events emitted by the VerificationKeyUpgradeAuthority contract.
+     */
+    events: {
+        validatorsList: typeof ValidatorsListEvent;
+        updateDatabase: typeof UpgradeDatabaseState;
+    };
+    /**
+     * Deploys the contract and sets the initial state.
+     */
+    deploy(): Promise<void>;
+    /**
+     * Initializes the contract with validators and sets the verification key hash.
+     *
+     * @param {ValidatorsState} validators - The initial validators state.
+     * @param {Storage} storage - Off-chain storage information, e.g., IPFS hash.
+     * @param {Field} verificationKeyHash - The hash of the verification key.
+     */
+    initialize(validators: ValidatorsState, storage: Storage, verificationKeyHash: Field): Promise<void>;
+    /**
+     * Sets the validators list and emits an event.
+     *
+     * @param {ValidatorsState} validators - The validators state to set.
+     * @param {Storage} storage - The storage associated with the validators list.
+     */
+    setValidatorsList(validators: ValidatorsState, storage: Storage): Promise<void>;
+    /**
+     * Verifies the upgrade data provided by another contract.
+     *
+     * @param {VerificationKeyUpgradeData} data - The upgrade data to verify.
+     * @returns {Promise<UpgradeAuthorityAnswer>} - The answer indicating verification result.
+     */
+    verifyUpgradeData(data: VerificationKeyUpgradeData): Promise<UpgradeAuthorityAnswer>;
+    /**
+     * Updates the upgrade database after validator consensus.
+     *
+     * @param {ValidatorsVotingProof} proof - The proof of validators voting.
+     * @param {VerificationKey} vk - The verification key to validate the proof.
+     */
+    updateDatabase(proof: ValidatorsVotingProof, vk: VerificationKey, validators: ValidatorsState): Promise<void>;
+    /**
+     * Updates the validators list based on validator votes.
+     *
+     * @param {ValidatorsState} validators - The new validators state.
+     * @param {Storage} storage - The storage associated with the validators list.
+     * @param {ValidatorsVotingProof} proof - The proof of validators voting.
+     * @param {VerificationKey} vk - The verification key to validate the proof.
+     */
+    updateValidatorsList(validators: ValidatorsState, storage: Storage, proof: ValidatorsVotingProof, vk: VerificationKey): Promise<void>;
+    /**
+     * Checks the validators' decision by verifying the provided proof.
+     *
+     * @param {ValidatorsVotingProof} proof - The proof to verify.
+     * @param {VerificationKey} vk - The verification key to validate the proof.
+     * @param {Field} decisionType - The type of decision being validated.
+     */
+    checkValidatorsDecision(proof: ValidatorsVotingProof, vk: VerificationKey, decisionType: Field, validatorsState: ValidatorsState): Promise<void>;
+}

package/dist/web/upgrade.js

@@ -0,0 +1,223 @@
+import { __decorate, __metadata } from "tslib";
+import { Bool, method, Permissions, Provable, SmartContract, State, state, VerificationKey, Field, Struct, UInt32, } from "o1js";
+import { loadIndexedMerkleMap, createIpfsURL, Storage, } from "@silvana-one/storage";
+import { VerificationKeyUpgradeData, UpgradeAuthorityAnswer, } from "./upgradable.js";
+import { UpgradeAuthorityDatabase, ValidatorsState, UpgradeDatabaseState, ValidatorsVotingProof, ValidatorDecisionType, UpgradeDatabaseStatePacked, } from "./validators.js";
+export { VerificationKeyUpgradeAuthority, UpgradeAuthorityDatabase, ValidatorsListEvent, };
+/**
+ * Event emitted when the validators list is updated.
+ */
+class ValidatorsListEvent extends Struct({
+    validators: ValidatorsState,
+    storage: Storage,
+}) {
+}
+/**
+ * Error messages for the VerificationKeyUpgradeAuthority contract.
+ */
+const VerificationKeyUpgradeAuthorityErrors = {
+    WrongNewVerificationKeyHash: "Wrong new verification key hash",
+};
+/**
+ * **VerificationKeyUpgradeAuthority** is a smart contract that provides a secure mechanism
+ * for upgrading the verification keys of other contracts without requiring redeployment.
+ * It manages a list of validators who can vote on upgrade proposals, ensuring that only
+ * authorized upgrades are applied.
+ *
+ * **Key Features:**
+ * - **Verification Key Management**: Allows for secure upgrades of verification keys for other contracts.
+ * - **Validators Governance**: Maintains a list of authorized validators who can vote on upgrade proposals.
+ * - **Secure Voting Mechanism**: Implements Zero-Knowledge proofs to validate votes from validators without revealing sensitive information.
+ * - **Upgrade Database Management**: Keeps track of upgrade proposals and their validity periods.
+ * - **Event Emissions**: Emits events when validators list or upgrade database is updated.
+ */
+class VerificationKeyUpgradeAuthority extends SmartContract {
+    constructor() {
+        super(...arguments);
+        /**
+         * The hash of the verification key.
+         * @type {State<Field>}
+         */
+        this.verificationKeyHash = State();
+        /**
+         * The hash representing the current state of the validators list.
+         * @type {State<Field>}
+         */
+        this.validators = State();
+        /**
+         * Packed state containing the upgrade database information.
+         * @type {State<UpgradeDatabaseStatePacked>}
+         */
+        this.upgradeDatabasePacked = State();
+        /**
+         * The events emitted by the VerificationKeyUpgradeAuthority contract.
+         */
+        this.events = {
+            validatorsList: ValidatorsListEvent,
+            updateDatabase: UpgradeDatabaseState,
+        };
+    }
+    /**
+     * Deploys the contract and sets the initial state.
+     */
+    async deploy() {
+        await super.deploy();
+        this.upgradeDatabasePacked.set(UpgradeDatabaseState.empty().pack());
+        this.account.permissions.set({
+            ...Permissions.default(),
+            setVerificationKey: 
+            // The contract needs to be redeployed in the case of an upgrade.
+            Permissions.VerificationKey.impossibleDuringCurrentVersion(),
+            setPermissions: Permissions.impossible(),
+        });
+    }
+    /**
+     * Initializes the contract with validators and sets the verification key hash.
+     *
+     * @param {ValidatorsState} validators - The initial validators state.
+     * @param {Storage} storage - Off-chain storage information, e.g., IPFS hash.
+     * @param {Field} verificationKeyHash - The hash of the verification key.
+     */
+    async initialize(validators, storage, verificationKeyHash) {
+        this.account.provedState.requireEquals(Bool(false));
+        await this.setValidatorsList(validators, storage);
+        this.verificationKeyHash.set(verificationKeyHash);
+    }
+    /**
+     * Sets the validators list and emits an event.
+     *
+     * @param {ValidatorsState} validators - The validators state to set.
+     * @param {Storage} storage - The storage associated with the validators list.
+     */
+    async setValidatorsList(validators, storage) {
+        this.validators.set(validators.hash());
+        this.emitEvent("validatorsList", new ValidatorsListEvent({ validators, storage }));
+    }
+    /**
+     * Verifies the upgrade data provided by another contract.
+     *
+     * @param {VerificationKeyUpgradeData} data - The upgrade data to verify.
+     * @returns {Promise<UpgradeAuthorityAnswer>} - The answer indicating verification result.
+     */
+    async verifyUpgradeData(data) {
+        const upgradeDatabase = UpgradeDatabaseState.unpack(this.upgradeDatabasePacked.getAndRequireEquals());
+        this.network.globalSlotSinceGenesis.requireBetween(upgradeDatabase.validFrom, UInt32.MAXINT());
+        const map = await Provable.witnessAsync(UpgradeAuthorityDatabase, async () => {
+            return await loadIndexedMerkleMap({
+                url: createIpfsURL({ hash: upgradeDatabase.storage.toString() }),
+                type: UpgradeAuthorityDatabase,
+            });
+        });
+        map.root.assertEquals(upgradeDatabase.root);
+        const key = data.hash();
+        const newVerificationKeyHash = map.get(key);
+        newVerificationKeyHash.assertEquals(data.newVerificationKeyHash, VerificationKeyUpgradeAuthorityErrors.WrongNewVerificationKeyHash);
+        return new UpgradeAuthorityAnswer({
+            // Should be public key of the next upgrade authority in case
+            // new version of o1js breaks the verification key of upgrade authority
+            nextUpgradeAuthority: upgradeDatabase.nextUpgradeAuthority,
+            isVerified: Bool(true),
+        });
+    }
+    /**
+     * Updates the upgrade database after validator consensus.
+     *
+     * @param {ValidatorsVotingProof} proof - The proof of validators voting.
+     * @param {VerificationKey} vk - The verification key to validate the proof.
+     */
+    async updateDatabase(proof, vk, validators) {
+        const oldUpgradeDatabase = UpgradeDatabaseState.unpack(this.upgradeDatabasePacked.getAndRequireEquals());
+        const upgradeDatabase = proof.publicInput.decision.upgradeDatabase;
+        upgradeDatabase.version.assertGreaterThan(oldUpgradeDatabase.version);
+        await this.checkValidatorsDecision(proof, vk, ValidatorDecisionType["updateDatabase"], validators);
+        // This does not create a constraint on the storage,
+        // serves to prevent deployment errors.
+        // Can be replaced with Data Availability proof in the future.
+        // TODO: consider using Celestia DA for this.
+        const map = await Provable.witnessAsync(UpgradeAuthorityDatabase, async () => {
+            return await loadIndexedMerkleMap({
+                url: createIpfsURL({ hash: upgradeDatabase.storage.toString() }),
+                type: UpgradeAuthorityDatabase,
+            });
+        });
+        map.root.assertEquals(upgradeDatabase.root);
+        this.upgradeDatabasePacked.set(upgradeDatabase.pack());
+        this.emitEvent("updateDatabase", upgradeDatabase);
+    }
+    /**
+     * Updates the validators list based on validator votes.
+     *
+     * @param {ValidatorsState} validators - The new validators state.
+     * @param {Storage} storage - The storage associated with the validators list.
+     * @param {ValidatorsVotingProof} proof - The proof of validators voting.
+     * @param {VerificationKey} vk - The verification key to validate the proof.
+     */
+    async updateValidatorsList(validators, storage, proof, vk) {
+        await this.checkValidatorsDecision(proof, vk, ValidatorDecisionType["updateValidatorsList"], validators);
+        await this.setValidatorsList(validators, storage);
+    }
+    /**
+     * Checks the validators' decision by verifying the provided proof.
+     *
+     * @param {ValidatorsVotingProof} proof - The proof to verify.
+     * @param {VerificationKey} vk - The verification key to validate the proof.
+     * @param {Field} decisionType - The type of decision being validated.
+     */
+    async checkValidatorsDecision(proof, vk, decisionType, validatorsState) {
+        this.network.globalSlotSinceGenesis.requireBetween(UInt32.zero, proof.publicInput.decision.expiry);
+        vk.hash.assertEquals(this.verificationKeyHash.getAndRequireEquals());
+        proof.verify(vk);
+        proof.publicInput.decision.validators
+            .hash()
+            .assertEquals(this.validators.getAndRequireEquals());
+        proof.publicInput.decision.decisionType.assertEquals(decisionType);
+        proof.publicInput.decision.contractAddress.assertEquals(this.address);
+        validatorsState.hash().assertEquals(this.validators.getAndRequireEquals());
+        proof.publicOutput.yesVotes.mul(2).assertGreaterThan(validatorsState.count);
+    }
+}
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], VerificationKeyUpgradeAuthority.prototype, "verificationKeyHash", void 0);
+__decorate([
+    state(Field),
+    __metadata("design:type", Object)
+], VerificationKeyUpgradeAuthority.prototype, "validators", void 0);
+__decorate([
+    state(UpgradeDatabaseStatePacked),
+    __metadata("design:type", Object)
+], VerificationKeyUpgradeAuthority.prototype, "upgradeDatabasePacked", void 0);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [ValidatorsState,
+        Storage,
+        Field]),
+    __metadata("design:returntype", Promise)
+], VerificationKeyUpgradeAuthority.prototype, "initialize", null);
+__decorate([
+    method.returns(UpgradeAuthorityAnswer),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [VerificationKeyUpgradeData]),
+    __metadata("design:returntype", Promise)
+], VerificationKeyUpgradeAuthority.prototype, "verifyUpgradeData", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [ValidatorsVotingProof,
+        VerificationKey,
+        ValidatorsState]),
+    __metadata("design:returntype", Promise)
+], VerificationKeyUpgradeAuthority.prototype, "updateDatabase", null);
+__decorate([
+    method // add proof of validators voting
+    ,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [ValidatorsState,
+        Storage,
+        ValidatorsVotingProof,
+        VerificationKey]),
+    __metadata("design:returntype", Promise)
+], VerificationKeyUpgradeAuthority.prototype, "updateValidatorsList", null);
+//# sourceMappingURL=upgrade.js.map

package/dist/web/upgrade.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"upgrade.js","sourceRoot":"","sources":["../../src/upgrade.ts"],"names":[],"mappings":";AAAA,OAAO,EACL,IAAI,EACJ,MAAM,EACN,WAAW,EACX,QAAQ,EACR,aAAa,EACb,KAAK,EACL,KAAK,EACL,eAAe,EACf,KAAK,EACL,MAAM,EACN,MAAM,GACP,MAAM,MAAM,CAAC;AACd,OAAO,EACL,oBAAoB,EACpB,aAAa,EAEb,OAAO,GACR,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAEL,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,wBAAwB,EACxB,eAAe,EACf,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,+BAA+B,EAC/B,wBAAwB,EACxB,mBAAmB,GAEpB,CAAC;AAeF;;GAEG;AACH,MAAM,mBAAoB,SAAQ,MAAM,CAAC;IACvC,UAAU,EAAE,eAAe;IAC3B,OAAO,EAAE,OAAO;CACjB,CAAC;CAAG;AAEL;;GAEG;AACH,MAAM,qCAAqC,GAAG;IAC5C,2BAA2B,EAAE,iCAAiC;CAC/D,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,+BACJ,SAAQ,aAAa;IADvB;;QAIE;;;WAGG;QACW,wBAAmB,GAAG,KAAK,EAAS,CAAC;QAEnD;;;WAGG;QACW,eAAU,GAAG,KAAK,EAAS,CAAC;QAE1C;;;WAGG;QAEH,0BAAqB,GAAG,KAAK,EAA8B,CAAC;QAE5D;;WAEG;QACH,WAAM,GAAG;YACP,cAAc,EAAE,mBAAmB;YACnC,cAAc,EAAE,oBAAoB;SACrC,CAAC;IAuLJ,CAAC;IArLC;;OAEG;IACH,KAAK,CAAC,MAAM;QACV,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC;QACrB,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QACpE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC;YAC3B,GAAG,WAAW,CAAC,OAAO,EAAE;YACxB,kBAAkB;YAChB,iEAAiE;YACjE,WAAW,CAAC,eAAe,CAAC,8BAA8B,EAAE;YAC9D,cAAc,EAAE,WAAW,CAAC,UAAU,EAAE;SACzC,CAAC,CAAC;IACL,CAAC;IAED;;;;;;OAMG;IAEG,AAAN,KAAK,CAAC,UAAU,CACd,UAA2B,EAC3B,OAAgB,EAChB,mBAA0B;QAE1B,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACpD,MAAM,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAClD,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;IACpD,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,iBAAiB,CAAC,UAA2B,EAAE,OAAgB;QACnE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;QACvC,IAAI,CAAC,SAAS,CACZ,gBAAgB,EAChB,IAAI,mBAAmB,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CACjD,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IAEU,AAAN,KAAK,CAAC,iBAAiB,CAC5B,IAAgC;QAEhC,MAAM,eAAe,GAAG,oBAAoB,CAAC,MAAM,CACjD,IAAI,CAAC,qBAAqB,CAAC,mBAAmB,EAAE,CACjD,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC,cAAc,CAChD,eAAe,CAAC,SAAS,EACzB,MAAM,CAAC,MAAM,EAAE,CAChB,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,YAAY,CACrC,wBAAwB,EACxB,KAAK,IAAI,EAAE;YACT,OAAO,MAAM,oBAAoB,CAAC;gBAChC,GAAG,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;gBAChE,IAAI,EAAE,wBAAwB;aAC/B,CAAC,CAAC;QACL,CAAC,CACF,CAAC;QACF,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,MAAM,sBAAsB,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5C,sBAAsB,CAAC,YAAY,CACjC,IAAI,CAAC,sBAAsB,EAC3B,qCAAqC,CAAC,2BAA2B,CAClE,CAAC;QACF,OAAO,IAAI,sBAAsB,CAAC;YAChC,6DAA6D;YAC7D,uEAAuE;YACvE,oBAAoB,EAAE,eAAe,CAAC,oBAAoB;YAC1D,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC;SACvB,CAAC,CAAC;IACL,CAAC;IAED;;;;;OAKG;IAEG,AAAN,KAAK,CAAC,cAAc,CAClB,KAA4B,EAC5B,EAAmB,EACnB,UAA2B;QAE3B,MAAM,kBAAkB,GAAG,oBAAoB,CAAC,MAAM,CACpD,IAAI,CAAC,qBAAqB,CAAC,mBAAmB,EAAE,CACjD,CAAC;QACF,MAAM,eAAe,GAAG,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,eAAe,CAAC;QACnE,eAAe,CAAC,OAAO,CAAC,iBAAiB,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;QACtE,MAAM,IAAI,CAAC,uBAAuB,CAChC,KAAK,EACL,EAAE,EACF,qBAAqB,CAAC,gBAAgB,CAAC,EACvC,UAAU,CACX,CAAC;QAEF,oDAAoD;QACpD,uCAAuC;QACvC,8DAA8D;QAC9D,6CAA6C;QAC7C,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,YAAY,CACrC,wBAAwB,EACxB,KAAK,IAAI,EAAE;YACT,OAAO,MAAM,oBAAoB,CAAC;gBAChC,GAAG,EAAE,aAAa,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;gBAChE,IAAI,EAAE,wBAAwB;aAC/B,CAAC,CAAC;QACL,CAAC,CACF,CAAC;QACF,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,SAAS,CAAC,gBAAgB,EAAE,eAAe,CAAC,CAAC;IACpD,CAAC;IAED;;;;;;;OAOG;IAEG,AAAN,KAAK,CAAC,oBAAoB,CACxB,UAA2B,EAC3B,OAAgB,EAChB,KAA4B,EAC5B,EAAmB;QAEnB,MAAM,IAAI,CAAC,uBAAuB,CAChC,KAAK,EACL,EAAE,EACF,qBAAqB,CAAC,sBAAsB,CAAC,EAC7C,UAAU,CACX,CAAC;QACF,MAAM,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,uBAAuB,CAC3B,KAA4B,EAC5B,EAAmB,EACnB,YAAmB,EACnB,eAAgC;QAEhC,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC,cAAc,CAChD,MAAM,CAAC,IAAI,EACX,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAClC,CAAC;QACF,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,mBAAmB,CAAC,mBAAmB,EAAE,CAAC,CAAC;QACrE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACjB,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU;aAClC,IAAI,EAAE;aACN,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,EAAE,CAAC,CAAC;QACvD,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;QACnE,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtE,eAAe,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,EAAE,CAAC,CAAC;QAC3E,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IAC9E,CAAC;CACF;AA5Me;IAAb,KAAK,CAAC,KAAK,CAAC;;4EAAsC;AAMrC;IAAb,KAAK,CAAC,KAAK,CAAC;;mEAA6B;AAO1C;IADC,KAAK,CAAC,0BAA0B,CAAC;;8EAC0B;AAiCtD;IADL,MAAM;;qCAEO,eAAe;QAClB,OAAO;QACK,KAAK;;iEAK3B;AAuBY;IADZ,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC;;qCAE/B,0BAA0B;;wEA+BjC;AASK;IADL,MAAM;;qCAEE,qBAAqB;QACxB,eAAe;QACP,eAAe;;qEA8B5B;AAWK;IADL,MAAM,CAAC,iCAAiC;;;qCAE3B,eAAe;QAClB,OAAO;QACT,qBAAqB;QACxB,eAAe;;2EASpB"}