@silvana-one/nft 0.1.0

package/dist/node/marketplace/nft-shares.js

@@ -0,0 +1,398 @@
+import { __decorate, __metadata } from "tslib";
+import { AccountUpdate, Bool, method, Permissions, PublicKey, SmartContract, State, state, VerificationKey, UInt64, Field, Struct, TokenId, } from "o1js";
+import { FungibleTokenContract, } from "@silvana-one/token";
+import { TransferExtendedParams } from "../interfaces/index.js";
+export class NFTSharesDataPacked extends Struct({
+    adminX: Field,
+    ownerX: Field,
+    collectionX: Field,
+    nftX: Field,
+    auctionX: Field,
+    data: Field,
+}) {
+}
+export class NFTSharesData extends Struct({
+    admin: PublicKey,
+    owner: PublicKey,
+    collection: PublicKey,
+    nft: PublicKey,
+    auction: PublicKey,
+    maxBuyPrice: UInt64,
+    minSellPrice: UInt64,
+}) {
+    pack() {
+        const data = Field.fromBits([
+            ...this.maxBuyPrice.value.toBits(64),
+            ...this.minSellPrice.value.toBits(64),
+            this.admin.isOdd,
+            this.owner.isOdd,
+            this.collection.isOdd,
+            this.nft.isOdd,
+            this.auction.isOdd,
+        ]);
+        return new NFTSharesDataPacked({
+            adminX: this.admin.x,
+            ownerX: this.owner.x,
+            collectionX: this.collection.x,
+            nftX: this.nft.x,
+            auctionX: this.auction.x,
+            data,
+        });
+    }
+    static unpack(packed) {
+        const bits = packed.data.toBits(64 + 64 + 5);
+        const adminIsOdd = bits[64 + 64];
+        const ownerIsOdd = bits[64 + 64 + 1];
+        const collectionIsOdd = bits[64 + 64 + 2];
+        const nftIsOdd = bits[64 + 64 + 3];
+        const auctionIsOdd = bits[64 + 64 + 4];
+        const adminX = packed.adminX;
+        const ownerX = packed.ownerX;
+        const collectionX = packed.collectionX;
+        const nftX = packed.nftX;
+        const auctionX = packed.auctionX;
+        const admin = PublicKey.from({ x: adminX, isOdd: adminIsOdd });
+        const owner = PublicKey.from({ x: ownerX, isOdd: ownerIsOdd });
+        const collection = PublicKey.from({
+            x: collectionX,
+            isOdd: collectionIsOdd,
+        });
+        const nft = PublicKey.from({ x: nftX, isOdd: nftIsOdd });
+        const auction = PublicKey.from({ x: auctionX, isOdd: auctionIsOdd });
+        const maxBuyPrice = UInt64.Unsafe.fromField(Field.fromBits(bits.slice(0, 64)));
+        const minSellPrice = UInt64.Unsafe.fromField(Field.fromBits(bits.slice(64, 64 + 64)));
+        return new NFTSharesData({
+            admin,
+            owner,
+            collection,
+            nft,
+            auction,
+            maxBuyPrice,
+            minSellPrice,
+        });
+    }
+}
+export function NFTSharesFactory(params) {
+    const { auctionContract } = params;
+    class NFTSharesAdmin extends SmartContract {
+        constructor() {
+            super(...arguments);
+            this.admin = State();
+            this.owner = State();
+        }
+        async deploy(props) {
+            await super.deploy(props);
+            this.admin.set(props.admin);
+            this.owner.set(props.owner);
+            this.account.permissions.set({
+                ...Permissions.default(),
+                setVerificationKey: Permissions.VerificationKey.proofDuringCurrentVersion(),
+                setPermissions: Permissions.impossible(),
+            });
+        }
+        async updateVerificationKey(vk) {
+            this.ensureAdminSignature();
+            this.account.verificationKey.set(vk);
+        }
+        ensureAdminSignature() {
+            const admin = this.admin.getAndRequireEquals();
+            return AccountUpdate.createSigned(admin);
+        }
+        getOwner() {
+            return new NFTSharesOwner(this.owner.getAndRequireEquals());
+        }
+        async canMint(_accountUpdate) {
+            const owner = this.getOwner();
+            return await owner.canMint(_accountUpdate);
+        }
+        async canChangeAdmin(_admin) {
+            this.ensureAdminSignature();
+            return Bool(true);
+        }
+        async canPause() {
+            this.ensureAdminSignature();
+            return Bool(true);
+        }
+        async canResume() {
+            this.ensureAdminSignature();
+            return Bool(true);
+        }
+        async canChangeVerificationKey(_vk) {
+            this.ensureAdminSignature();
+            return Bool(true);
+        }
+    }
+    __decorate([
+        state(PublicKey),
+        __metadata("design:type", Object)
+    ], NFTSharesAdmin.prototype, "admin", void 0);
+    __decorate([
+        state(PublicKey),
+        __metadata("design:type", Object)
+    ], NFTSharesAdmin.prototype, "owner", void 0);
+    __decorate([
+        method,
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", [VerificationKey]),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesAdmin.prototype, "updateVerificationKey", null);
+    __decorate([
+        method.returns(Bool),
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", [AccountUpdate]),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesAdmin.prototype, "canMint", null);
+    __decorate([
+        method.returns(Bool),
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", [PublicKey]),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesAdmin.prototype, "canChangeAdmin", null);
+    __decorate([
+        method.returns(Bool),
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", []),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesAdmin.prototype, "canPause", null);
+    __decorate([
+        method.returns(Bool),
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", []),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesAdmin.prototype, "canResume", null);
+    __decorate([
+        method.returns(Bool),
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", [VerificationKey]),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesAdmin.prototype, "canChangeVerificationKey", null);
+    const FungibleToken = FungibleTokenContract(NFTSharesAdmin);
+    class NFTSharesOwner extends SmartContract {
+        constructor() {
+            super(...arguments);
+            /**
+             * The public key of the contract's administrator.
+             * This account has the authority to perform administrative actions such as pausing the contract or upgrading the verification key.
+             */
+            this.data = State(); // FungibleTokenAdmin
+            this.subscriptionOpen = State(Bool(true));
+            this.sharesOutstanding = State(UInt64.zero);
+        }
+        /**
+         * Deploys the contract with initial settings.
+         * @param props - Deployment properties including admin, upgradeAuthority, uri, canPause, and isPaused.
+         */
+        async deploy(props) {
+            await super.deploy(props);
+            this.data.set(new NFTSharesData({
+                admin: props.admin,
+                owner: props.owner,
+                collection: props.collection,
+                nft: props.nft,
+                auction: props.auction,
+                maxBuyPrice: props.maxBuyPrice,
+                minSellPrice: props.minSellPrice,
+            }).pack());
+            this.account.zkappUri.set(props.uri);
+            this.subscriptionOpen.set(Bool(true));
+            this.sharesOutstanding.set(UInt64.zero);
+            this.account.permissions.set({
+                ...Permissions.default(),
+                // Allow the upgrade authority to set the verification key even without a protocol upgrade,
+                // enabling upgrades in case of o1js breaking changes.
+                setVerificationKey: Permissions.VerificationKey.proofDuringCurrentVersion(),
+                setPermissions: Permissions.impossible(),
+            });
+        }
+        /**
+         * Ensures that the transaction is authorized by the contract owner.
+         * @returns A signed `AccountUpdate` from the admin.
+         */
+        ensureOwnerSignature() {
+            const data = NFTSharesData.unpack(this.data.getAndRequireEquals());
+            const adminUpdate = AccountUpdate.createSigned(data.admin);
+            adminUpdate.body.useFullCommitment = Bool(true); // Prevent memo and fee change
+            return data;
+        }
+        getAuction(auction) {
+            return new (auctionContract())(auction);
+        }
+        /**
+         * Allows the owner to mint shares.
+         * This method should NOT called directly, but through the FungibleToken.mint()
+         *
+         * @param _accountUpdate - The account update containing the sender's information.
+         * @returns A boolean indicating if the minting is allowed.
+         */
+        async canMint(_accountUpdate) {
+            const subscriptionOpen = this.subscriptionOpen.getAndRequireEquals();
+            subscriptionOpen.assertEquals(Bool(true), "Subscription is closed");
+            const address = _accountUpdate.publicKey;
+            const amount = _accountUpdate.balanceChange.magnitude;
+            const senderUpdate = AccountUpdate.createSigned(address);
+            // 1 share = 1 MINA
+            senderUpdate.balance.subInPlace(amount);
+            this.balance.addInPlace(amount);
+            const sharesOutstanding = this.sharesOutstanding.getAndRequireEquals();
+            this.sharesOutstanding.set(sharesOutstanding.add(amount));
+            return Bool(true);
+        }
+        async withdraw(shares) {
+            const subscriptionOpen = this.subscriptionOpen.getAndRequireEquals();
+            subscriptionOpen.assertEquals(Bool(false), "Subscription is not closed, cannot withdraw");
+            const sharesOutstanding = this.sharesOutstanding.getAndRequireEquals();
+            const balance = this.account.balance.getAndRequireEquals();
+            balance
+                .equals(UInt64.zero)
+                .assertFalse("Balance is zero, nothing to withdraw");
+            const amountInMinaField = shares.value
+                .mul(balance.value)
+                .div(sharesOutstanding.value);
+            amountInMinaField.assertLessThanOrEqual(balance.value, "Amount in Mina is greater than the balance");
+            const amountInMina = UInt64.Unsafe.fromField(amountInMinaField);
+            const sender = this.sender.getUnconstrained();
+            const senderUpdate = AccountUpdate.createSigned(sender);
+            senderUpdate.balance.addInPlace(amountInMina);
+            this.balance.subInPlace(amountInMina);
+            senderUpdate.body.useFullCommitment = Bool(true);
+            this.sharesOutstanding.set(sharesOutstanding.sub(shares));
+            const data = NFTSharesData.unpack(this.data.getAndRequireEquals());
+            const token = new FungibleToken(data.owner);
+            await token.burn(sender, shares);
+        }
+        async closeSubscription() {
+            const data = this.ensureOwnerSignature();
+            const maxBuyPrice = data.maxBuyPrice;
+            this.account.balance.requireBetween(maxBuyPrice, UInt64.MAXINT());
+            this.subscriptionOpen.set(Bool(false));
+        }
+        async bid(price) {
+            const data = NFTSharesData.unpack(this.data.getAndRequireEquals());
+            const maxBuyPrice = data.maxBuyPrice;
+            price.assertLessThanOrEqual(maxBuyPrice, "Price is too high");
+            this.account.balance.requireBetween(price, UInt64.MAXINT());
+            this.subscriptionOpen.set(Bool(false));
+            const sharesOutstanding = this.sharesOutstanding.getAndRequireEquals();
+            const auction = this.getAuction(data.auction);
+            const sender = this.sender.getUnconstrained();
+            const senderUpdate = AccountUpdate.createSigned(sender);
+            const tokenId = TokenId.derive(data.owner);
+            const tokenUpdate = AccountUpdate.create(sender, tokenId);
+            const tokenBalance = tokenUpdate.account.balance.getAndRequireEquals();
+            const token = new FungibleToken(data.owner);
+            await token.approveAccountUpdate(tokenUpdate);
+            tokenBalance
+                .mul(4)
+                .assertGreaterThanOrEqual(sharesOutstanding, "Not enough shares to bid, minimum is 25% of the shares outstanding");
+            senderUpdate.balance.addInPlace(price);
+            this.balance.subInPlace(price);
+            senderUpdate.body.useFullCommitment = Bool(true);
+            await auction.bid(price, this.address);
+        }
+        async canTransfer(params) {
+            const data = NFTSharesData.unpack(this.data.getAndRequireEquals());
+            params.collection.assertEquals(data.collection);
+            params.nft.assertEquals(data.nft);
+            const amount = params.price.assertSome();
+            amount.assertGreaterThanOrEqual(data.minSellPrice, "Price is too low");
+            const sender = this.sender.getUnconstrained();
+            const senderUpdate = AccountUpdate.createSigned(sender);
+            senderUpdate.balance.subInPlace(amount);
+            senderUpdate.body.useFullCommitment = Bool(true);
+            this.balance.addInPlace(amount);
+            return Bool(true);
+        }
+        async canPause(collection, nft) {
+            this.ensureOwnerSignature();
+            return Bool(true);
+        }
+        async canResume(collection, nft) {
+            this.ensureOwnerSignature();
+            return Bool(true);
+        }
+        async canChangeVerificationKey(collection, nft, vk) {
+            this.ensureOwnerSignature();
+            return Bool(true);
+        }
+        async canApproveAddress(collection, nft, approved) {
+            this.ensureOwnerSignature();
+            return Bool(true);
+        }
+    }
+    __decorate([
+        state(NFTSharesDataPacked),
+        __metadata("design:type", Object)
+    ], NFTSharesOwner.prototype, "data", void 0);
+    __decorate([
+        state(Bool),
+        __metadata("design:type", Object)
+    ], NFTSharesOwner.prototype, "subscriptionOpen", void 0);
+    __decorate([
+        state(UInt64),
+        __metadata("design:type", Object)
+    ], NFTSharesOwner.prototype, "sharesOutstanding", void 0);
+    __decorate([
+        method.returns(Bool),
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", [AccountUpdate]),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesOwner.prototype, "canMint", null);
+    __decorate([
+        method,
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", [UInt64]),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesOwner.prototype, "withdraw", null);
+    __decorate([
+        method,
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", []),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesOwner.prototype, "closeSubscription", null);
+    __decorate([
+        method,
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", [UInt64]),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesOwner.prototype, "bid", null);
+    __decorate([
+        method.returns(Bool),
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", [TransferExtendedParams]),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesOwner.prototype, "canTransfer", null);
+    __decorate([
+        method.returns(Bool),
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", [PublicKey, PublicKey]),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesOwner.prototype, "canPause", null);
+    __decorate([
+        method.returns(Bool),
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", [PublicKey, PublicKey]),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesOwner.prototype, "canResume", null);
+    __decorate([
+        method.returns(Bool),
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", [PublicKey,
+            PublicKey,
+            VerificationKey]),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesOwner.prototype, "canChangeVerificationKey", null);
+    __decorate([
+        method.returns(Bool),
+        __metadata("design:type", Function),
+        __metadata("design:paramtypes", [PublicKey,
+            PublicKey,
+            PublicKey]),
+        __metadata("design:returntype", Promise)
+    ], NFTSharesOwner.prototype, "canApproveAddress", null);
+    return {
+        NFTSharesAdmin,
+        NFTSharesOwner,
+        FungibleToken,
+    };
+}
+//# sourceMappingURL=nft-shares.js.map

package/dist/node/marketplace/nft-shares.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nft-shares.js","sourceRoot":"","sources":["../../../src/marketplace/nft-shares.ts"],"names":[],"mappings":";AAAA,OAAO,EACL,aAAa,EACb,IAAI,EAEJ,MAAM,EACN,WAAW,EACX,SAAS,EACT,aAAa,EACb,KAAK,EACL,KAAK,EACL,eAAe,EACf,MAAM,EACN,KAAK,EACL,MAAM,EAEN,OAAO,GACR,MAAM,MAAM,CAAC;AACd,OAAO,EAEL,qBAAqB,GACtB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAgB,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAqB9E,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC;IAC9C,MAAM,EAAE,KAAK;IACb,MAAM,EAAE,KAAK;IACb,WAAW,EAAE,KAAK;IAClB,IAAI,EAAE,KAAK;IACX,QAAQ,EAAE,KAAK;IACf,IAAI,EAAE,KAAK;CACZ,CAAC;CAAG;AAEL,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC;IACxC,KAAK,EAAE,SAAS;IAChB,KAAK,EAAE,SAAS;IAChB,UAAU,EAAE,SAAS;IACrB,GAAG,EAAE,SAAS;IACd,OAAO,EAAE,SAAS;IAClB,WAAW,EAAE,MAAM;IACnB,YAAY,EAAE,MAAM;CACrB,CAAC;IACA,IAAI;QACF,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC;YAC1B,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,KAAK;YAChB,IAAI,CAAC,KAAK,CAAC,KAAK;YAChB,IAAI,CAAC,UAAU,CAAC,KAAK;YACrB,IAAI,CAAC,GAAG,CAAC,KAAK;YACd,IAAI,CAAC,OAAO,CAAC,KAAK;SACnB,CAAC,CAAC;QACH,OAAO,IAAI,mBAAmB,CAAC;YAC7B,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YAC9B,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IACD,MAAM,CAAC,MAAM,CAAC,MAA2B;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACjC,MAAM,UAAU,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACrC,MAAM,eAAe,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,YAAY,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;QACjC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;QAC/D,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;QAC/D,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC;YAChC,CAAC,EAAE,WAAW;YACd,KAAK,EAAE,eAAe;SACvB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC;QACrE,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CACzC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAClC,CAAC;QACF,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAC1C,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CACxC,CAAC;QACF,OAAO,IAAI,aAAa,CAAC;YACvB,KAAK;YACL,KAAK;YACL,UAAU;YACV,GAAG;YACH,OAAO;YACP,WAAW;YACX,YAAY;SACb,CAAC,CAAC;IACL,CAAC;CACF;AAMD,MAAM,UAAU,gBAAgB,CAAC,MAEhC;IACC,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,CAAC;IAEnC,MAAM,cAAe,SAAQ,aAAa;QAA1C;;YACoB,UAAK,GAAG,KAAK,EAAa,CAAC;YAC3B,UAAK,GAAG,KAAK,EAAa,CAAC;QA0D/C,CAAC;QAxDC,KAAK,CAAC,MAAM,CAAC,KAAgC;YAC3C,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC;gBAC3B,GAAG,WAAW,CAAC,OAAO,EAAE;gBACxB,kBAAkB,EAChB,WAAW,CAAC,eAAe,CAAC,yBAAyB,EAAE;gBACzD,cAAc,EAAE,WAAW,CAAC,UAAU,EAAE;aACzC,CAAC,CAAC;QACL,CAAC;QAGK,AAAN,KAAK,CAAC,qBAAqB,CAAC,EAAmB;YAC7C,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC5B,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvC,CAAC;QAED,oBAAoB;YAClB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;YAC/C,OAAO,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAC3C,CAAC;QAED,QAAQ;YACN,OAAO,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC,CAAC;QAC9D,CAAC;QAGY,AAAN,KAAK,CAAC,OAAO,CAAC,cAA6B;YAChD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,OAAO,MAAM,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAC7C,CAAC;QAGY,AAAN,KAAK,CAAC,cAAc,CAAC,MAAiB;YAC3C,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QAGY,AAAN,KAAK,CAAC,QAAQ;YACnB,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QAGY,AAAN,KAAK,CAAC,SAAS;YACpB,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QAGY,AAAN,KAAK,CAAC,wBAAwB,CAAC,GAAoB;YACxD,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;KACF;IA3DmB;QAAjB,KAAK,CAAC,SAAS,CAAC;;iDAA4B;IAC3B;QAAjB,KAAK,CAAC,SAAS,CAAC;;iDAA4B;IAevC;QADL,MAAM;;yCACyB,eAAe;;+DAG9C;IAYY;QADZ,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;yCACgB,aAAa;;iDAGjD;IAGY;QADZ,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;yCACe,SAAS;;wDAG5C;IAGY;QADZ,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;;;kDAIpB;IAGY;QADZ,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;;;mDAIpB;IAGY;QADZ,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;yCACsB,eAAe;;kEAGzD;IAGH,MAAM,aAAa,GAAG,qBAAqB,CAAC,cAAc,CAAC,CAAC;IAE5D,MAAM,cAAe,SAAQ,aAAa;QAA1C;;YACE;;;eAGG;YACyB,SAAI,GAAG,KAAK,EAAuB,CAAC,CAAC,qBAAqB;YACzE,qBAAgB,GAAG,KAAK,CAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACzC,sBAAiB,GAAG,KAAK,CAAS,MAAM,CAAC,IAAI,CAAC,CAAC;QAuLhE,CAAC;QArLC;;;WAGG;QACH,KAAK,CAAC,MAAM,CAAC,KAAgC;YAC3C,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,GAAG,CACX,IAAI,aAAa,CAAC;gBAChB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,GAAG,EAAE,KAAK,CAAC,GAAG;gBACd,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,YAAY,EAAE,KAAK,CAAC,YAAY;aACjC,CAAC,CAAC,IAAI,EAAE,CACV,CAAC;YACF,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACtC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC;gBAC3B,GAAG,WAAW,CAAC,OAAO,EAAE;gBACxB,2FAA2F;gBAC3F,sDAAsD;gBACtD,kBAAkB,EAChB,WAAW,CAAC,eAAe,CAAC,yBAAyB,EAAE;gBACzD,cAAc,EAAE,WAAW,CAAC,UAAU,EAAE;aACzC,CAAC,CAAC;QACL,CAAC;QAED;;;WAGG;QACH,oBAAoB;YAClB,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC;YACnE,MAAM,WAAW,GAAG,aAAa,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3D,WAAW,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,8BAA8B;YAC/E,OAAO,IAAI,CAAC;QACd,CAAC;QAED,UAAU,CAAC,OAAkB;YAC3B,OAAO,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;QACD;;;;;;WAMG;QAEG,AAAN,KAAK,CAAC,OAAO,CAAC,cAA6B;YACzC,MAAM,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,EAAE,CAAC;YACrE,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,wBAAwB,CAAC,CAAC;YACpE,MAAM,OAAO,GAAG,cAAc,CAAC,SAAS,CAAC;YACzC,MAAM,MAAM,GAAG,cAAc,CAAC,aAAa,CAAC,SAAS,CAAC;YACtD,MAAM,YAAY,GAAG,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YACzD,mBAAmB;YACnB,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACxC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC,mBAAmB,EAAE,CAAC;YACvE,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;YAC1D,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QAGK,AAAN,KAAK,CAAC,QAAQ,CAAC,MAAc;YAC3B,MAAM,gBAAgB,GAAG,IAAI,CAAC,gBAAgB,CAAC,mBAAmB,EAAE,CAAC;YACrE,gBAAgB,CAAC,YAAY,CAC3B,IAAI,CAAC,KAAK,CAAC,EACX,6CAA6C,CAC9C,CAAC;YACF,MAAM,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC,mBAAmB,EAAE,CAAC;YACvE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC;YAC3D,OAAO;iBACJ,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;iBACnB,WAAW,CAAC,sCAAsC,CAAC,CAAC;YACvD,MAAM,iBAAiB,GAAG,MAAM,CAAC,KAAK;iBACnC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC;iBAClB,GAAG,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;YAChC,iBAAiB,CAAC,qBAAqB,CACrC,OAAO,CAAC,KAAK,EACb,4CAA4C,CAC7C,CAAC;YACF,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;YAChE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;YAC9C,MAAM,YAAY,GAAG,aAAa,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;YACxD,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;YAC9C,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;YACtC,YAAY,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;YAC1D,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC;YACnE,MAAM,KAAK,GAAG,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5C,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,CAAC;QAGK,AAAN,KAAK,CAAC,iBAAiB;YACrB,MAAM,IAAI,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAC;YACzC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;YACrC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YAClE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACzC,CAAC;QAGK,AAAN,KAAK,CAAC,GAAG,CAAC,KAAa;YACrB,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC;YACnE,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;YACrC,KAAK,CAAC,qBAAqB,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;YAC9D,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YAC5D,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YACvC,MAAM,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC,mBAAmB,EAAE,CAAC;YACvE,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;YAC9C,MAAM,YAAY,GAAG,aAAa,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;YACxD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3C,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAC1D,MAAM,YAAY,GAAG,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC;YACvE,MAAM,KAAK,GAAG,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5C,MAAM,KAAK,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC;YAE9C,YAAY;iBACT,GAAG,CAAC,CAAC,CAAC;iBACN,wBAAwB,CACvB,iBAAiB,EACjB,oEAAoE,CACrE,CAAC;YAEJ,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC/B,YAAY,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACzC,CAAC;QAGK,AAAN,KAAK,CAAC,WAAW,CAAC,MAA8B;YAC9C,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC;YACnE,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAChD,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAC;YACvE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;YAC9C,MAAM,YAAY,GAAG,aAAa,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;YACxD,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACxC,YAAY,CAAC,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAChC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QAGK,AAAN,KAAK,CAAC,QAAQ,CAAC,UAAqB,EAAE,GAAc;YAClD,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QAGK,AAAN,KAAK,CAAC,SAAS,CAAC,UAAqB,EAAE,GAAc;YACnD,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QAGK,AAAN,KAAK,CAAC,wBAAwB,CAC5B,UAAqB,EACrB,GAAc,EACd,EAAmB;YAEnB,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QAGK,AAAN,KAAK,CAAC,iBAAiB,CACrB,UAAqB,EACrB,GAAc,EACd,QAAmB;YAEnB,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;KACF;IAzL6B;QAA3B,KAAK,CAAC,mBAAmB,CAAC;;gDAAqC;IACnD;QAAZ,KAAK,CAAC,IAAI,CAAC;;4DAA4C;IACzC;QAAd,KAAK,CAAC,MAAM,CAAC;;6DAAgD;IAsDxD;QADL,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;yCACS,aAAa;;iDAY1C;IAGK;QADL,MAAM;;yCACgB,MAAM;;kDA4B5B;IAGK;QADL,MAAM;;;;2DAMN;IAGK;QADL,MAAM;;yCACU,MAAM;;6CA2BtB;IAGK;QADL,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;yCACK,sBAAsB;;qDAY/C;IAGK;QADL,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;yCACM,SAAS,EAAO,SAAS;;kDAGnD;IAGK;QADL,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;yCACO,SAAS,EAAO,SAAS;;mDAGpD;IAGK;QADL,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;yCAEP,SAAS;YAChB,SAAS;YACV,eAAe;;kEAIpB;IAGK;QADL,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;;yCAEP,SAAS;YAChB,SAAS;YACJ,SAAS;;2DAIpB;IAGH,OAAO;QACL,cAAc;QACd,cAAc;QACd,aAAa;KACd,CAAC;AACJ,CAAC"}

package/dist/node/marketplace/offer.d.ts

@@ -0,0 +1,192 @@
+import { AccountUpdate, DeployArgs, PublicKey, State, UInt64, SmartContract, Bool, Field } from "o1js";
+import { NFTCollectionContractConstructor, NFTCollectionBase, TransferExtendedParams, TransferEvent } from "../interfaces/index.js";
+export interface NonFungibleTokenOfferContractDeployProps extends Exclude<DeployArgs, undefined> {
+    /** The offers. */
+    price: UInt64;
+    /** The collection of the NFT. */
+    collection: PublicKey;
+    /** The address of the NFT. */
+    nft: PublicKey;
+    /** The owner of the NFT. */
+    owner: PublicKey;
+}
+/**
+ * Creates a new NFT Collection Contract class.
+ *
+ * @param params - Constructor parameters including admin and upgrade contracts, and network ID.
+ * @returns The Collection class extending TokenContract and implementing required interfaces.
+ */
+export declare function OfferFactory(params: {
+    collectionContract: () => NFTCollectionContractConstructor;
+}): {
+    new (address: PublicKey, tokenId?: Field): {
+        owner: State<PublicKey>;
+        price: State<UInt64>;
+        collection: State<PublicKey>;
+        nft: State<PublicKey>;
+        insideBuy: State<import("node_modules/o1js/dist/node/lib/provable/bool.js").Bool>;
+        deploy(args: NonFungibleTokenOfferContractDeployProps): Promise<void>;
+        events: {
+            buy: typeof TransferEvent;
+        };
+        getCollectionContract(address: PublicKey): NFTCollectionBase;
+        buy(): Promise<void>;
+        canTransfer(params: TransferExtendedParams): Promise<Bool>;
+        "__#3@#private": any;
+        address: PublicKey;
+        tokenId: Field;
+        init(): void;
+        requireSignature(): void;
+        skipAuthorization(): void;
+        readonly self: AccountUpdate;
+        newSelf(methodName?: string): AccountUpdate;
+        sender: {
+            self: SmartContract;
+            getUnconstrained(): PublicKey;
+            getAndRequireSignature(): PublicKey;
+        };
+        readonly account: import("node_modules/o1js/dist/node/lib/mina/precondition.js").Account;
+        readonly network: import("node_modules/o1js/dist/node/lib/mina/precondition.js").Network;
+        readonly currentSlot: import("node_modules/o1js/dist/node/lib/mina/precondition.js").CurrentSlot;
+        approve(update: AccountUpdate | import("o1js").AccountUpdateTree | import("o1js").AccountUpdateForest): void;
+        send(args: {
+            to: PublicKey | AccountUpdate | SmartContract;
+            amount: number | bigint | UInt64;
+        }): AccountUpdate;
+        readonly balance: {
+            addInPlace(x: string | number | bigint | UInt64 | import("o1js").UInt32 | import("o1js").Int64): void;
+            subInPlace(x: string | number | bigint | UInt64 | import("o1js").UInt32 | import("o1js").Int64): void;
+        };
+        emitEventIf<K extends "buy">(condition: Bool, type: K, event: any): void;
+        emitEvent<K extends "buy">(type: K, event: any): void;
+        fetchEvents(start?: import("o1js").UInt32, end?: import("o1js").UInt32): Promise<{
+            type: string;
+            event: {
+                data: import("o1js").ProvablePure<any>;
+                transactionInfo: {
+                    transactionHash: string;
+                    transactionStatus: string;
+                    transactionMemo: string;
+                };
+            };
+            blockHeight: import("o1js").UInt32;
+            blockHash: string;
+            parentBlockHash: string;
+            globalSlot: import("o1js").UInt32;
+            chainStatus: string;
+        }[]>;
+    };
+    _methods?: import("node_modules/o1js/dist/node/lib/proof-system/zkprogram.js").MethodInterface[];
+    _methodMetadata?: Record<string, {
+        actions: number;
+        rows: number;
+        digest: string;
+        gates: import("node_modules/o1js/dist/node/snarky.js").Gate[];
+    }>;
+    _provers?: import("node_modules/o1js/dist/node/snarky.js").Pickles.Prover[];
+    _maxProofsVerified?: 0 | 1 | 2;
+    _verificationKey?: {
+        data: string;
+        hash: Field;
+    };
+    Proof(): {
+        new ({ proof, publicInput, publicOutput, maxProofsVerified, }: {
+            proof: unknown;
+            publicInput: import("o1js").ZkappPublicInput;
+            publicOutput: undefined;
+            maxProofsVerified: 0 | 2 | 1;
+        }): {
+            verify(): void;
+            verifyIf(condition: import("node_modules/o1js/dist/node/lib/provable/bool.js").Bool): void;
+            publicInput: import("o1js").ZkappPublicInput;
+            publicOutput: undefined;
+            proof: unknown;
+            maxProofsVerified: 0 | 2 | 1;
+            shouldVerify: import("node_modules/o1js/dist/node/lib/provable/bool.js").Bool;
+            toJSON(): import("o1js").JsonProof;
+            publicFields(): {
+                input: import("node_modules/o1js/dist/node/lib/provable/field.js").Field[];
+                output: import("node_modules/o1js/dist/node/lib/provable/field.js").Field[];
+            };
+        };
+        publicInputType: Omit<import("node_modules/o1js/dist/node/lib/provable/types/provable-intf.js").Provable<{
+            accountUpdate: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+            calls: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+        }, {
+            accountUpdate: bigint;
+            calls: bigint;
+        }>, "fromFields"> & {
+            fromFields: (fields: import("node_modules/o1js/dist/node/lib/provable/field.js").Field[]) => {
+                accountUpdate: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+                calls: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+            };
+        } & {
+            toInput: (x: {
+                accountUpdate: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+                calls: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+            }) => {
+                fields?: import("node_modules/o1js/dist/node/lib/provable/field.js").Field[] | undefined;
+                packed?: [import("node_modules/o1js/dist/node/lib/provable/field.js").Field, number][] | undefined;
+            };
+            toJSON: (x: {
+                accountUpdate: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+                calls: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+            }) => {
+                accountUpdate: string;
+                calls: string;
+            };
+            fromJSON: (x: {
+                accountUpdate: string;
+                calls: string;
+            }) => {
+                accountUpdate: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+                calls: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+            };
+            empty: () => {
+                accountUpdate: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+                calls: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+            };
+        };
+        publicOutputType: import("node_modules/o1js/dist/node/lib/provable/types/struct.js").ProvablePureExtended<undefined, undefined, null>;
+        tag: () => typeof SmartContract;
+        fromJSON<S extends import("node_modules/o1js/dist/node/lib/util/types.js").Subclass<typeof import("o1js").Proof>>(this: S, { maxProofsVerified, proof: proofString, publicInput: publicInputJson, publicOutput: publicOutputJson, }: import("o1js").JsonProof): Promise<import("o1js").Proof<import("o1js").InferProvable<S["publicInputType"]>, import("o1js").InferProvable<S["publicOutputType"]>>>;
+        dummy<Input, OutPut>(publicInput: Input, publicOutput: OutPut, maxProofsVerified: 0 | 2 | 1, domainLog2?: number): Promise<import("o1js").Proof<Input, OutPut>>;
+        readonly provable: {
+            toFields: (value: import("o1js").Proof<any, any>) => import("node_modules/o1js/dist/node/lib/provable/field.js").Field[];
+            toAuxiliary: (value?: import("o1js").Proof<any, any> | undefined) => any[];
+            fromFields: (fields: import("node_modules/o1js/dist/node/lib/provable/field.js").Field[], aux: any[]) => import("o1js").Proof<any, any>;
+            sizeInFields(): number;
+            check: (value: import("o1js").Proof<any, any>) => void;
+            toValue: (x: import("o1js").Proof<any, any>) => import("node_modules/o1js/dist/node/lib/proof-system/proof.js").ProofValue<any, any>;
+            fromValue: (x: import("o1js").Proof<any, any> | import("node_modules/o1js/dist/node/lib/proof-system/proof.js").ProofValue<any, any>) => import("o1js").Proof<any, any>;
+            toCanonical?: ((x: import("o1js").Proof<any, any>) => import("o1js").Proof<any, any>) | undefined;
+        };
+        publicFields(value: import("o1js").ProofBase<any, any>): {
+            input: import("node_modules/o1js/dist/node/lib/provable/field.js").Field[];
+            output: import("node_modules/o1js/dist/node/lib/provable/field.js").Field[];
+        };
+        _proofFromBase64(proofString: string, maxProofsVerified: 0 | 2 | 1): unknown;
+        _proofToBase64(proof: unknown, maxProofsVerified: 0 | 2 | 1): string;
+    };
+    compile({ cache, forceRecompile, }?: {
+        cache?: import("o1js").Cache | undefined;
+        forceRecompile?: boolean | undefined;
+    }): Promise<{
+        verificationKey: {
+            data: string;
+            hash: import("node_modules/o1js/dist/node/lib/provable/field.js").Field;
+        };
+        provers: import("node_modules/o1js/dist/node/snarky.js").Pickles.Prover[];
+        verify: (statement: import("node_modules/o1js/dist/node/snarky.js").Pickles.Statement<import("node_modules/o1js/dist/node/lib/provable/core/fieldvar.js").FieldConst>, proof: unknown) => Promise<boolean>;
+    }>;
+    digest(): Promise<string>;
+    runOutsideCircuit(run: () => void): void;
+    analyzeMethods({ printSummary }?: {
+        printSummary?: boolean | undefined;
+    }): Promise<Record<string, {
+        actions: number;
+        rows: number;
+        digest: string;
+        gates: import("node_modules/o1js/dist/node/snarky.js").Gate[];
+    }>>;
+};