@silvana-one/token 0.1.0

package/dist/web/FungibleTokenContract.js

@@ -0,0 +1,295 @@
+import { __decorate, __metadata } from "tslib";
+import { AccountUpdate, AccountUpdateForest, assert, Bool, Int64, method, Permissions, Provable, PublicKey, State, state, Struct, TokenContract, Types, UInt64, UInt8, VerificationKey, } from "o1js";
+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 function FungibleTokenContract(adminContract) {
+    class FungibleToken extends TokenContract {
+        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: props.allowUpdates
+                    ? Permissions.VerificationKey.proofDuringCurrentVersion()
+                    : Permissions.VerificationKey.impossibleDuringCurrentVersion(),
+                setPermissions: Permissions.impossible(),
+                access: Permissions.proof(),
+            });
+        }
+        /** Update the verification key.
+         * This will only work when `allowUpdates` has been set to `true` during deployment.
+         */
+        async updateVerificationKey(vk) {
+            const adminContract = await this.getAdminContract();
+            const canChangeVerificationKey = await adminContract.canChangeVerificationKey(vk);
+            canChangeVerificationKey.assertTrue(FungibleTokenErrors.noPermissionToChangeAdmin);
+            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 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).neg();
+            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 TokenContract.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.isPositive().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();
+        }
+    }
+    __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);
+    return FungibleToken;
+}
+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=FungibleTokenContract.js.map

package/dist/web/FungibleTokenContract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FungibleTokenContract.js","sourceRoot":"","sources":["../../src/FungibleTokenContract.ts"],"names":[],"mappings":";AAAA,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,MAAM,EACN,IAAI,EAGJ,KAAK,EACL,MAAM,EACN,WAAW,EACX,QAAQ,EACR,SAAS,EAET,KAAK,EACL,KAAK,EACL,MAAM,EACN,aAAa,EACb,KAAK,EACL,MAAM,EACN,KAAK,EACL,eAAe,GAChB,MAAM,MAAM,CAAC;AA0Bd,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,EACvB,kEAAkE;IACpE,YAAY,EACV,kNAAkN;IACpN,qBAAqB,EAAE,2BAA2B;CACnD,CAAC;AACF,MAAM,UAAU,qBAAqB,CACnC,aAA4C;IAE5C,MAAM,aAAc,SAAQ,aAAa;QAAzC;;YAEE,aAAQ,GAAG,KAAK,EAAS,CAAC;YAE1B,UAAK,GAAG,KAAK,EAAa,CAAC;YAE3B,WAAM,GAAG,KAAK,EAAQ,CAAC;YAEd,WAAM,GAAG;gBAChB,QAAQ,EAAE,aAAa;gBACvB,KAAK,EAAE,UAAU;gBACjB,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,SAAS;gBACf,aAAa,EAAE,kBAAkB;aAClC,CAAC;QAyOJ,CAAC;QAvOC,KAAK,CAAC,MAAM,CAAC,KAA+B;YAC1C,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC1B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAE3C,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC;gBAC3B,GAAG,WAAW,CAAC,OAAO,EAAE;gBACxB,kBAAkB,EAAE,KAAK,CAAC,YAAY;oBACpC,CAAC,CAAC,WAAW,CAAC,eAAe,CAAC,yBAAyB,EAAE;oBACzD,CAAC,CAAC,WAAW,CAAC,eAAe,CAAC,8BAA8B,EAAE;gBAChE,cAAc,EAAE,WAAW,CAAC,UAAU,EAAE;gBACxC,MAAM,EAAE,WAAW,CAAC,KAAK,EAAE;aAC5B,CAAC,CAAC;QACL,CAAC;QAED;;WAEG;QAEG,AAAN,KAAK,CAAC,qBAAqB,CAAC,EAAmB;YAC7C,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACpD,MAAM,wBAAwB,GAC5B,MAAM,aAAa,CAAC,wBAAwB,CAAC,EAAE,CAAC,CAAC;YACnD,wBAAwB,CAAC,UAAU,CACjC,mBAAmB,CAAC,yBAAyB,CAC9C,CAAC;YACF,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvC,CAAC;QAED;;;;WAIG;QAEG,AAAN,KAAK,CAAC,UAAU,CAAC,KAAgB,EAAE,QAAe,EAAE,WAAiB;YACnE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAEpD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACtB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC5B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAE7B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YAE7B,MAAM,aAAa,GAAG,aAAa,CAAC,YAAY,CAC9C,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,aAAa,EAAE,CACrB,CAAC;YACF,IAAI,WAAW,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;YACxC,6DAA6D;YAC7D,WAAW,CAAC,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC;YACtC,WAAW,CAAC,cAAc,GAAG,WAAW,CAAC,UAAU,EAAE,CAAC;YACtD,aAAa,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACrD,CAAC;QAEM,KAAK,CAAC,gBAAgB;YAC3B,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE;gBAC9D,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;gBAClC,MAAM,CAAC,EAAE,KAAK,SAAS,EAAE,mBAAmB,CAAC,UAAU,CAAC,CAAC;gBACzD,OAAO,EAAE,CAAC;YACZ,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAChC,OAAO,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC;QAGK,AAAN,KAAK,CAAC,QAAQ,CAAC,KAAgB;YAC7B,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACpD,MAAM,cAAc,GAAG,MAAM,aAAa,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;YACjE,cAAc,CAAC,UAAU,CAAC,mBAAmB,CAAC,yBAAyB,CAAC,CAAC;YACzE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACtB,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,aAAa,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACrE,CAAC;QAGK,AAAN,KAAK,CAAC,IAAI,CAAC,SAAoB,EAAE,MAAc;YAC7C,IAAI,CAAC,MAAM;iBACR,mBAAmB,EAAE;iBACrB,WAAW,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;YAChD,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;YACzE,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACpD,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;YAC3D,OAAO,CAAC,UAAU,CAAC,mBAAmB,CAAC,kBAAkB,CAAC,CAAC;YAC3D,SAAS;iBACN,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;iBACpB,WAAW,CAAC,mBAAmB,CAAC,yBAAyB,CAAC,CAAC;YAC9D,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;YAC5B,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,SAAS,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;YAC7D,MAAM,iBAAiB,GAAG,aAAa,CAAC,MAAM,CAC5C,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,aAAa,EAAE,CACrB,CAAC;YACF,iBAAiB,CAAC,aAAa,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;YAC7D,OAAO,aAAa,CAAC;QACvB,CAAC;QAGK,AAAN,KAAK,CAAC,IAAI,CAAC,IAAe,EAAE,MAAc;YACxC,IAAI,CAAC,MAAM;iBACR,mBAAmB,EAAE;iBACrB,WAAW,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;YAChD,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;YACpE,MAAM,iBAAiB,GAAG,aAAa,CAAC,MAAM,CAC5C,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,aAAa,EAAE,CACrB,CAAC;YACF,IAAI;iBACD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;iBACpB,WAAW,CAAC,mBAAmB,CAAC,yBAAyB,CAAC,CAAC;YAC9D,iBAAiB,CAAC,aAAa,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC;YACnE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;YACxD,OAAO,aAAa,CAAC;QACvB,CAAC;QAGK,AAAN,KAAK,CAAC,KAAK;YACT,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACpD,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,QAAQ,EAAE,CAAC;YAChD,QAAQ,CAAC,UAAU,CAAC,mBAAmB,CAAC,mBAAmB,CAAC,CAAC;YAC7D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5B,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,UAAU,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACpE,CAAC;QAGK,AAAN,KAAK,CAAC,MAAM;YACV,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACpD,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,SAAS,EAAE,CAAC;YAClD,SAAS,CAAC,UAAU,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;YAC/D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAC7B,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,UAAU,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QACrE,CAAC;QAGK,AAAN,KAAK,CAAC,QAAQ,CAAC,IAAe,EAAE,EAAa,EAAE,MAAc;YAC3D,IAAI,CAAC,MAAM;iBACR,mBAAmB,EAAE;iBACrB,WAAW,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;YAChD,IAAI;iBACD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;iBACpB,WAAW,CAAC,mBAAmB,CAAC,yBAAyB,CAAC,CAAC;YAC9D,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,WAAW,CACjC,mBAAmB,CAAC,yBAAyB,CAC9C,CAAC;YACF,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3C,CAAC;QAED,sBAAsB,CAAC,MAAqB;YAC1C,IAAI,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;YAE5C,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC;YAC5C,IAAI,YAAY,GAAG,QAAQ,CAAC,KAAK,CAC/B,KAAK,CAAC,YAAY,EAClB,MAAM,EACN,WAAW,CAAC,IAAI,EAAE,CACnB,CAAC;YACF,IAAI,aAAa,GAAG,QAAQ,CAAC,KAAK,CAChC,KAAK,CAAC,YAAY,EAClB,OAAO,EACP,WAAW,CAAC,IAAI,EAAE,CACnB,CAAC;YACF,IAAI,aAAa,GAAG,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAEpD,MAAM,CACJ,aAAa,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EAC1C,mBAAmB,CAAC,yBAAyB,CAC9C,CAAC;QACJ,CAAC;QAED;;;WAGG;QAEG,AAAN,KAAK,CAAC,WAAW,CAAC,OAA4B;YAC5C,IAAI,CAAC,MAAM;iBACR,mBAAmB,EAAE;iBACrB,WAAW,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;YAChD,IAAI,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE;gBAChD,yDAAyD;gBACzD,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;gBACpC,IAAI,CAAC,WAAW,CACd,SAAS,EACT,eAAe,EACf,IAAI,kBAAkB,CAAC;oBACrB,OAAO,EAAE,MAAM,CAAC,SAAS;oBACzB,MAAM,EAAE,MAAM,CAAC,aAAa;iBAC7B,CAAC,CACH,CAAC;gBACF,wEAAwE;gBACxE,MAAM,CAAC,SAAS;qBACb,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;qBACpB,GAAG,CAAC,SAAS,CAAC;qBACd,WAAW,CAAC,mBAAmB,CAAC,yBAAyB,CAAC,CAAC;gBAC9D,YAAY,GAAG,QAAQ,CAAC,EAAE,CACxB,SAAS,EACT,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,EACtC,YAAY,CACb,CAAC;gBACF,YAAY,CAAC,UAAU,EAAE,CAAC,WAAW,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAC;YAC1E,CAAC,CAAC,CAAC;YACH,YAAY,CAAC,YAAY,CACvB,KAAK,CAAC,IAAI,EACV,mBAAmB,CAAC,qBAAqB,CAC1C,CAAC;QACJ,CAAC;QAGK,AAAN,KAAK,CAAC,YAAY,CAAC,OAAkB;YACnC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAClC,OAAO,EACP,IAAI,CAAC,aAAa,EAAE,CACrB,CAAC,OAAO,CAAC;YACV,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YACtC,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;YACvC,OAAO,OAAO,CAAC;QACjB,CAAC;QAED;;WAEG;QACH,KAAK,CAAC,cAAc;YAClB,IAAI,WAAW,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxD,OAAO,WAAW,CAAC;QACrB,CAAC;QAGK,AAAN,KAAK,CAAC,WAAW;YACf,OAAO,IAAI,CAAC,QAAQ,CAAC,mBAAmB,EAAE,CAAC;QAC7C,CAAC;KACF;IArPC;QADC,KAAK,CAAC,KAAK,CAAC;;mDACa;IAE1B;QADC,KAAK,CAAC,SAAS,CAAC;;gDACU;IAE3B;QADC,KAAK,CAAC,IAAI,CAAC;;iDACW;IA8BjB;QADL,MAAM;;yCACyB,eAAe;;8DAQ9C;IAQK;QADL,MAAM;;yCACiB,SAAS,EAAY,KAAK,EAAe,IAAI;;mDAkBpE;IAaK;QADL,MAAM;;yCACe,SAAS;;iDAM9B;IAGK;QADL,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC;;yCACR,SAAS,EAAU,MAAM;;6CAmB9C;IAGK;QADL,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC;;yCACb,SAAS,EAAU,MAAM;;6CAezC;IAGK;QADL,MAAM;;;;8CAON;IAGK;QADL,MAAM;;;;+CAON;IAGK;QADL,MAAM;;yCACc,SAAS,EAAM,SAAS,EAAU,MAAM;;iDAW5D;IA6BK;QADL,MAAM;;yCACoB,mBAAmB;;oDAgC7C;IAGK;QADL,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;;yCACK,SAAS;;qDAQpC;IAWK;QADL,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;;;;oDAGrB;IAEH,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,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/dist/web/FungibleTokenStandardAdmin.d.ts

@@ -0,0 +1,27 @@
+import { AccountUpdate, Bool, DeployArgs, PublicKey, SmartContract, VerificationKey } from "o1js";
+import { FungibleTokenAdminBase } from "./FungibleTokenContract.js";
+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("node_modules/o1js/dist/node/lib/provable/bool.js").Bool>;
+    canChangeAdmin(_admin: PublicKey): Promise<import("node_modules/o1js/dist/node/lib/provable/bool.js").Bool>;
+    canPause(): Promise<Bool>;
+    canResume(): Promise<Bool>;
+    canChangeVerificationKey(_vk: VerificationKey): Promise<Bool>;
+}

package/dist/web/FungibleTokenStandardAdmin.js

@@ -0,0 +1,101 @@
+import { __decorate, __metadata } from "tslib";
+import { AccountUpdate, assert, Bool, method, Permissions, Provable, PublicKey, SmartContract, State, state, VerificationKey, } from "o1js";
+/** 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 class FungibleTokenAdmin extends SmartContract {
+    constructor() {
+        super(...arguments);
+        this.adminPublicKey = State();
+    }
+    async deploy(props) {
+        await super.deploy(props);
+        this.adminPublicKey.set(props.adminPublicKey);
+        this.account.permissions.set({
+            ...Permissions.default(),
+            setVerificationKey: Permissions.VerificationKey.impossibleDuringCurrentVersion(),
+            setPermissions: Permissions.impossible(),
+        });
+    }
+    /** 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);
+    }
+    async ensureAdminSignature() {
+        const admin = await Provable.witnessAsync(PublicKey, async () => {
+            let pk = await this.adminPublicKey.fetch();
+            assert(pk !== undefined, "could not fetch admin public key");
+            return pk;
+        });
+        this.adminPublicKey.requireEquals(admin);
+        return AccountUpdate.createSigned(admin);
+    }
+    async canMint(_accountUpdate) {
+        await this.ensureAdminSignature();
+        return Bool(true);
+    }
+    async canChangeAdmin(_admin) {
+        await this.ensureAdminSignature();
+        return Bool(true);
+    }
+    async canPause() {
+        await this.ensureAdminSignature();
+        return Bool(true);
+    }
+    async canResume() {
+        await this.ensureAdminSignature();
+        return Bool(true);
+    }
+    async canChangeVerificationKey(_vk) {
+        await this.ensureAdminSignature();
+        return Bool(true);
+    }
+}
+__decorate([
+    state(PublicKey),
+    __metadata("design:type", Object)
+], FungibleTokenAdmin.prototype, "adminPublicKey", void 0);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [VerificationKey]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenAdmin.prototype, "updateVerificationKey", null);
+__decorate([
+    method.returns(Bool),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [AccountUpdate]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenAdmin.prototype, "canMint", null);
+__decorate([
+    method.returns(Bool),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenAdmin.prototype, "canChangeAdmin", null);
+__decorate([
+    method.returns(Bool),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", []),
+    __metadata("design:returntype", Promise)
+], FungibleTokenAdmin.prototype, "canPause", null);
+__decorate([
+    method.returns(Bool),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", []),
+    __metadata("design:returntype", Promise)
+], FungibleTokenAdmin.prototype, "canResume", null);
+__decorate([
+    method.returns(Bool),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [VerificationKey]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenAdmin.prototype, "canChangeVerificationKey", null);
+//# sourceMappingURL=FungibleTokenStandardAdmin.js.map

package/dist/web/FungibleTokenStandardAdmin.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FungibleTokenStandardAdmin.js","sourceRoot":"","sources":["../../src/FungibleTokenStandardAdmin.ts"],"names":[],"mappings":";AAAA,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EAEJ,MAAM,EACN,WAAW,EACX,QAAQ,EACR,SAAS,EACT,aAAa,EACb,KAAK,EACL,KAAK,EACL,eAAe,GAChB,MAAM,MAAM,CAAC;AAQd;;;;;;;GAOG;AACH,MAAM,OAAO,kBACX,SAAQ,aAAa;IADvB;;QAKU,mBAAc,GAAG,KAAK,EAAa,CAAC;IA4D9C,CAAC;IA1DC,KAAK,CAAC,MAAM,CAAC,KAAoC;QAC/C,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAC9C,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC;YAC3B,GAAG,WAAW,CAAC,OAAO,EAAE;YACxB,kBAAkB,EAChB,WAAW,CAAC,eAAe,CAAC,8BAA8B,EAAE;YAC9D,cAAc,EAAE,WAAW,CAAC,UAAU,EAAE;SACzC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IAEG,AAAN,KAAK,CAAC,qBAAqB,CAAC,EAAmB;QAC7C,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACvC,CAAC;IAEO,KAAK,CAAC,oBAAoB;QAChC,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,YAAY,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE;YAC9D,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;YAC3C,MAAM,CAAC,EAAE,KAAK,SAAS,EAAE,kCAAkC,CAAC,CAAC;YAC7D,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACzC,OAAO,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IAGY,AAAN,KAAK,CAAC,OAAO,CAAC,cAA6B;QAChD,MAAM,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAGY,AAAN,KAAK,CAAC,cAAc,CAAC,MAAiB;QAC3C,MAAM,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAGY,AAAN,KAAK,CAAC,QAAQ;QACnB,MAAM,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAGY,AAAN,KAAK,CAAC,SAAS;QACpB,MAAM,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAGY,AAAN,KAAK,CAAC,wBAAwB,CAAC,GAAoB;QACxD,MAAM,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;CACF;AA5DS;IADP,KAAK,CAAC,SAAS,CAAC;;0DAC2B;AAiBtC;IADL,MAAM;;qCACyB,eAAe;;+DAE9C;AAaY;IADZ,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;qCACgB,aAAa;;iDAGjD;AAGY;IADZ,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;qCACe,SAAS;;wDAG5C;AAGY;IADZ,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;;;kDAIpB;AAGY;IADZ,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;;;mDAIpB;AAGY;IADZ,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;qCACsB,eAAe;;kEAGzD"}

package/dist/web/bid.d.ts

@@ -0,0 +1,86 @@
+import { DeployArgs, PublicKey, State, UInt64, SmartContract, Bool, Field } from "o1js";
+import { Whitelist } from "@silvana-one/storage";
+export interface FungibleTokenBidContractDeployProps extends Exclude<DeployArgs, undefined> {
+    /** The whitelist. */
+    whitelist: Whitelist;
+}
+declare const BidEvent_base: (new (value: {
+    amount: UInt64;
+    address: PublicKey;
+}) => {
+    amount: UInt64;
+    address: PublicKey;
+}) & {
+    _isStruct: true;
+} & Omit<import("node_modules/o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
+    amount: UInt64;
+    address: PublicKey;
+}, {
+    amount: bigint;
+    address: {
+        x: bigint;
+        isOdd: boolean;
+    };
+}>, "fromFields"> & {
+    fromFields: (fields: import("node_modules/o1js/dist/node/lib/provable/field.js").Field[]) => {
+        amount: UInt64;
+        address: PublicKey;
+    };
+} & {
+    fromValue: (value: {
+        amount: bigint | UInt64;
+        address: PublicKey | {
+            x: Field | bigint;
+            isOdd: Bool | boolean;
+        };
+    }) => {
+        amount: UInt64;
+        address: PublicKey;
+    };
+    toInput: (x: {
+        amount: UInt64;
+        address: PublicKey;
+    }) => {
+        fields?: Field[] | undefined;
+        packed?: [Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        amount: UInt64;
+        address: PublicKey;
+    }) => {
+        amount: string;
+        address: string;
+    };
+    fromJSON: (x: {
+        amount: string;
+        address: string;
+    }) => {
+        amount: UInt64;
+        address: PublicKey;
+    };
+    empty: () => {
+        amount: UInt64;
+        address: PublicKey;
+    };
+};
+export declare class BidEvent extends BidEvent_base {
+}
+export declare class FungibleTokenBidContract extends SmartContract {
+    price: State<UInt64>;
+    buyer: State<PublicKey>;
+    token: State<PublicKey>;
+    whitelist: State<Whitelist>;
+    deploy(args: FungibleTokenBidContractDeployProps): Promise<void>;
+    events: {
+        bid: typeof BidEvent;
+        withdraw: typeof BidEvent;
+        sell: typeof BidEvent;
+        updateWhitelist: typeof Whitelist;
+    };
+    initialize(token: PublicKey, amount: UInt64, price: UInt64): Promise<void>;
+    bid(amount: UInt64, price: UInt64): Promise<void>;
+    withdraw(amountInMina: UInt64): Promise<void>;
+    sell(amount: UInt64): Promise<void>;
+    updateWhitelist(whitelist: Whitelist): Promise<void>;
+}
+export {};