@silvana-one/token 0.1.0

package/dist/web/offer.js

@@ -0,0 +1,169 @@
+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 OfferEvent extends Struct({
+    amount: UInt64,
+    address: PublicKey,
+}) {
+}
+export class FungibleTokenOfferContract extends SmartContract {
+    constructor() {
+        super(...arguments);
+        this.price = State();
+        this.seller = State();
+        this.token = State();
+        this.whitelist = State();
+        this.events = {
+            offer: OfferEvent,
+            withdraw: OfferEvent,
+            buy: OfferEvent,
+            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(seller, // we are short of AccountUpdates here, so we use this parameter instead of this.sender.getUnconstrained()
+    token, amount, price) {
+        this.account.provedState.requireEquals(Bool(false));
+        const tokenContract = new FungibleToken(token);
+        const tokenId = tokenContract.deriveTokenId();
+        tokenId.assertEquals(this.tokenId);
+        await tokenContract.transfer(seller, this.address, amount);
+        this.seller.set(seller);
+        this.price.set(price);
+        this.token.set(token);
+        this.emitEvent("offer", { amount, address: seller });
+    }
+    async offer(amount, price) {
+        const seller = this.seller.getAndRequireEquals();
+        const token = this.token.getAndRequireEquals();
+        const tokenContract = new FungibleToken(token);
+        const tokenId = tokenContract.deriveTokenId();
+        tokenId.assertEquals(this.tokenId);
+        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 sender = this.sender.getUnconstrained();
+        const senderUpdate = AccountUpdate.createSigned(sender);
+        senderUpdate.body.useFullCommitment = Bool(true);
+        sender.assertEquals(seller);
+        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 seller = this.seller.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(seller);
+        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 buy(amount) {
+        amount.equals(UInt64.from(0)).assertFalse();
+        this.account.balance.requireBetween(amount, UInt64.MAXINT());
+        const seller = this.seller.getAndRequireEquals();
+        const token = this.token.getAndRequireEquals();
+        const tokenContract = new FungibleToken(token);
+        const tokenId = tokenContract.deriveTokenId();
+        tokenId.assertEquals(this.tokenId);
+        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);
+        const buyer = this.sender.getUnconstrained();
+        const buyerUpdate = AccountUpdate.createSigned(buyer);
+        buyerUpdate.send({ to: seller, amount: totalPrice });
+        buyerUpdate.body.useFullCommitment = Bool(true);
+        let offerUpdate = this.send({ to: buyer, amount });
+        offerUpdate.body.mayUseToken = AccountUpdate.MayUseToken.InheritFromParent;
+        offerUpdate.body.useFullCommitment = Bool(true);
+        const whitelist = this.whitelist.getAndRequireEquals();
+        const whitelistedAmount = await whitelist.getWhitelistedAmount(buyer);
+        amount.assertLessThanOrEqual(whitelistedAmount.assertSome("Cannot buy more than whitelisted amount"));
+        this.emitEvent("buy", { amount, address: buyer });
+    }
+    async updateWhitelist(whitelist) {
+        const seller = this.seller.getAndRequireEquals();
+        const sender = this.sender.getUnconstrained();
+        const senderUpdate = AccountUpdate.createSigned(sender);
+        senderUpdate.body.useFullCommitment = Bool(true);
+        sender.assertEquals(seller);
+        this.whitelist.set(whitelist);
+        this.emitEvent("updateWhitelist", whitelist);
+    }
+}
+__decorate([
+    state(UInt64),
+    __metadata("design:type", Object)
+], FungibleTokenOfferContract.prototype, "price", void 0);
+__decorate([
+    state(PublicKey),
+    __metadata("design:type", Object)
+], FungibleTokenOfferContract.prototype, "seller", void 0);
+__decorate([
+    state(PublicKey),
+    __metadata("design:type", Object)
+], FungibleTokenOfferContract.prototype, "token", void 0);
+__decorate([
+    state(Whitelist),
+    __metadata("design:type", Object)
+], FungibleTokenOfferContract.prototype, "whitelist", void 0);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [PublicKey,
+        PublicKey,
+        UInt64,
+        UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenOfferContract.prototype, "initialize", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [UInt64, UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenOfferContract.prototype, "offer", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenOfferContract.prototype, "withdraw", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [UInt64]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenOfferContract.prototype, "buy", null);
+__decorate([
+    method,
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Whitelist]),
+    __metadata("design:returntype", Promise)
+], FungibleTokenOfferContract.prototype, "updateWhitelist", null);
+//# sourceMappingURL=offer.js.map

package/dist/web/offer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"offer.js","sourceRoot":"","sources":["../../src/offer.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,UAAW,SAAQ,MAAM,CAAC;IACrC,MAAM,EAAE,MAAM;IACd,OAAO,EAAE,SAAS;CACnB,CAAC;CAAG;AAEL,MAAM,OAAO,0BAA2B,SAAQ,aAAa;IAA7D;;QACiB,UAAK,GAAG,KAAK,EAAU,CAAC;QACrB,WAAM,GAAG,KAAK,EAAa,CAAC;QAC5B,UAAK,GAAG,KAAK,EAAa,CAAC;QAC3B,cAAS,GAAG,KAAK,EAAa,CAAC;QAcjD,WAAM,GAAG;YACP,KAAK,EAAE,UAAU;YACjB,QAAQ,EAAE,UAAU;YACpB,GAAG,EAAE,UAAU;YACf,eAAe,EAAE,SAAS;SAC3B,CAAC;IAgHJ,CAAC;IAjIC,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,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,MAAiB,EAAE,0GAA0G;IAC7H,KAAgB,EAChB,MAAc,EACd,KAAa;QAEb,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,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAE3D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,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,MAAM,EAAgB,CAAC,CAAC;IACrE,CAAC;IAEa,AAAN,KAAK,CAAC,KAAK,CAAC,MAAc,EAAE,KAAa;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC;QACjD,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,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,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,MAAM,CAAC,CAAC;QAE5B,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,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC;QACjD,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,MAAM,CAAC,CAAC;QAE5B,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,GAAG,CAAC,MAAc;QAC9B,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;QAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC;QACjD,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;QACnC,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,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,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QACrD,WAAW,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAEhD,IAAI,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACnD,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,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,mBAAmB,EAAE,CAAC;QACvD,MAAM,iBAAiB,GAAG,MAAM,SAAS,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACtE,MAAM,CAAC,qBAAqB,CAC1B,iBAAiB,CAAC,UAAU,CAAC,yCAAyC,CAAC,CACxE,CAAC;QAEF,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAgB,CAAC,CAAC;IAClE,CAAC;IAEa,AAAN,KAAK,CAAC,eAAe,CAAC,SAAoB;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC;QACjD,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,MAAM,CAAC,CAAC;QAE5B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC9B,IAAI,CAAC,SAAS,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;IAC/C,CAAC;CACF;AAtIgB;IAAd,KAAK,CAAC,MAAM,CAAC;;yDAAyB;AACrB;IAAjB,KAAK,CAAC,SAAS,CAAC;;0DAA6B;AAC5B;IAAjB,KAAK,CAAC,SAAS,CAAC;;yDAA4B;AAC3B;IAAjB,KAAK,CAAC,SAAS,CAAC;;6DAAgC;AAqBnC;IAAb,MAAM;;qCACG,SAAS;QACV,SAAS;QACR,MAAM;QACP,MAAM;;4DAYd;AAEa;IAAb,MAAM;;qCAAqB,MAAM,EAAS,MAAM;;uDAuBhD;AAEa;IAAb,MAAM;;qCAAwB,MAAM;;0DAmBpC;AAEa;IAAb,MAAM;;qCAAmB,MAAM;;qDAkC/B;AAEa;IAAb,MAAM;;qCAAkC,SAAS;;iEASjD"}

package/package.json

@@ -0,0 +1,64 @@
+{
+  "name": "@silvana-one/token",
+  "description": "Silvana Fungible Token Library",
+  "version": "0.1.0",
+  "author": "DFST",
+  "bugs": "https://github.com/SilvanaOne/silvana-lib/issues",
+  "dependencies": {
+    "tslib": "^2.8.1"
+  },
+  "devDependencies": {
+    "@silvana-one/api": "0.1.0",
+    "@silvana-one/storage": "0.1.0",
+    "@types/node": "^22.10.2",
+    "esbuild": "^0.24.0",
+    "o1js": "^2.2.0",
+    "typescript": "^5.7.2"
+  },
+  "engines": {
+    "node": ">=20.0.0"
+  },
+  "exports": {
+    "types": "./dist/node/index.d.ts",
+    "node": {
+      "import": "./dist/node/index.js",
+      "require": "./dist/node/index.cjs"
+    },
+    "browser": "./dist/web/index.js",
+    "default": "./dist/web/index.js"
+  },
+  "files": [
+    "dist",
+    "src",
+    "package.json",
+    "README.md",
+    "LICENSE"
+  ],
+  "homepage": "https://docs.silvana.one",
+  "keywords": [
+    "cloud",
+    "fungible-token",
+    "mina-protocol",
+    "silvana",
+    "proving",
+    "tokens",
+    "typescript"
+  ],
+  "license": "Apache-2.0",
+  "main": "dist/web/index.js",
+  "peerDependencies": {
+    "@silvana-one/api": "0.1.0",
+    "@silvana-one/storage": "0.1.0",
+    "o1js": "^2.2.0"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "repository": "SilvanaOne/silvana-lib.git",
+  "scripts": {
+    "build": "rm -rf dist && tsc && tsc --build tsconfig.web.json && node build-cjs.js",
+    "release": "npm publish --access public"
+  },
+  "type": "module",
+  "types": "./dist/node/index.d.ts"
+}