@silvana-one/token 0.1.0

package/dist/node/bid.js

@@ -0,0 +1,168 @@
+import { __decorate, __metadata } from "tslib";
+import { AccountUpdate, method, Permissions, PublicKey, State, state, UInt64, SmartContract, Bool, Field, Struct, } from "o1js";
+import { Whitelist } from "@silvana-one/storage";
+import { FungibleToken } from "./FungibleToken.js";
+export class BidEvent extends Struct({
+    amount: UInt64,
+    address: PublicKey,
+}) {
+}
+export class FungibleTokenBidContract extends SmartContract {
+    constructor() {
+        super(...arguments);
+        this.price = State();
+        this.buyer = State();
+        this.token = State();
+        this.whitelist = State();
+        this.events = {
+            bid: BidEvent,
+            withdraw: BidEvent,
+            sell: BidEvent,
+            updateWhitelist: Whitelist,
+        };
+    }
+    async deploy(args) {
+        await super.deploy(args);
+        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, address: buyer });
+    }
+    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, address: buyer });
+    }
+    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", {
+            amount: amountInMina,
+            address: buyer,
+        });
+    }
+    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);
+        const whitelist = this.whitelist.getAndRequireEquals();
+        const whitelistedAmount = await whitelist.getWhitelistedAmount(seller);
+        amount.assertLessThanOrEqual(whitelistedAmount.assertSome("Cannot sell more than whitelisted amount"));
+        this.emitEvent("sell", { amount, address: seller });
+    }
+    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/node/bid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bid.js","sourceRoot":"","sources":["../../src/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,GACP,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAQnD,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC;IACnC,MAAM,EAAE,MAAM;IACd,OAAO,EAAE,SAAS;CACnB,CAAC;CAAG;AAEL,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;QAcjD,WAAM,GAAG;YACP,GAAG,EAAE,QAAQ;YACb,QAAQ,EAAE,QAAQ;YAClB,IAAI,EAAE,QAAQ;YACd,eAAe,EAAE,SAAS;SAC3B,CAAC;IAsHJ,CAAC;IAvIC,KAAK,CAAC,MAAM,CAAC,IAAyC;QACpD,MAAM,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzB,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,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAc,CAAC,CAAC;IAChE,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,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAc,CAAC,CAAC;IAChE,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;YACzB,MAAM,EAAE,YAAY;YACpB,OAAO,EAAE,KAAK;SACH,CAAC,CAAC;IACjB,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;QAEpD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAAE,CAAC;QACvD,MAAM,iBAAiB,GAAG,MAAM,SAAS,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACvE,MAAM,CAAC,qBAAqB,CAC1B,iBAAiB,CAAC,UAAU,CAAC,0CAA0C,CAAC,CACzE,CAAC;QACF,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAc,CAAC,CAAC;IAClE,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;AA5IgB;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;AAqBnC;IAAb,MAAM;;qCAAyB,SAAS,EAAU,MAAM,EAAS,MAAM;;0DAsBvE;AAEa;IAAb,MAAM;;qCAAmB,MAAM,EAAS,MAAM;;mDA8B9C;AAEa;IAAb,MAAM;;qCAA8B,MAAM;;wDAgB1C;AAEa;IAAb,MAAM;;qCAAoB,MAAM;;oDA8BhC;AAEa;IAAb,MAAM;;qCAAkC,SAAS;;+DASjD"}

package/dist/node/claim.d.ts

@@ -0,0 +1,89 @@
+import { DeployArgs, PublicKey, State, UInt64, SmartContract, Bool, Field } from "o1js";
+import { Whitelist } from "@silvana-one/storage";
+declare const ClaimEvent_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;
+    };
+};
+declare class ClaimEvent extends ClaimEvent_base {
+}
+export interface FungibleTokenClaimContractDeployProps extends Exclude<DeployArgs, undefined> {
+    /** The whitelist. */
+    whitelist: Whitelist;
+    /** The maximum amount of tokens to claim in case the whitelist is empty. */
+    maxAmount?: UInt64;
+}
+export declare class FungibleTokenClaimContract extends SmartContract {
+    owner: State<PublicKey>;
+    token: State<PublicKey>;
+    whitelist: State<Whitelist>;
+    maxAmount: State<UInt64>;
+    deploy(args: FungibleTokenClaimContractDeployProps): Promise<void>;
+    events: {
+        offer: typeof ClaimEvent;
+        withdraw: typeof ClaimEvent;
+        claim: typeof ClaimEvent;
+        updateWhitelist: typeof Whitelist;
+    };
+    initialize(owner: PublicKey, // we are short of AccountUpdates here, so we use this parameter instead of this.sender.getUnconstrained()
+    token: PublicKey, amount: UInt64): Promise<void>;
+    offer(amount: UInt64): Promise<void>;
+    withdraw(amount: UInt64): Promise<void>;
+    claim(amount: UInt64): Promise<void>;
+    updateWhitelist(whitelist: Whitelist): Promise<void>;
+}
+export {};

package/dist/node/claim.js

@@ -0,0 +1,156 @@
+import { __decorate, __metadata } from "tslib";
+import { AccountUpdate, method, Permissions, PublicKey, State, state, UInt64, SmartContract, Bool, Struct, Provable, } from "o1js";
+import { Whitelist } from "@silvana-one/storage";
+import { FungibleToken } from "./FungibleToken.js";
+class ClaimEvent extends Struct({
+    amount: UInt64,
+    address: PublicKey,
+}) {
+}
+export class FungibleTokenClaimContract extends SmartContract {
+    constructor() {
+        super(...arguments);
+        this.owner = State();
+        this.token = State();
+        this.whitelist = State();
+        this.maxAmount = State();
+        this.events = {
+            offer: ClaimEvent,
+            withdraw: ClaimEvent,
+            claim: ClaimEvent,
+            updateWhitelist: Whitelist,
+        };
+    }
+    async deploy(args) {
+        await super.deploy(args);
+        this.whitelist.set(args.whitelist);
+        this.maxAmount.set(args.maxAmount ?? UInt64.MAXINT());
+        this.account.permissions.set({
+            ...Permissions.default(),
+            send: Permissions.proof(),
+            setVerificationKey: Permissions.VerificationKey.impossibleDuringCurrentVersion(),
+            setPermissions: Permissions.impossible(),
+        });
+    }
+    async initialize(owner, // we are short of AccountUpdates here, so we use this parameter instead of this.sender.getUnconstrained()
+    token, amount) {
+        this.account.provedState.requireEquals(Bool(false));
+        const tokenContract = new FungibleToken(token);
+        const tokenId = tokenContract.deriveTokenId();
+        tokenId.assertEquals(this.tokenId);
+        await tokenContract.transfer(owner, this.address, amount);
+        this.owner.set(owner);
+        this.token.set(token);
+        this.emitEvent("offer", { amount, address: owner });
+    }
+    async offer(amount) {
+        const owner = this.owner.getAndRequireEquals();
+        const token = this.token.getAndRequireEquals();
+        const tokenContract = new FungibleToken(token);
+        const tokenId = tokenContract.deriveTokenId();
+        tokenId.assertEquals(this.tokenId);
+        const sender = this.sender.getUnconstrained();
+        const senderUpdate = AccountUpdate.createSigned(sender);
+        senderUpdate.body.useFullCommitment = Bool(true);
+        sender.assertEquals(owner);
+        await tokenContract.transfer(sender, this.address, amount);
+        this.emitEvent("offer", { amount, address: sender });
+    }
+    async withdraw(amount) {
+        amount.equals(UInt64.from(0)).assertFalse();
+        this.account.balance.requireBetween(amount, UInt64.MAXINT());
+        const owner = this.owner.getAndRequireEquals();
+        const token = this.token.getAndRequireEquals();
+        const tokenContract = new FungibleToken(token);
+        const tokenId = tokenContract.deriveTokenId();
+        tokenId.assertEquals(this.tokenId);
+        const sender = this.sender.getUnconstrained();
+        const senderUpdate = AccountUpdate.createSigned(sender, tokenId);
+        senderUpdate.body.useFullCommitment = Bool(true);
+        sender.assertEquals(owner);
+        let offerUpdate = this.send({ to: senderUpdate, amount });
+        offerUpdate.body.mayUseToken = AccountUpdate.MayUseToken.InheritFromParent;
+        offerUpdate.body.useFullCommitment = Bool(true);
+        this.emitEvent("withdraw", { amount, address: sender });
+    }
+    async claim(amount) {
+        const maxAmount = this.maxAmount.getAndRequireEquals();
+        const token = this.token.getAndRequireEquals();
+        const tokenContract = new FungibleToken(token);
+        const tokenId = tokenContract.deriveTokenId();
+        tokenId.assertEquals(this.tokenId);
+        const sender = this.sender.getUnconstrained();
+        const senderUpdate = AccountUpdate.createSigned(sender, tokenId);
+        senderUpdate.body.useFullCommitment = Bool(true);
+        const whitelist = this.whitelist.getAndRequireEquals();
+        const whiteListedAmount = await whitelist.getWhitelistedAmount(sender);
+        const maxClaimAmount = Provable.if(whitelist.isSome(), whiteListedAmount.assertSome("No tokens to claim"), maxAmount);
+        amount.assertLessThanOrEqual(maxClaimAmount);
+        this.account.balance.requireBetween(amount, UInt64.MAXINT());
+        let offerUpdate = this.send({ to: senderUpdate, amount });
+        offerUpdate.body.mayUseToken = AccountUpdate.MayUseToken.InheritFromParent;
+        offerUpdate.body.useFullCommitment = Bool(true);
+        this.emitEvent("claim", {
+            amount,
+            address: sender,
+        });
+    }
+    async updateWhitelist(whitelist) {
+        const owner = this.owner.getAndRequireEquals();
+        const sender = this.sender.getUnconstrained();
+        const senderUpdate = AccountUpdate.createSigned(sender);
+        senderUpdate.body.useFullCommitment = Bool(true);
+        sender.assertEquals(owner);
+        this.whitelist.set(whitelist);
+        this.emitEvent("updateWhitelist", whitelist);
+    }
+}
+__decorate([
+    state(PublicKey),
+    __metadata("design:type", Object)
+], FungibleTokenClaimContract.prototype, "owner", void 0);
+__decorate([
+    state(PublicKey),
+    __metadata("design:type", Object)
+], FungibleTokenClaimContract.prototype, "token", void 0);
+__decorate([
+    state(Whitelist),
+    __metadata("design:type", Object)
+], FungibleTokenClaimContract.prototype, "whitelist", void 0);
+__decorate([
+    state(UInt64),
+    __metadata("design:type", Object)
+], FungibleTokenClaimContract.prototype, "maxAmount", void 0);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey,
+        PublicKey,
+        UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenClaimContract.prototype, "initialize", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenClaimContract.prototype, "offer", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenClaimContract.prototype, "withdraw", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenClaimContract.prototype, "claim", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Whitelist]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenClaimContract.prototype, "updateWhitelist", null);
+//# sourceMappingURL=claim.js.map

package/dist/node/claim.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim.js","sourceRoot":"","sources":["../../src/claim.ts"],"names":[],"mappings":";AAAA,OAAO,EACL,aAAa,EAEb,MAAM,EACN,WAAW,EACX,SAAS,EACT,KAAK,EACL,KAAK,EACL,MAAM,EACN,aAAa,EACb,IAAI,EAEJ,MAAM,EACN,QAAQ,GACT,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,MAAM,UAAW,SAAQ,MAAM,CAAC;IAC9B,MAAM,EAAE,MAAM;IACd,OAAO,EAAE,SAAS;CACnB,CAAC;CAAG;AASL,MAAM,OAAO,0BAA2B,SAAQ,aAAa;IAA7D;;QACoB,UAAK,GAAG,KAAK,EAAa,CAAC;QAC3B,UAAK,GAAG,KAAK,EAAa,CAAC;QAC3B,cAAS,GAAG,KAAK,EAAa,CAAC;QAClC,cAAS,GAAG,KAAK,EAAU,CAAC;QAe3C,WAAM,GAAG;YACP,KAAK,EAAE,UAAU;YACjB,QAAQ,EAAE,UAAU;YACpB,KAAK,EAAE,UAAU;YACjB,eAAe,EAAE,SAAS;SAC3B,CAAC;IAgGJ,CAAC;IAlHC,KAAK,CAAC,MAAM,CAAC,IAA2C;QACtD,MAAM,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACtD,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,CACtB,KAAgB,EAAE,0GAA0G;IAC5H,KAAgB,EAChB,MAAc;QAEd,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACpD,MAAM,aAAa,GAAG,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,aAAa,CAAC,aAAa,EAAE,CAAC;QAC9C,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,aAAa,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAE1D,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAgB,CAAC,CAAC;IACpE,CAAC;IAEa,AAAN,KAAK,CAAC,KAAK,CAAC,MAAc;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC/C,MAAM,aAAa,GAAG,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,aAAa,CAAC,aAAa,EAAE,CAAC;QAC9C,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAEnC,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,MAAM,aAAa,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC3D,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAgB,CAAC,CAAC;IACrE,CAAC;IAEa,AAAN,KAAK,CAAC,QAAQ,CAAC,MAAc;QACnC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAE7D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC/C,MAAM,aAAa,GAAG,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,aAAa,CAAC,aAAa,EAAE,CAAC;QAC9C,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAEnC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC9C,MAAM,YAAY,GAAG,aAAa,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACjE,YAAY,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAE3B,IAAI,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1D,WAAW,CAAC,IAAI,CAAC,WAAW,GAAG,aAAa,CAAC,WAAW,CAAC,iBAAiB,CAAC;QAC3E,WAAW,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAgB,CAAC,CAAC;IACxE,CAAC;IAEa,AAAN,KAAK,CAAC,KAAK,CAAC,MAAc;QAChC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC/C,MAAM,aAAa,GAAG,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,aAAa,CAAC,aAAa,EAAE,CAAC;QAC9C,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAEnC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC9C,MAAM,YAAY,GAAG,aAAa,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACjE,YAAY,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAEjD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAAE,CAAC;QACvD,MAAM,iBAAiB,GAAG,MAAM,SAAS,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACvE,MAAM,cAAc,GAAG,QAAQ,CAAC,EAAE,CAChC,SAAS,CAAC,MAAM,EAAE,EAClB,iBAAiB,CAAC,UAAU,CAAC,oBAAoB,CAAC,EAClD,SAAS,CACV,CAAC;QACF,MAAM,CAAC,qBAAqB,CAAC,cAAc,CAAC,CAAC;QAC7C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAE7D,IAAI,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1D,WAAW,CAAC,IAAI,CAAC,WAAW,GAAG,aAAa,CAAC,WAAW,CAAC,iBAAiB,CAAC;QAC3E,WAAW,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAEhD,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE;YACtB,MAAM;YACN,OAAO,EAAE,MAAM;SACF,CAAC,CAAC;IACnB,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;AAvHmB;IAAjB,KAAK,CAAC,SAAS,CAAC;;yDAA4B;AAC3B;IAAjB,KAAK,CAAC,SAAS,CAAC;;yDAA4B;AAC3B;IAAjB,KAAK,CAAC,SAAS,CAAC;;6DAAgC;AAClC;IAAd,KAAK,CAAC,MAAM,CAAC;;6DAA6B;AAsB7B;IAAb,MAAM;;qCACE,SAAS;QACT,SAAS;QACR,MAAM;;4DAWf;AAEa;IAAb,MAAM;;qCAAqB,MAAM;;uDAcjC;AAEa;IAAb,MAAM;;qCAAwB,MAAM;;0DAmBpC;AAEa;IAAb,MAAM;;qCAAqB,MAAM;;uDA6BjC;AAEa;IAAb,MAAM;;qCAAkC,SAAS;;iEASjD"}