zkcloudworker 0.12.1 → 0.14.0

package/lib/web/src/mina/token/FungibleToken.d.ts

@@ -0,0 +1,338 @@
+import { AccountUpdate, AccountUpdateForest, Bool, DeployArgs, Field, Int64, PublicKey, State, TokenContractV2, Types, UInt64, UInt8, VerificationKey } from "o1js";
+import { FungibleTokenAdminBase } from "./FungibleTokenAdmin.js";
+interface FungibleTokenDeployProps extends Exclude<DeployArgs, undefined> {
+    /** The token symbol. */
+    symbol: string;
+    /** A source code reference, which is placed within the `zkappUri` of the contract account.
+     * Typically a link to a file on github. */
+    src: string;
+}
+export declare const FungibleTokenErrors: {
+    noAdminKey: string;
+    noPermissionToChangeAdmin: string;
+    tokenPaused: string;
+    noPermissionToMint: string;
+    noPermissionToPause: string;
+    noPermissionToResume: string;
+    noTransferFromCirculation: string;
+    noPermissionChangeAllowed: string;
+    flashMinting: string;
+    unbalancedTransaction: string;
+};
+export declare class FungibleToken extends TokenContractV2 {
+    decimals: State<UInt8>;
+    admin: State<PublicKey>;
+    paused: State<import("o1js/dist/node/lib/provable/bool.js").Bool>;
+    static AdminContract: new (...args: any) => FungibleTokenAdminBase;
+    readonly events: {
+        SetAdmin: typeof SetAdminEvent;
+        Pause: typeof PauseEvent;
+        Mint: typeof MintEvent;
+        Burn: typeof BurnEvent;
+        BalanceChange: typeof BalanceChangeEvent;
+    };
+    deploy(props: FungibleTokenDeployProps): Promise<void>;
+    /** Update the verification key.
+     * Note that because we have set the permissions for setting the verification key to `impossibleDuringCurrentVersion()`, this will only be possible in case of a protocol update that requires an update.
+     */
+    updateVerificationKey(vk: VerificationKey): Promise<void>;
+    /** Initializes the account for tracking total circulation.
+     * @argument {PublicKey} admin - public key where the admin contract is deployed
+     * @argument {UInt8} decimals - number of decimals for the token
+     * @argument {Bool} startPaused - if set to `Bool(true), the contract will start in a mode where token minting and transfers are paused. This should be used for non-atomic deployments
+     */
+    initialize(admin: PublicKey, decimals: UInt8, startPaused: Bool): Promise<void>;
+    getAdminContract(): Promise<FungibleTokenAdminBase>;
+    setAdmin(admin: PublicKey): Promise<void>;
+    mint(recipient: PublicKey, amount: UInt64): Promise<AccountUpdate>;
+    burn(from: PublicKey, amount: UInt64): Promise<AccountUpdate>;
+    pause(): Promise<void>;
+    resume(): Promise<void>;
+    transfer(from: PublicKey, to: PublicKey, amount: UInt64): Promise<void>;
+    private checkPermissionsUpdate;
+    /** Approve `AccountUpdate`s that have been created outside of the token contract.
+     *
+     * @argument {AccountUpdateForest} updates - The `AccountUpdate`s to approve. Note that the forest size is limited by the base token contract, @see TokenContractV2.MAX_ACCOUNT_UPDATES The current limit is 9.
+     */
+    approveBase(updates: AccountUpdateForest): Promise<void>;
+    getBalanceOf(address: PublicKey): Promise<UInt64>;
+    /** Reports the current circulating supply
+     * This does take into account currently unreduced actions.
+     */
+    getCirculating(): Promise<UInt64>;
+    getDecimals(): Promise<UInt8>;
+}
+declare const SetAdminEvent_base: (new (value: {
+    adminKey: PublicKey;
+}) => {
+    adminKey: PublicKey;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
+    adminKey: PublicKey;
+}, {
+    adminKey: {
+        x: bigint;
+        isOdd: boolean;
+    };
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => {
+        adminKey: PublicKey;
+    };
+} & {
+    fromValue: (value: {
+        adminKey: PublicKey | {
+            x: Field | bigint;
+            isOdd: Bool | boolean;
+        };
+    }) => {
+        adminKey: PublicKey;
+    };
+    toInput: (x: {
+        adminKey: PublicKey;
+    }) => {
+        fields?: Field[] | undefined;
+        packed?: [Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        adminKey: PublicKey;
+    }) => {
+        adminKey: string;
+    };
+    fromJSON: (x: {
+        adminKey: string;
+    }) => {
+        adminKey: PublicKey;
+    };
+    empty: () => {
+        adminKey: PublicKey;
+    };
+};
+export declare class SetAdminEvent extends SetAdminEvent_base {
+}
+declare const PauseEvent_base: (new (value: {
+    isPaused: import("o1js/dist/node/lib/provable/bool.js").Bool;
+}) => {
+    isPaused: import("o1js/dist/node/lib/provable/bool.js").Bool;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
+    isPaused: import("o1js/dist/node/lib/provable/bool.js").Bool;
+}, {
+    isPaused: boolean;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => {
+        isPaused: import("o1js/dist/node/lib/provable/bool.js").Bool;
+    };
+} & {
+    fromValue: (value: {
+        isPaused: boolean | import("o1js/dist/node/lib/provable/bool.js").Bool;
+    }) => {
+        isPaused: import("o1js/dist/node/lib/provable/bool.js").Bool;
+    };
+    toInput: (x: {
+        isPaused: import("o1js/dist/node/lib/provable/bool.js").Bool;
+    }) => {
+        fields?: Field[] | undefined;
+        packed?: [Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        isPaused: import("o1js/dist/node/lib/provable/bool.js").Bool;
+    }) => {
+        isPaused: boolean;
+    };
+    fromJSON: (x: {
+        isPaused: boolean;
+    }) => {
+        isPaused: import("o1js/dist/node/lib/provable/bool.js").Bool;
+    };
+    empty: () => {
+        isPaused: import("o1js/dist/node/lib/provable/bool.js").Bool;
+    };
+};
+export declare class PauseEvent extends PauseEvent_base {
+}
+declare const MintEvent_base: (new (value: {
+    recipient: PublicKey;
+    amount: Types.UInt64;
+}) => {
+    recipient: PublicKey;
+    amount: Types.UInt64;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
+    recipient: PublicKey;
+    amount: Types.UInt64;
+}, {
+    recipient: {
+        x: bigint;
+        isOdd: boolean;
+    };
+    amount: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => {
+        recipient: PublicKey;
+        amount: Types.UInt64;
+    };
+} & {
+    fromValue: (value: {
+        recipient: PublicKey | {
+            x: Field | bigint;
+            isOdd: Bool | boolean;
+        };
+        amount: bigint | Types.UInt64;
+    }) => {
+        recipient: PublicKey;
+        amount: Types.UInt64;
+    };
+    toInput: (x: {
+        recipient: PublicKey;
+        amount: Types.UInt64;
+    }) => {
+        fields?: Field[] | undefined;
+        packed?: [Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        recipient: PublicKey;
+        amount: Types.UInt64;
+    }) => {
+        recipient: string;
+        amount: string;
+    };
+    fromJSON: (x: {
+        recipient: string;
+        amount: string;
+    }) => {
+        recipient: PublicKey;
+        amount: Types.UInt64;
+    };
+    empty: () => {
+        recipient: PublicKey;
+        amount: Types.UInt64;
+    };
+};
+export declare class MintEvent extends MintEvent_base {
+}
+declare const BurnEvent_base: (new (value: {
+    from: PublicKey;
+    amount: Types.UInt64;
+}) => {
+    from: PublicKey;
+    amount: Types.UInt64;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
+    from: PublicKey;
+    amount: Types.UInt64;
+}, {
+    from: {
+        x: bigint;
+        isOdd: boolean;
+    };
+    amount: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => {
+        from: PublicKey;
+        amount: Types.UInt64;
+    };
+} & {
+    fromValue: (value: {
+        from: PublicKey | {
+            x: Field | bigint;
+            isOdd: Bool | boolean;
+        };
+        amount: bigint | Types.UInt64;
+    }) => {
+        from: PublicKey;
+        amount: Types.UInt64;
+    };
+    toInput: (x: {
+        from: PublicKey;
+        amount: Types.UInt64;
+    }) => {
+        fields?: Field[] | undefined;
+        packed?: [Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        from: PublicKey;
+        amount: Types.UInt64;
+    }) => {
+        from: string;
+        amount: string;
+    };
+    fromJSON: (x: {
+        from: string;
+        amount: string;
+    }) => {
+        from: PublicKey;
+        amount: Types.UInt64;
+    };
+    empty: () => {
+        from: PublicKey;
+        amount: Types.UInt64;
+    };
+};
+export declare class BurnEvent extends BurnEvent_base {
+}
+declare const BalanceChangeEvent_base: (new (value: {
+    address: PublicKey;
+    amount: Int64;
+}) => {
+    address: PublicKey;
+    amount: Int64;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
+    address: PublicKey;
+    amount: Int64;
+}, {
+    address: {
+        x: bigint;
+        isOdd: boolean;
+    };
+    amount: any;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field.js").Field[]) => {
+        address: PublicKey;
+        amount: Int64;
+    };
+} & {
+    fromValue: (value: {
+        address: PublicKey | {
+            x: Field | bigint;
+            isOdd: Bool | boolean;
+        };
+        amount: any;
+    }) => {
+        address: PublicKey;
+        amount: Int64;
+    };
+    toInput: (x: {
+        address: PublicKey;
+        amount: Int64;
+    }) => {
+        fields?: Field[] | undefined;
+        packed?: [Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        address: PublicKey;
+        amount: Int64;
+    }) => {
+        address: string;
+        amount: any;
+    };
+    fromJSON: (x: {
+        address: string;
+        amount: any;
+    }) => {
+        address: PublicKey;
+        amount: Int64;
+    };
+    empty: () => {
+        address: PublicKey;
+        amount: Int64;
+    };
+};
+export declare class BalanceChangeEvent extends BalanceChangeEvent_base {
+}
+export {};

package/lib/web/src/mina/token/FungibleToken.js

@@ -0,0 +1,274 @@
+import { __decorate, __metadata } from "tslib";
+import { AccountUpdate, AccountUpdateForest, assert, Bool, Int64, method, Permissions, Provable, PublicKey, State, state, Struct, TokenContractV2, Types, UInt64, UInt8, VerificationKey, } from "o1js";
+import { FungibleTokenAdmin } from "./FungibleTokenAdmin.js";
+export const FungibleTokenErrors = {
+    noAdminKey: "could not fetch admin contract key",
+    noPermissionToChangeAdmin: "Not allowed to change admin contract",
+    tokenPaused: "Token is currently paused",
+    noPermissionToMint: "Not allowed to mint tokens",
+    noPermissionToPause: "Not allowed to pause token",
+    noPermissionToResume: "Not allowed to resume token",
+    noTransferFromCirculation: "Can't transfer to/from the circulation account",
+    noPermissionChangeAllowed: "Can't change permissions for access or receive on token accounts",
+    flashMinting: "Flash-minting or unbalanced transaction detected. Please make sure that your transaction is balanced, and that your `AccountUpdate`s are ordered properly, so that tokens are not received before they are sent.",
+    unbalancedTransaction: "Transaction is unbalanced",
+};
+export class FungibleToken extends TokenContractV2 {
+    constructor() {
+        super(...arguments);
+        this.decimals = State();
+        this.admin = State();
+        this.paused = State();
+        this.events = {
+            SetAdmin: SetAdminEvent,
+            Pause: PauseEvent,
+            Mint: MintEvent,
+            Burn: BurnEvent,
+            BalanceChange: BalanceChangeEvent,
+        };
+    }
+    async deploy(props) {
+        await super.deploy(props);
+        this.paused.set(Bool(true));
+        this.account.zkappUri.set(props.src);
+        this.account.tokenSymbol.set(props.symbol);
+        this.account.permissions.set({
+            ...Permissions.default(),
+            setVerificationKey: Permissions.VerificationKey.impossibleDuringCurrentVersion(),
+            setPermissions: Permissions.impossible(),
+            access: Permissions.proof(),
+        });
+    }
+    /** Update the verification key.
+     * Note that because we have set the permissions for setting the verification key to `impossibleDuringCurrentVersion()`, this will only be possible in case of a protocol update that requires an update.
+     */
+    async updateVerificationKey(vk) {
+        this.account.verificationKey.set(vk);
+    }
+    /** Initializes the account for tracking total circulation.
+     * @argument {PublicKey} admin - public key where the admin contract is deployed
+     * @argument {UInt8} decimals - number of decimals for the token
+     * @argument {Bool} startPaused - if set to `Bool(true), the contract will start in a mode where token minting and transfers are paused. This should be used for non-atomic deployments
+     */
+    async initialize(admin, decimals, startPaused) {
+        this.account.provedState.requireEquals(Bool(false));
+        this.admin.set(admin);
+        this.decimals.set(decimals);
+        this.paused.set(Bool(false));
+        this.paused.set(startPaused);
+        const accountUpdate = AccountUpdate.createSigned(this.address, this.deriveTokenId());
+        let permissions = Permissions.default();
+        // This is necessary in order to allow token holders to burn.
+        permissions.send = Permissions.none();
+        permissions.setPermissions = Permissions.impossible();
+        accountUpdate.account.permissions.set(permissions);
+    }
+    async getAdminContract() {
+        const admin = await Provable.witnessAsync(PublicKey, async () => {
+            let pk = await this.admin.fetch();
+            assert(pk !== undefined, FungibleTokenErrors.noAdminKey);
+            return pk;
+        });
+        this.admin.requireEquals(admin);
+        return (new FungibleToken.AdminContract(admin));
+    }
+    async setAdmin(admin) {
+        const adminContract = await this.getAdminContract();
+        const canChangeAdmin = await adminContract.canChangeAdmin(admin);
+        canChangeAdmin.assertTrue(FungibleTokenErrors.noPermissionToChangeAdmin);
+        this.admin.set(admin);
+        this.emitEvent("SetAdmin", new SetAdminEvent({ adminKey: admin }));
+    }
+    async mint(recipient, amount) {
+        this.paused.getAndRequireEquals().assertFalse(FungibleTokenErrors.tokenPaused);
+        const accountUpdate = this.internal.mint({ address: recipient, amount });
+        const adminContract = await this.getAdminContract();
+        const canMint = await adminContract.canMint(accountUpdate);
+        canMint.assertTrue(FungibleTokenErrors.noPermissionToMint);
+        recipient.equals(this.address).assertFalse(FungibleTokenErrors.noTransferFromCirculation);
+        this.approve(accountUpdate);
+        this.emitEvent("Mint", new MintEvent({ recipient, amount }));
+        const circulationUpdate = AccountUpdate.create(this.address, this.deriveTokenId());
+        circulationUpdate.balanceChange = Int64.fromUnsigned(amount);
+        return accountUpdate;
+    }
+    async burn(from, amount) {
+        this.paused.getAndRequireEquals().assertFalse(FungibleTokenErrors.tokenPaused);
+        const accountUpdate = this.internal.burn({ address: from, amount });
+        const circulationUpdate = AccountUpdate.create(this.address, this.deriveTokenId());
+        from.equals(this.address).assertFalse(FungibleTokenErrors.noTransferFromCirculation);
+        circulationUpdate.balanceChange = Int64.fromUnsigned(amount).negV2();
+        this.emitEvent("Burn", new BurnEvent({ from, amount }));
+        return accountUpdate;
+    }
+    async pause() {
+        const adminContract = await this.getAdminContract();
+        const canPause = await adminContract.canPause();
+        canPause.assertTrue(FungibleTokenErrors.noPermissionToPause);
+        this.paused.set(Bool(true));
+        this.emitEvent("Pause", new PauseEvent({ isPaused: Bool(true) }));
+    }
+    async resume() {
+        const adminContract = await this.getAdminContract();
+        const canResume = await adminContract.canResume();
+        canResume.assertTrue(FungibleTokenErrors.noPermissionToResume);
+        this.paused.set(Bool(false));
+        this.emitEvent("Pause", new PauseEvent({ isPaused: Bool(false) }));
+    }
+    async transfer(from, to, amount) {
+        this.paused.getAndRequireEquals().assertFalse(FungibleTokenErrors.tokenPaused);
+        from.equals(this.address).assertFalse(FungibleTokenErrors.noTransferFromCirculation);
+        to.equals(this.address).assertFalse(FungibleTokenErrors.noTransferFromCirculation);
+        this.internal.send({ from, to, amount });
+    }
+    checkPermissionsUpdate(update) {
+        let permissions = update.update.permissions;
+        let { access, receive } = permissions.value;
+        let accessIsNone = Provable.equal(Types.AuthRequired, access, Permissions.none());
+        let receiveIsNone = Provable.equal(Types.AuthRequired, receive, Permissions.none());
+        let updateAllowed = accessIsNone.and(receiveIsNone);
+        assert(updateAllowed.or(permissions.isSome.not()), FungibleTokenErrors.noPermissionChangeAllowed);
+    }
+    /** Approve `AccountUpdate`s that have been created outside of the token contract.
+     *
+     * @argument {AccountUpdateForest} updates - The `AccountUpdate`s to approve. Note that the forest size is limited by the base token contract, @see TokenContractV2.MAX_ACCOUNT_UPDATES The current limit is 9.
+     */
+    async approveBase(updates) {
+        this.paused.getAndRequireEquals().assertFalse(FungibleTokenErrors.tokenPaused);
+        let totalBalance = Int64.from(0);
+        this.forEachUpdate(updates, (update, usesToken) => {
+            // Make sure that the account permissions are not changed
+            this.checkPermissionsUpdate(update);
+            this.emitEventIf(usesToken, "BalanceChange", new BalanceChangeEvent({ address: update.publicKey, amount: update.balanceChange }));
+            // Don't allow transfers to/from the account that's tracking circulation
+            update.publicKey.equals(this.address).and(usesToken).assertFalse(FungibleTokenErrors.noTransferFromCirculation);
+            totalBalance = Provable.if(usesToken, totalBalance.add(update.balanceChange), totalBalance);
+            totalBalance.isPositiveV2().assertFalse(FungibleTokenErrors.flashMinting);
+        });
+        totalBalance.assertEquals(Int64.zero, FungibleTokenErrors.unbalancedTransaction);
+    }
+    async getBalanceOf(address) {
+        const account = AccountUpdate.create(address, this.deriveTokenId()).account;
+        const balance = account.balance.get();
+        account.balance.requireEquals(balance);
+        return balance;
+    }
+    /** Reports the current circulating supply
+     * This does take into account currently unreduced actions.
+     */
+    async getCirculating() {
+        let circulating = await this.getBalanceOf(this.address);
+        return circulating;
+    }
+    async getDecimals() {
+        return this.decimals.getAndRequireEquals();
+    }
+}
+// This defines the type of the contract that is used to control access to administrative actions.
+// If you want to have a custom contract, overwrite this by setting FungibleToken.AdminContract to
+// your own implementation of FungibleTokenAdminBase.
+FungibleToken.AdminContract = FungibleTokenAdmin;
+__decorate([
+    state(UInt8),
+    __metadata("design:type", Object)
+], FungibleToken.prototype, "decimals", void 0);
+__decorate([
+    state(PublicKey),
+    __metadata("design:type", Object)
+], FungibleToken.prototype, "admin", void 0);
+__decorate([
+    state(Bool),
+    __metadata("design:type", Object)
+], FungibleToken.prototype, "paused", void 0);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [VerificationKey]),
+    __metadata("design:returntype", Promise)
+], FungibleToken.prototype, "updateVerificationKey", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey,
+        UInt8,
+        Bool]),
+    __metadata("design:returntype", Promise)
+], FungibleToken.prototype, "initialize", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey]),
+    __metadata("design:returntype", Promise)
+], FungibleToken.prototype, "setAdmin", null);
+__decorate([
+    method.returns(AccountUpdate),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey, UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleToken.prototype, "mint", null);
+__decorate([
+    method.returns(AccountUpdate),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey, UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleToken.prototype, "burn", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", []),
+    __metadata("design:returntype", Promise)
+], FungibleToken.prototype, "pause", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", []),
+    __metadata("design:returntype", Promise)
+], FungibleToken.prototype, "resume", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey, PublicKey, UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleToken.prototype, "transfer", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [AccountUpdateForest]),
+    __metadata("design:returntype", Promise)
+], FungibleToken.prototype, "approveBase", null);
+__decorate([
+    method.returns(UInt64),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey]),
+    __metadata("design:returntype", Promise)
+], FungibleToken.prototype, "getBalanceOf", null);
+__decorate([
+    method.returns(UInt8),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", []),
+    __metadata("design:returntype", Promise)
+], FungibleToken.prototype, "getDecimals", null);
+export class SetAdminEvent extends Struct({
+    adminKey: PublicKey,
+}) {
+}
+export class PauseEvent extends Struct({
+    isPaused: Bool,
+}) {
+}
+export class MintEvent extends Struct({
+    recipient: PublicKey,
+    amount: UInt64,
+}) {
+}
+export class BurnEvent extends Struct({
+    from: PublicKey,
+    amount: UInt64,
+}) {
+}
+export class BalanceChangeEvent extends Struct({
+    address: PublicKey,
+    amount: Int64,
+}) {
+}
+//# sourceMappingURL=FungibleToken.js.map

package/lib/web/src/mina/token/FungibleToken.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FungibleToken.js","sourceRoot":"","sources":["../../../../../../src/mina/token/FungibleToken.ts"],"names":[],"mappings":";AAAA,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,MAAM,EACN,IAAI,EAGJ,KAAK,EACL,MAAM,EACN,WAAW,EACX,QAAQ,EACR,SAAS,EACT,KAAK,EACL,KAAK,EACL,MAAM,EACN,eAAe,EACf,KAAK,EACL,MAAM,EACN,KAAK,EACL,eAAe,GAChB,MAAM,MAAM,CAAA;AACb,OAAO,EAAE,kBAAkB,EAA0B,MAAM,yBAAyB,CAAA;AAUpF,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,UAAU,EAAE,oCAAoC;IAChD,yBAAyB,EAAE,sCAAsC;IACjE,WAAW,EAAE,2BAA2B;IACxC,kBAAkB,EAAE,4BAA4B;IAChD,mBAAmB,EAAE,4BAA4B;IACjD,oBAAoB,EAAE,6BAA6B;IACnD,yBAAyB,EAAE,gDAAgD;IAC3E,yBAAyB,EAAE,kEAAkE;IAC7F,YAAY,EACV,kNAAkN;IACpN,qBAAqB,EAAE,2BAA2B;CACnD,CAAA;AAED,MAAM,OAAO,aAAc,SAAQ,eAAe;IAAlD;;QAEE,aAAQ,GAAG,KAAK,EAAS,CAAA;QAEzB,UAAK,GAAG,KAAK,EAAa,CAAA;QAE1B,WAAM,GAAG,KAAK,EAAQ,CAAA;QAOb,WAAM,GAAG;YAChB,QAAQ,EAAE,aAAa;YACvB,KAAK,EAAE,UAAU;YACjB,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,SAAS;YACf,aAAa,EAAE,kBAAkB;SAClC,CAAA;IAgMH,CAAC;IA9LC,KAAK,CAAC,MAAM,CAAC,KAA+B;QAC1C,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACzB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QAC3B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QACpC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QAE1C,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC;YAC3B,GAAG,WAAW,CAAC,OAAO,EAAE;YACxB,kBAAkB,EAAE,WAAW,CAAC,eAAe,CAAC,8BAA8B,EAAE;YAChF,cAAc,EAAE,WAAW,CAAC,UAAU,EAAE;YACxC,MAAM,EAAE,WAAW,CAAC,KAAK,EAAE;SAC5B,CAAC,CAAA;IACJ,CAAC;IAED;;OAEG;IAEG,AAAN,KAAK,CAAC,qBAAqB,CAAC,EAAmB;QAC7C,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACtC,CAAC;IAED;;;;OAIG;IAEG,AAAN,KAAK,CAAC,UAAU,CACd,KAAgB,EAChB,QAAe,EACf,WAAiB;QAEjB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QAEnD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACrB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QAC3B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QAE5B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAE5B,MAAM,aAAa,GAAG,aAAa,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAA;QACpF,IAAI,WAAW,GAAG,WAAW,CAAC,OAAO,EAAE,CAAA;QACvC,6DAA6D;QAC7D,WAAW,CAAC,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,CAAA;QACrC,WAAW,CAAC,cAAc,GAAG,WAAW,CAAC,UAAU,EAAE,CAAA;QACrD,aAAa,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IACpD,CAAC;IAEM,KAAK,CAAC,gBAAgB;QAC3B,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE;YAC9D,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAA;YACjC,MAAM,CAAC,EAAE,KAAK,SAAS,EAAE,mBAAmB,CAAC,UAAU,CAAC,CAAA;YACxD,OAAO,EAAE,CAAA;QACX,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAA;QAC/B,OAAO,CAAC,IAAI,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;IACjD,CAAC;IAGK,AAAN,KAAK,CAAC,QAAQ,CAAC,KAAgB;QAC7B,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACnD,MAAM,cAAc,GAAG,MAAM,aAAa,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;QAChE,cAAc,CAAC,UAAU,CAAC,mBAAmB,CAAC,yBAAyB,CAAC,CAAA;QACxE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACrB,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,aAAa,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACpE,CAAC;IAGK,AAAN,KAAK,CAAC,IAAI,CAAC,SAAoB,EAAE,MAAc;QAC7C,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC,WAAW,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAA;QAC9E,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAA;QACxE,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACnD,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,aAAa,CAAC,CAAA;QAC1D,OAAO,CAAC,UAAU,CAAC,mBAAmB,CAAC,kBAAkB,CAAC,CAAA;QAC1D,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,WAAW,CACxC,mBAAmB,CAAC,yBAAyB,CAC9C,CAAA;QACD,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAA;QAC3B,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,SAAS,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;QAC5D,MAAM,iBAAiB,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAA;QAClF,iBAAiB,CAAC,aAAa,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;QAC5D,OAAO,aAAa,CAAA;IACtB,CAAC;IAGK,AAAN,KAAK,CAAC,IAAI,CAAC,IAAe,EAAE,MAAc;QACxC,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC,WAAW,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAA;QAC9E,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;QACnE,MAAM,iBAAiB,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAA;QAClF,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,WAAW,CACnC,mBAAmB,CAAC,yBAAyB,CAC9C,CAAA;QACD,iBAAiB,CAAC,aAAa,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAA;QACpE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;QACvD,OAAO,aAAa,CAAA;IACtB,CAAC;IAGK,AAAN,KAAK,CAAC,KAAK;QACT,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACnD,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,QAAQ,EAAE,CAAA;QAC/C,QAAQ,CAAC,UAAU,CAAC,mBAAmB,CAAC,mBAAmB,CAAC,CAAA;QAC5D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QAC3B,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,UAAU,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;IACnE,CAAC;IAGK,AAAN,KAAK,CAAC,MAAM;QACV,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAA;QACnD,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,SAAS,EAAE,CAAA;QACjD,SAAS,CAAC,UAAU,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,CAAA;QAC9D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QAC5B,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,UAAU,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IACpE,CAAC;IAGK,AAAN,KAAK,CAAC,QAAQ,CAAC,IAAe,EAAE,EAAa,EAAE,MAAc;QAC3D,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC,WAAW,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAA;QAC9E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,WAAW,CACnC,mBAAmB,CAAC,yBAAyB,CAC9C,CAAA;QACD,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,WAAW,CACjC,mBAAmB,CAAC,yBAAyB,CAC9C,CAAA;QACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAA;IAC1C,CAAC;IAEO,sBAAsB,CAAC,MAAqB;QAClD,IAAI,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAA;QAE3C,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,KAAK,CAAA;QAC3C,IAAI,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,EAAE,MAAM,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC,CAAA;QACjF,IAAI,aAAa,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,EAAE,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC,CAAA;QACnF,IAAI,aAAa,GAAG,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAA;QAEnD,MAAM,CACJ,aAAa,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EAC1C,mBAAmB,CAAC,yBAAyB,CAC9C,CAAA;IACH,CAAC;IAED;;;OAGG;IAEG,AAAN,KAAK,CAAC,WAAW,CAAC,OAA4B;QAC5C,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC,WAAW,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAA;QAC9E,IAAI,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAChC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE;YAChD,yDAAyD;YACzD,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAA;YACnC,IAAI,CAAC,WAAW,CACd,SAAS,EACT,eAAe,EACf,IAAI,kBAAkB,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CACpF,CAAA;YACD,wEAAwE;YACxE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,WAAW,CAC9D,mBAAmB,CAAC,yBAAyB,CAC9C,CAAA;YACD,YAAY,GAAG,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,YAAY,CAAC,CAAA;YAC3F,YAAY,CAAC,YAAY,EAAE,CAAC,WAAW,CACrC,mBAAmB,CAAC,YAAY,CACjC,CAAA;QACH,CAAC,CAAC,CAAA;QACF,YAAY,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,mBAAmB,CAAC,qBAAqB,CAAC,CAAA;IAClF,CAAC;IAGK,AAAN,KAAK,CAAC,YAAY,CAAC,OAAkB;QACnC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,OAAO,CAAA;QAC3E,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAA;QACrC,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAA;QACtC,OAAO,OAAO,CAAA;IAChB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,cAAc;QAClB,IAAI,WAAW,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACvD,OAAO,WAAW,CAAA;IACpB,CAAC;IAGK,AAAN,KAAK,CAAC,WAAW;QACf,OAAO,IAAI,CAAC,QAAQ,CAAC,mBAAmB,EAAE,CAAA;IAC5C,CAAC;;AA1MD,kGAAkG;AAClG,kGAAkG;AAClG,qDAAqD;AAC9C,2BAAa,GAAgD,kBAAkB,AAAlE,CAAkE;AATtF;IADC,KAAK,CAAC,KAAK,CAAC;;+CACY;AAEzB;IADC,KAAK,CAAC,SAAS,CAAC;;4CACS;AAE1B;IADC,KAAK,CAAC,IAAI,CAAC;;6CACU;AAiChB;IADL,MAAM;;qCACyB,eAAe;;0DAE9C;AAQK;IADL,MAAM;;qCAEE,SAAS;QACN,KAAK;QACF,IAAI;;+CAgBlB;AAaK;IADL,MAAM;;qCACe,SAAS;;6CAM9B;AAGK;IADL,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC;;qCACR,SAAS,EAAU,MAAM;;yCAc9C;AAGK;IADL,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC;;qCACb,SAAS,EAAU,MAAM;;yCAUzC;AAGK;IADL,MAAM;;;;0CAON;AAGK;IADL,MAAM;;;;2CAON;AAGK;IADL,MAAM;;qCACc,SAAS,EAAM,SAAS,EAAU,MAAM;;6CAS5D;AAqBK;IADL,MAAM;;qCACoB,mBAAmB;;gDAqB7C;AAGK;IADL,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;;qCACK,SAAS;;iDAKpC;AAWK;IADL,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;;;;gDAGrB;AAGH,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC;IACxC,QAAQ,EAAE,SAAS;CACpB,CAAC;CAAG;AAEL,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC;IACrC,QAAQ,EAAE,IAAI;CACf,CAAC;CAAG;AAEL,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC;IACpC,SAAS,EAAE,SAAS;IACpB,MAAM,EAAE,MAAM;CACf,CAAC;CAAG;AAEL,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC;IACpC,IAAI,EAAE,SAAS;IACf,MAAM,EAAE,MAAM;CACf,CAAC;CAAG;AAEL,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC;IAC7C,OAAO,EAAE,SAAS;IAClB,MAAM,EAAE,KAAK;CACd,CAAC;CAAG"}

package/lib/web/src/mina/token/FungibleTokenAdmin.d.ts

@@ -0,0 +1,31 @@
+import { AccountUpdate, Bool, DeployArgs, PublicKey, SmartContract, VerificationKey } from "o1js";
+export type FungibleTokenAdminBase = SmartContract & {
+    canMint(accountUpdate: AccountUpdate): Promise<Bool>;
+    canChangeAdmin(admin: PublicKey): Promise<Bool>;
+    canPause(): Promise<Bool>;
+    canResume(): Promise<Bool>;
+};
+export interface FungibleTokenAdminDeployProps extends Exclude<DeployArgs, undefined> {
+    adminPublicKey: PublicKey;
+}
+/** A contract that grants permissions for administrative actions on a token.
+ *
+ * We separate this out into a dedicated contract. That way, when issuing a token, a user can
+ * specify their own rules for administrative actions, without changing the token contract itself.
+ *
+ * The advantage is that third party applications that only use the token in a non-privileged way
+ * can integrate against the unchanged token contract.
+ */
+export declare class FungibleTokenAdmin extends SmartContract implements FungibleTokenAdminBase {
+    private adminPublicKey;
+    deploy(props: FungibleTokenAdminDeployProps): Promise<void>;
+    /** Update the verification key.
+     * Note that because we have set the permissions for setting the verification key to `impossibleDuringCurrentVersion()`, this will only be possible in case of a protocol update that requires an update.
+     */
+    updateVerificationKey(vk: VerificationKey): Promise<void>;
+    private ensureAdminSignature;
+    canMint(_accountUpdate: AccountUpdate): Promise<import("o1js/dist/node/lib/provable/bool").Bool>;
+    canChangeAdmin(_admin: PublicKey): Promise<import("o1js/dist/node/lib/provable/bool").Bool>;
+    canPause(): Promise<Bool>;
+    canResume(): Promise<Bool>;
+}