zkcloudworker 0.18.8 → 0.18.10

package/dist/web/mina/token/bid.js

@@ -0,0 +1,167 @@
+import { __decorate, __metadata } from "tslib";
+import { AccountUpdate, method, Permissions, PublicKey, State, state, UInt64, SmartContract, Bool, Field, assert, Mina, } from "o1js";
+import { Whitelist } from "./whitelist.js";
+import { FungibleToken, tokenVerificationKeys } from "./token.js";
+export class FungibleTokenBidContract extends SmartContract {
+    constructor() {
+        super(...arguments);
+        this.price = State();
+        this.buyer = State();
+        this.token = State();
+        this.whitelist = State();
+        this.events = {
+            bid: UInt64,
+            withdraw: UInt64,
+            sell: UInt64,
+            updateWhitelist: Whitelist,
+        };
+    }
+    async deploy(args) {
+        await super.deploy(args);
+        const verificationKey = args?.verificationKey ?? FungibleTokenBidContract._verificationKey;
+        assert(verificationKey !== undefined);
+        const hash = typeof verificationKey.hash === "string"
+            ? verificationKey.hash
+            : verificationKey.hash.toJSON();
+        const networkId = Mina.getNetworkId();
+        assert(networkId === "mainnet" || networkId === "testnet");
+        assert(hash === tokenVerificationKeys[networkId].vk.FungibleTokenBidContract.hash);
+        assert(verificationKey.data ===
+            tokenVerificationKeys[networkId].vk.FungibleTokenBidContract.data);
+        this.whitelist.set(args.whitelist);
+        this.account.permissions.set({
+            ...Permissions.default(),
+            send: Permissions.proof(),
+            setVerificationKey: Permissions.VerificationKey.impossibleDuringCurrentVersion(),
+            setPermissions: Permissions.impossible(),
+        });
+    }
+    async initialize(token, amount, price) {
+        this.account.provedState.requireEquals(Bool(false));
+        amount.equals(UInt64.from(0)).assertFalse();
+        const totalPriceField = price.value
+            .mul(amount.value)
+            .div(Field(1_000_000_000));
+        totalPriceField.assertLessThan(UInt64.MAXINT().value, "totalPrice overflow");
+        const totalPrice = UInt64.Unsafe.fromField(totalPriceField);
+        const buyer = this.sender.getUnconstrained();
+        const buyerUpdate = AccountUpdate.createSigned(buyer);
+        buyerUpdate.send({ to: this.address, amount: totalPrice });
+        buyerUpdate.body.useFullCommitment = Bool(true);
+        this.buyer.set(buyer);
+        this.price.set(price);
+        this.token.set(token);
+        this.emitEvent("bid", amount);
+    }
+    async bid(amount, price) {
+        amount.equals(UInt64.from(0)).assertFalse();
+        const balance = this.account.balance.getAndRequireEquals();
+        const oldPrice = this.price.getAndRequireEquals();
+        // Price can be changed only when the balance is 0
+        price
+            .equals(oldPrice)
+            .or(balance.equals(UInt64.from(0)))
+            .assertTrue();
+        this.price.set(price);
+        const totalPriceField = price.value
+            .mul(amount.value)
+            .div(Field(1_000_000_000));
+        totalPriceField.assertLessThan(UInt64.MAXINT().value, "totalPrice overflow");
+        const totalPrice = UInt64.Unsafe.fromField(totalPriceField);
+        const sender = this.sender.getUnconstrained();
+        const buyer = this.buyer.getAndRequireEquals();
+        sender.assertEquals(buyer);
+        const buyerUpdate = AccountUpdate.createSigned(buyer);
+        buyerUpdate.send({ to: this.address, amount: totalPrice });
+        buyerUpdate.body.useFullCommitment = Bool(true);
+        this.price.set(price);
+        this.emitEvent("bid", amount);
+    }
+    async withdraw(amountInMina) {
+        amountInMina.equals(UInt64.from(0)).assertFalse();
+        this.account.balance.requireBetween(amountInMina, UInt64.MAXINT());
+        const buyer = this.buyer.getAndRequireEquals();
+        const sender = this.sender.getUnconstrained();
+        const senderUpdate = AccountUpdate.createSigned(sender);
+        senderUpdate.body.useFullCommitment = Bool(true);
+        sender.assertEquals(buyer);
+        let bidUpdate = this.send({ to: senderUpdate, amount: amountInMina });
+        bidUpdate.body.useFullCommitment = Bool(true);
+        this.emitEvent("withdraw", amountInMina);
+    }
+    async sell(amount) {
+        amount.equals(UInt64.from(0)).assertFalse();
+        const price = this.price.getAndRequireEquals();
+        const totalPriceField = price.value
+            .mul(amount.value)
+            .div(Field(1_000_000_000));
+        totalPriceField.assertLessThan(UInt64.MAXINT().value, "totalPrice overflow");
+        const totalPrice = UInt64.Unsafe.fromField(totalPriceField);
+        this.account.balance.requireBetween(totalPrice, UInt64.MAXINT());
+        const buyer = this.buyer.getAndRequireEquals();
+        const token = this.token.getAndRequireEquals();
+        const seller = this.sender.getUnconstrained();
+        const sellerUpdate = this.send({ to: seller, amount: totalPrice });
+        sellerUpdate.body.useFullCommitment = Bool(true);
+        sellerUpdate.requireSignature();
+        const tokenContract = new FungibleToken(token);
+        await tokenContract.transfer(seller, buyer, amount);
+        this.emitEvent("sell", amount);
+    }
+    async updateWhitelist(whitelist) {
+        const buyer = this.buyer.getAndRequireEquals();
+        const sender = this.sender.getUnconstrained();
+        const senderUpdate = AccountUpdate.createSigned(sender);
+        senderUpdate.body.useFullCommitment = Bool(true);
+        sender.assertEquals(buyer);
+        this.whitelist.set(whitelist);
+        this.emitEvent("updateWhitelist", whitelist);
+    }
+}
+__decorate([
+    state(UInt64),
+    __metadata("design:type", Object)
+], FungibleTokenBidContract.prototype, "price", void 0);
+__decorate([
+    state(PublicKey),
+    __metadata("design:type", Object)
+], FungibleTokenBidContract.prototype, "buyer", void 0);
+__decorate([
+    state(PublicKey),
+    __metadata("design:type", Object)
+], FungibleTokenBidContract.prototype, "token", void 0);
+__decorate([
+    state(Whitelist),
+    __metadata("design:type", Object)
+], FungibleTokenBidContract.prototype, "whitelist", void 0);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey, UInt64, UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenBidContract.prototype, "initialize", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [UInt64, UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenBidContract.prototype, "bid", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenBidContract.prototype, "withdraw", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenBidContract.prototype, "sell", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Whitelist]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenBidContract.prototype, "updateWhitelist", null);
+//# sourceMappingURL=bid.js.map

package/dist/web/mina/token/bid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bid.js","sourceRoot":"","sources":["../../../../src/mina/token/bid.ts"],"names":[],"mappings":";AAAA,OAAO,EACL,aAAa,EAEb,MAAM,EACN,WAAW,EACX,SAAS,EACT,KAAK,EACL,KAAK,EACL,MAAM,EACN,aAAa,EACb,IAAI,EACJ,KAAK,EACL,MAAM,EACN,IAAI,GAEL,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAOlE,MAAM,OAAO,wBAAyB,SAAQ,aAAa;IAA3D;;QACiB,UAAK,GAAG,KAAK,EAAU,CAAC;QACrB,UAAK,GAAG,KAAK,EAAa,CAAC;QAC3B,UAAK,GAAG,KAAK,EAAa,CAAC;QAC3B,cAAS,GAAG,KAAK,EAAa,CAAC;QA8BjD,WAAM,GAAG;YACP,GAAG,EAAE,MAAM;YACX,QAAQ,EAAE,MAAM;YAChB,IAAI,EAAE,MAAM;YACZ,eAAe,EAAE,SAAS;SAC3B,CAAC;IA6GJ,CAAC;IA9IC,KAAK,CAAC,MAAM,CAAC,IAAyC;QACpD,MAAM,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzB,MAAM,eAAe,GACnB,IAAI,EAAE,eAAe,IAAI,wBAAwB,CAAC,gBAAgB,CAAC;QACrE,MAAM,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC;QACtC,MAAM,IAAI,GACR,OAAO,eAAe,CAAC,IAAI,KAAK,QAAQ;YACtC,CAAC,CAAC,eAAe,CAAC,IAAI;YACtB,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACtC,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,CAAC,CAAC;QAC3D,MAAM,CACJ,IAAI,KAAK,qBAAqB,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAC3E,CAAC;QACF,MAAM,CACJ,eAAe,CAAC,IAAI;YAClB,qBAAqB,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CACpE,CAAC;QACF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC;YAC3B,GAAG,WAAW,CAAC,OAAO,EAAE;YACxB,IAAI,EAAE,WAAW,CAAC,KAAK,EAAE;YACzB,kBAAkB,EAChB,WAAW,CAAC,eAAe,CAAC,8BAA8B,EAAE;YAC9D,cAAc,EAAE,WAAW,CAAC,UAAU,EAAE;SACzC,CAAC,CAAC;IACL,CAAC;IASa,AAAN,KAAK,CAAC,UAAU,CAAC,KAAgB,EAAE,MAAc,EAAE,KAAa;QACtE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAE5C,MAAM,eAAe,GAAG,KAAK,CAAC,KAAK;aAChC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC;aACjB,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;QAC7B,eAAe,CAAC,cAAc,CAC5B,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,EACrB,qBAAqB,CACtB,CAAC;QACF,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAE5D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC7C,MAAM,WAAW,GAAG,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACtD,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QAC3D,WAAW,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAEhD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAChC,CAAC;IAEa,AAAN,KAAK,CAAC,GAAG,CAAC,MAAc,EAAE,KAAa;QAC7C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAE5C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC;QAC3D,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAClD,kDAAkD;QAClD,KAAK;aACF,MAAM,CAAC,QAAQ,CAAC;aAChB,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;aAClC,UAAU,EAAE,CAAC;QAChB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAEtB,MAAM,eAAe,GAAG,KAAK,CAAC,KAAK;aAChC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC;aACjB,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;QAC7B,eAAe,CAAC,cAAc,CAC5B,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,EACrB,qBAAqB,CACtB,CAAC;QACF,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAE5D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC/C,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAC3B,MAAM,WAAW,GAAG,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACtD,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QAC3D,WAAW,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAEhD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAChC,CAAC;IAEa,AAAN,KAAK,CAAC,QAAQ,CAAC,YAAoB;QACzC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAClD,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAEnE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC9C,MAAM,YAAY,GAAG,aAAa,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACxD,YAAY,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAE3B,IAAI,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;QACtE,SAAS,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAC3C,CAAC;IAEa,AAAN,KAAK,CAAC,IAAI,CAAC,MAAc;QAC/B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC/C,MAAM,eAAe,GAAG,KAAK,CAAC,KAAK;aAChC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC;aACjB,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;QAC7B,eAAe,CAAC,cAAc,CAC5B,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,EACrB,qBAAqB,CACtB,CAAC;QACF,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAE5D,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAE/C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC9C,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QACnE,YAAY,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,YAAY,CAAC,gBAAgB,EAAE,CAAC;QAEhC,MAAM,aAAa,GAAG,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,aAAa,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACpD,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,CAAC;IAEa,AAAN,KAAK,CAAC,eAAe,CAAC,SAAoB;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC9C,MAAM,YAAY,GAAG,aAAa,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACxD,YAAY,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAE3B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,IAAI,CAAC,SAAS,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;IAC/C,CAAC;CACF;AAnJgB;IAAd,KAAK,CAAC,MAAM,CAAC;;uDAAyB;AACrB;IAAjB,KAAK,CAAC,SAAS,CAAC;;uDAA4B;AAC3B;IAAjB,KAAK,CAAC,SAAS,CAAC;;uDAA4B;AAC3B;IAAjB,KAAK,CAAC,SAAS,CAAC;;2DAAgC;AAqCnC;IAAb,MAAM;;qCAAyB,SAAS,EAAU,MAAM,EAAS,MAAM;;0DAsBvE;AAEa;IAAb,MAAM;;qCAAmB,MAAM,EAAS,MAAM;;mDA8B9C;AAEa;IAAb,MAAM;;qCAA8B,MAAM;;wDAa1C;AAEa;IAAb,MAAM;;qCAAoB,MAAM;;oDAwBhC;AAEa;IAAb,MAAM;;qCAAkC,SAAS;;+DASjD"}

package/dist/web/mina/token/build.d.ts

@@ -0,0 +1,64 @@
+import { WhitelistedAddressList } from "./whitelist.js";
+import { FungibleTokenTransactionType } from "./api.js";
+import { blockchain } from "../../cloud/networks.js";
+import { PublicKey, UInt64, UInt8, Transaction, VerificationKey } from "o1js";
+export declare function buildTokenDeployTransaction(params: {
+    chain: blockchain;
+    fee: UInt64;
+    sender: PublicKey;
+    nonce: number;
+    tokenAddress: PublicKey;
+    adminContractAddress: PublicKey;
+    adminAddress: PublicKey;
+    uri: string;
+    symbol: string;
+    memo?: string;
+    whitelist?: WhitelistedAddressList;
+    developerAddress?: PublicKey;
+    developerFee?: UInt64;
+    provingKey: PublicKey;
+    provingFee: UInt64;
+    decimals: UInt8;
+}): Promise<{
+    tx: Transaction<false, false>;
+    isWhitelisted: boolean;
+    adminVerificationKey: VerificationKey;
+    tokenVerificationKey: VerificationKey;
+}>;
+export declare function buildTokenTransaction(params: {
+    txType: FungibleTokenTransactionType;
+    chain: blockchain;
+    fee: UInt64;
+    sender: PublicKey;
+    nonce: number;
+    memo?: string;
+    tokenAddress: PublicKey;
+    from: PublicKey;
+    to: PublicKey;
+    amount?: UInt64;
+    price?: UInt64;
+    whitelist?: WhitelistedAddressList;
+    developerAddress?: PublicKey;
+    developerFee?: UInt64;
+    provingKey: PublicKey;
+    provingFee: UInt64;
+}): Promise<{
+    tx: Transaction<false, false>;
+    isWhitelisted: boolean;
+    adminContractAddress: PublicKey;
+    adminAddress: PublicKey;
+    symbol: string;
+    adminVerificationKey: VerificationKey;
+    tokenVerificationKey: VerificationKey;
+    offerVerificationKey: VerificationKey;
+    bidVerificationKey: VerificationKey;
+}>;
+export declare function getTokenSymbolAndAdmin(params: {
+    tokenAddress: PublicKey;
+    chain: blockchain;
+}): Promise<{
+    adminContractAddress: PublicKey;
+    adminAddress: PublicKey;
+    symbol: string;
+    isWhitelisted: boolean;
+}>;

package/dist/web/mina/token/build.js

@@ -0,0 +1,437 @@
+import { Whitelist } from "./whitelist.js";
+import { fetchMinaAccount } from "../utils/fetch.js";
+import { accountBalanceMina } from "../utils/mina.js";
+import { FungibleToken, WhitelistedFungibleToken, FungibleTokenAdmin, FungibleTokenWhitelistedAdmin, FungibleTokenOfferContract, FungibleTokenBidContract, tokenVerificationKeys, } from "./token.js";
+import { PublicKey, Mina, AccountUpdate, UInt8, Bool, Struct, Field, } from "o1js";
+export async function buildTokenDeployTransaction(params) {
+    const { fee, sender, nonce, memo, tokenAddress, adminContractAddress, uri, symbol, developerAddress, developerFee, provingKey, provingFee, decimals, chain, whitelist, } = params;
+    const isWhitelisted = whitelist !== undefined;
+    if (memo && typeof memo !== "string")
+        throw new Error("Memo must be a string");
+    if (memo && memo.length > 30)
+        throw new Error("Memo must be less than 30 characters");
+    if (!symbol || typeof symbol !== "string")
+        throw new Error("Symbol must be a string");
+    if (symbol.length >= 7)
+        throw new Error("Symbol must be less than 7 characters");
+    const adminContract = isWhitelisted
+        ? FungibleTokenWhitelistedAdmin
+        : FungibleTokenAdmin;
+    const tokenContract = isWhitelisted
+        ? WhitelistedFungibleToken
+        : FungibleToken;
+    const vk = tokenVerificationKeys[chain === "mainnet" ? "mainnet" : "testnet"].vk;
+    if (!vk ||
+        !vk.FungibleTokenWhitelistedAdmin ||
+        !vk.FungibleTokenWhitelistedAdmin.hash ||
+        !vk.FungibleTokenWhitelistedAdmin.data ||
+        !vk.FungibleTokenAdmin ||
+        !vk.FungibleTokenAdmin.hash ||
+        !vk.FungibleTokenAdmin.data ||
+        !vk.WhitelistedFungibleToken ||
+        !vk.WhitelistedFungibleToken.hash ||
+        !vk.WhitelistedFungibleToken.data ||
+        !vk.FungibleToken ||
+        !vk.FungibleToken.hash ||
+        !vk.FungibleToken.data)
+        throw new Error("Cannot get verification keys");
+    const adminVerificationKey = isWhitelisted
+        ? vk.FungibleTokenWhitelistedAdmin
+        : vk.FungibleTokenAdmin;
+    const tokenVerificationKey = isWhitelisted
+        ? vk.WhitelistedFungibleToken
+        : vk.FungibleToken;
+    if (!adminVerificationKey || !tokenVerificationKey)
+        throw new Error("Cannot get verification keys");
+    await fetchMinaAccount({
+        publicKey: sender,
+        force: true,
+    });
+    if (!Mina.hasAccount(sender)) {
+        throw new Error("Sender does not have account");
+    }
+    console.log("Sender balance:", await accountBalanceMina(sender));
+    const whitelistedAddresses = whitelist
+        ? await Whitelist.create({ list: whitelist, name: symbol })
+        : undefined;
+    const zkToken = new tokenContract(tokenAddress);
+    const zkAdmin = new adminContract(adminContractAddress);
+    const tx = await Mina.transaction({ sender, fee, memo: memo ?? `deploy ${symbol}`, nonce }, async () => {
+        const feeAccountUpdate = AccountUpdate.createSigned(sender);
+        feeAccountUpdate.balance.subInPlace(3_000_000_000);
+        feeAccountUpdate.send({
+            to: provingKey,
+            amount: provingFee,
+        });
+        if (developerAddress && developerFee) {
+            feeAccountUpdate.send({
+                to: developerAddress,
+                amount: developerFee,
+            });
+        }
+        if (isWhitelisted && !whitelistedAddresses) {
+            throw new Error("Whitelisted addresses not found");
+        }
+        await zkAdmin.deploy({
+            adminPublicKey: sender,
+            verificationKey: adminVerificationKey,
+            whitelist: whitelistedAddresses,
+        });
+        zkAdmin.account.zkappUri.set(uri);
+        await zkToken.deploy({
+            symbol,
+            src: uri,
+            verificationKey: tokenVerificationKey,
+        });
+        await zkToken.initialize(adminContractAddress, decimals, 
+        // We can set `startPaused` to `Bool(false)` here, because we are doing an atomic deployment
+        // If you are not deploying the admin and token contracts in the same transaction,
+        // it is safer to start the tokens paused, and resume them only after verifying that
+        // the admin contract has been deployed
+        Bool(false));
+    });
+    return {
+        tx,
+        isWhitelisted,
+        adminVerificationKey: {
+            hash: Field(adminVerificationKey.hash),
+            data: adminVerificationKey.data,
+        },
+        tokenVerificationKey: {
+            hash: Field(tokenVerificationKey.hash),
+            data: tokenVerificationKey.data,
+        },
+    };
+}
+export async function buildTokenTransaction(params) {
+    const { txType, chain, fee, sender, nonce, tokenAddress, from, to, amount, price, developerAddress, developerFee, provingKey, provingFee, whitelist, } = params;
+    console.log(txType, "tx for", tokenAddress.toBase58());
+    console.log("Sender:", sender.toBase58());
+    if (txType === "offer" ||
+        txType === "bid" || // direction is money direction as no token is moving
+        txType === "mint" ||
+        txType === "transfer" ||
+        txType === "sell") {
+        if (sender.toBase58() != from.toBase58())
+            throw new Error("Invalid sender");
+    }
+    if (txType === "buy" ||
+        txType === "withdrawOffer" ||
+        txType === "withdrawBid" // direction is money direction as no token is moving
+    ) {
+        if (sender.toBase58() != to.toBase58())
+            throw new Error("Invalid sender");
+    }
+    await fetchMinaAccount({
+        publicKey: sender,
+        force: true,
+    });
+    if (!Mina.hasAccount(sender)) {
+        console.error("Sender does not have account");
+        throw new Error("Sender does not have account");
+    }
+    const { symbol, adminContractAddress, adminAddress, isWhitelisted } = await getTokenSymbolAndAdmin({
+        tokenAddress,
+        chain,
+    });
+    const memo = params.memo ?? `${txType} ${symbol}`;
+    const whitelistedAdminContract = new FungibleTokenWhitelistedAdmin(adminContractAddress);
+    const tokenContract = isWhitelisted
+        ? WhitelistedFungibleToken
+        : FungibleToken;
+    if ((txType === "whitelistAdmin" ||
+        txType === "whitelistBid" ||
+        txType === "whitelistOffer") &&
+        !whitelist) {
+        throw new Error("Whitelist is required");
+    }
+    const whitelistedAddresses = whitelist
+        ? await Whitelist.create({ list: whitelist, name: symbol })
+        : undefined;
+    const zkToken = new tokenContract(tokenAddress);
+    const tokenId = zkToken.deriveTokenId();
+    if (txType === "mint" && adminAddress.toBase58() !== sender.toBase58())
+        throw new Error("Invalid sender for mint");
+    await fetchMinaAccount({
+        publicKey: tokenAddress,
+        tokenId,
+        force: true,
+    });
+    await fetchMinaAccount({
+        publicKey: from,
+        tokenId,
+        force: [
+            "offer",
+            "sell",
+            "transfer",
+            "withdrawOffer",
+        ].includes(txType),
+    });
+    await fetchMinaAccount({
+        publicKey: to,
+        tokenId,
+        force: [
+            "sell",
+            "whitelistAdmin",
+            "withdrawBid",
+            "withdrawOffer",
+        ].includes(txType),
+    });
+    const isNewAccount = Mina.hasAccount(to, tokenId) === false;
+    const offerContract = new FungibleTokenOfferContract([
+        "offer",
+        "whitelistOffer",
+    ].includes(txType)
+        ? to
+        : from, tokenId);
+    const bidContract = new FungibleTokenBidContract([
+        "bid",
+    ].includes(txType)
+        ? from
+        : to, tokenId);
+    const offerContractDeployment = new FungibleTokenOfferContract(to, tokenId);
+    const bidContractDeployment = new FungibleTokenBidContract(from, tokenId);
+    const vk = tokenVerificationKeys[chain === "mainnet" ? "mainnet" : "testnet"].vk;
+    if (!vk ||
+        !vk.FungibleTokenOfferContract ||
+        !vk.FungibleTokenOfferContract.hash ||
+        !vk.FungibleTokenOfferContract.data ||
+        !vk.FungibleTokenBidContract ||
+        !vk.FungibleTokenBidContract.hash ||
+        !vk.FungibleTokenBidContract.data ||
+        !vk.FungibleTokenWhitelistedAdmin ||
+        !vk.FungibleTokenWhitelistedAdmin.hash ||
+        !vk.FungibleTokenWhitelistedAdmin.data ||
+        !vk.FungibleTokenAdmin ||
+        !vk.FungibleTokenAdmin.hash ||
+        !vk.FungibleTokenAdmin.data ||
+        !vk.WhitelistedFungibleToken ||
+        !vk.WhitelistedFungibleToken.hash ||
+        !vk.WhitelistedFungibleToken.data ||
+        !vk.FungibleToken ||
+        !vk.FungibleToken.hash ||
+        !vk.FungibleToken.data)
+        throw new Error("Cannot get verification key");
+    const adminVerificationKey = isWhitelisted
+        ? vk.FungibleTokenWhitelistedAdmin
+        : vk.FungibleTokenAdmin;
+    const tokenVerificationKey = isWhitelisted
+        ? vk.WhitelistedFungibleToken
+        : vk.FungibleToken;
+    const offerVerificationKey = FungibleTokenOfferContract._verificationKey ?? {
+        hash: Field(vk.FungibleTokenOfferContract.hash),
+        data: vk.FungibleTokenOfferContract.data,
+    };
+    const bidVerificationKey = FungibleTokenBidContract._verificationKey ?? {
+        hash: Field(vk.FungibleTokenBidContract.hash),
+        data: vk.FungibleTokenBidContract.data,
+    };
+    console.log("Sender balance:", await accountBalanceMina(sender));
+    console.log("New account:", isNewAccount);
+    const tx = await Mina.transaction({ sender, fee, memo, nonce }, async () => {
+        const feeAccountUpdate = AccountUpdate.createSigned(sender);
+        if (isNewAccount) {
+            feeAccountUpdate.balance.subInPlace(1_000_000_000);
+        }
+        feeAccountUpdate.send({
+            to: provingKey,
+            amount: provingFee,
+        });
+        if (developerAddress && developerFee) {
+            feeAccountUpdate.send({
+                to: developerAddress,
+                amount: developerFee,
+            });
+        }
+        switch (txType) {
+            case "mint":
+                if (amount === undefined)
+                    throw new Error("Error: Amount is required");
+                await zkToken.mint(to, amount);
+                break;
+            case "transfer":
+                if (amount === undefined)
+                    throw new Error("Error: Amount is required");
+                await zkToken.transfer(from, to, amount);
+                break;
+            case "offer":
+                if (price === undefined)
+                    throw new Error("Error: Price is required");
+                if (amount === undefined)
+                    throw new Error("Error: Amount is required");
+                if (isNewAccount) {
+                    await offerContractDeployment.deploy({
+                        verificationKey: offerVerificationKey,
+                        whitelist: whitelistedAddresses ?? Whitelist.empty(),
+                    });
+                    offerContract.account.zkappUri.set(`Offer for ${symbol}`);
+                    await offerContract.initialize(sender, tokenAddress, amount, price);
+                    await zkToken.approveAccountUpdates([
+                        offerContractDeployment.self,
+                        offerContract.self,
+                    ]);
+                }
+                else {
+                    await offerContract.offer(amount, price);
+                    await zkToken.approveAccountUpdate(offerContract.self);
+                }
+                break;
+            case "buy":
+                if (amount === undefined)
+                    throw new Error("Error: Amount is required");
+                await offerContract.buy(amount);
+                await zkToken.approveAccountUpdate(offerContract.self);
+                break;
+            case "withdrawOffer":
+                if (amount === undefined)
+                    throw new Error("Error: Amount is required");
+                await offerContract.withdraw(amount);
+                await zkToken.approveAccountUpdate(offerContract.self);
+                break;
+            case "bid":
+                if (price === undefined)
+                    throw new Error("Error: Price is required");
+                if (amount === undefined)
+                    throw new Error("Error: Amount is required");
+                if (isNewAccount) {
+                    await bidContractDeployment.deploy({
+                        verificationKey: bidVerificationKey,
+                        whitelist: whitelistedAddresses ?? Whitelist.empty(),
+                    });
+                    bidContract.account.zkappUri.set(`Bid for ${symbol}`);
+                    await bidContract.initialize(tokenAddress, amount, price);
+                    await zkToken.approveAccountUpdates([
+                        bidContractDeployment.self,
+                        bidContract.self,
+                    ]);
+                }
+                else {
+                    await bidContract.bid(amount, price);
+                    await zkToken.approveAccountUpdate(bidContract.self);
+                }
+                break;
+            case "sell":
+                if (amount === undefined)
+                    throw new Error("Error: Amount is required");
+                await bidContract.sell(amount);
+                await zkToken.approveAccountUpdate(bidContract.self);
+                break;
+            case "withdrawBid":
+                if (amount === undefined)
+                    throw new Error("Error: Amount is required");
+                await bidContract.withdraw(amount);
+                await zkToken.approveAccountUpdate(bidContract.self);
+                break;
+            case "whitelistAdmin":
+                if (!whitelistedAddresses)
+                    throw new Error("Whitelist is required");
+                await whitelistedAdminContract.updateWhitelist(whitelistedAddresses);
+                break;
+            case "whitelistBid":
+                if (!whitelistedAddresses)
+                    throw new Error("Whitelist is required");
+                await bidContract.updateWhitelist(whitelistedAddresses);
+                break;
+            case "whitelistOffer":
+                if (!whitelistedAddresses)
+                    throw new Error("Whitelist is required");
+                await offerContract.updateWhitelist(whitelistedAddresses);
+                await zkToken.approveAccountUpdate(offerContract.self);
+                break;
+            default:
+                throw new Error(`Unknown transaction type: ${txType}`);
+        }
+    });
+    return {
+        tx,
+        isWhitelisted,
+        adminContractAddress,
+        adminAddress,
+        symbol,
+        adminVerificationKey: {
+            hash: Field(adminVerificationKey.hash),
+            data: adminVerificationKey.data,
+        },
+        tokenVerificationKey: {
+            hash: Field(tokenVerificationKey.hash),
+            data: tokenVerificationKey.data,
+        },
+        offerVerificationKey,
+        bidVerificationKey,
+    };
+}
+export async function getTokenSymbolAndAdmin(params) {
+    const { tokenAddress, chain } = params;
+    const vk = tokenVerificationKeys[chain === "mainnet" ? "mainnet" : "testnet"].vk;
+    class FungibleTokenState extends Struct({
+        decimals: UInt8,
+        admin: PublicKey,
+        paused: Bool,
+    }) {
+    }
+    const FungibleTokenStateSize = FungibleTokenState.sizeInFields();
+    class FungibleTokenAdminState extends Struct({
+        adminPublicKey: PublicKey,
+    }) {
+    }
+    const FungibleTokenAdminStateSize = FungibleTokenAdminState.sizeInFields();
+    await fetchMinaAccount({ publicKey: tokenAddress, force: true });
+    if (!Mina.hasAccount(tokenAddress)) {
+        throw new Error("Token contract account not found");
+    }
+    const account = Mina.getAccount(tokenAddress);
+    const verificationKey = account.zkapp?.verificationKey;
+    if (!verificationKey) {
+        throw new Error("Token contract verification key not found");
+    }
+    if (verificationKey.hash.toJSON() !== vk.FungibleToken.hash ||
+        verificationKey.data !== vk.FungibleToken.data ||
+        verificationKey.hash.toJSON() !== vk.WhitelistedFungibleToken.hash ||
+        verificationKey.data !== vk.WhitelistedFungibleToken.data) {
+        throw new Error("Unknown token verification key");
+    }
+    if (account.zkapp?.appState === undefined) {
+        throw new Error("Token contract state not found");
+    }
+    const state = FungibleTokenState.fromFields(account.zkapp?.appState.slice(0, FungibleTokenStateSize));
+    const symbol = account.tokenSymbol;
+    const adminContractPublicKey = state.admin;
+    await fetchMinaAccount({
+        publicKey: adminContractPublicKey,
+        force: true,
+    });
+    if (!Mina.hasAccount(adminContractPublicKey)) {
+        throw new Error("Admin contract account not found");
+    }
+    const adminContract = Mina.getAccount(adminContractPublicKey);
+    const adminVerificationKey = adminContract.zkapp?.verificationKey;
+    if (!adminVerificationKey) {
+        throw new Error("Admin verification key not found");
+    }
+    let isWhitelisted = false;
+    if (vk.FungibleTokenWhitelistedAdmin.hash ===
+        adminVerificationKey.hash.toJSON() &&
+        vk.FungibleTokenWhitelistedAdmin.data === adminVerificationKey.data) {
+        isWhitelisted = true;
+    }
+    else if (vk.FungibleTokenAdmin.hash === adminVerificationKey.hash.toJSON() &&
+        vk.FungibleTokenAdmin.data === adminVerificationKey.data) {
+        isWhitelisted = false;
+    }
+    else {
+        throw new Error("Unknown admin verification key");
+    }
+    const adminAddress0 = adminContract.zkapp?.appState[0];
+    const adminAddress1 = adminContract.zkapp?.appState[1];
+    if (adminAddress0 === undefined || adminAddress1 === undefined) {
+        throw new Error("Cannot fetch admin address from admin contract");
+    }
+    const adminAddress = PublicKey.fromFields([adminAddress0, adminAddress1]);
+    return {
+        adminContractAddress: adminContractPublicKey,
+        adminAddress: adminAddress,
+        symbol,
+        isWhitelisted,
+    };
+}
+//# sourceMappingURL=build.js.map