@silvana-one/mina-prover 0.2.0

package/dist/web/tokens/nft.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nft.js","sourceRoot":"","sources":["../../../src/tokens/nft.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGpD,MAAM,OAAO,MAAM;IAGjB,YAAY,MAIX;QACC,MAAM,EAAE,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;QAC7C,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;QAE3D,IAAI,CAAC,MAAM,GAAG,IAAI,mBAAmB,CAAC;YACpC,GAAG;YACH,KAAK;YACL,aAAa;SACd,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,MAAsB;QAC3C,OAAO,IAAI,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,iBAAiB,CACrB,MAAwB,EACxB,IAAa;QAEb,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACxB,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YAChD,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;QAE3B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;YACvC,SAAS,EAAE,MAAM;YACjB,IAAI,EAAE,WAAW;YACjB,YAAY;YACZ,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;gBACnB,iBAAiB,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB;aACvD,CAAC;YACF,QAAQ,EAAE,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,IACnE,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,EAC1B,IACE,MAAM,CAAC,MAAM,GAAG,CAAC;gBACf,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,OAAO;gBAC1B,CAAC,CAAC,MAAM,KAAK,YAAY;oBACzB,CAAC,CAAC,aAAa,GAAG,OAAO,CAAC,cAAc;oBACxC,CAAC,CAAC,MAAM,KAAK,UAAU;wBACvB,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI;wBAC5B,CAAC,CAAC,IAAI,IAAI,EACd,EAAE;SACH,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS;YACrB,OAAO,CAAC,KAAK,CAAC,qBAAqB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACnE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,wGAAwG;IACxG,kEAAkE;IAClE,KAAK,CAAC,iBAAiB,CAAC,MAMvB;QACC,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAChE,OAAO,CAAC,GAAG,CACT,0BAA0B,EAC1B,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAC3C,CAAC;QACF,OAAO,YAAY,EAAE,MAAM,EAAE,MAAM,IAAI,OAAO,CAAC;IACjD,CAAC;IAED,KAAK,CAAC,UAAU,CACd,KAAa;QAKb,IAAI,CAAC;YACH,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAE1D,sCAAsC;YACtC,MAAM,SAAS,GACb,OAAO,UAAU,EAAE,MAAM,KAAK,QAAQ;gBACpC,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,CAAC;YACpC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;gBACxB,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,UAAU,EAAE,KAAK;oBACxB,SAAS;iBACV,CAAC;YACJ,CAAC;YACD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC;YAC5C,IAAI,UAAU,CAAC,KAAK;gBAClB,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,UAAU,CAAC,KAAK;oBACvB,SAAS;iBACV,CAAC;YACJ,IAAI,CAAC,SAAS;gBAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAEpD,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;gBAC7C,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,SAAS;oBAChB,SAAS;iBACV,CAAC;YAEJ,IAAI,CAAC;gBACH,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACzC,MAAM,OAAO,GAAgB,EAAE,CAAC;gBAChC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBACvD,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC7C,CAAC;gBACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;YAC/C,CAAC;YAAC,OAAO,CAAM,EAAE,CAAC;gBAChB,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,6BAA6B,SAAS,IAAI,CAAC,EAAE,OAAO,IAAI,EAAE,EAAE;oBACnE,SAAS;iBACV,CAAC;YACJ,CAAC;QACH,CAAC;QAAC,OAAO,CAAM,EAAE,CAAC;YAChB,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,6BAA6B,CAAC,EAAE,OAAO,IAAI,EAAE,EAAE;gBACtD,SAAS,EAAE,SAAS;aACrB,CAAC;QACJ,CAAC;IACH,CAAC;CACF"}

package/dist/web/tokens/token.d.ts

@@ -0,0 +1,29 @@
+import { blockchain, Cloud, JobStatus, zkCloudWorker } from "@silvana-one/prover";
+import { zkCloudWorkerClient } from "../api/api.js";
+import { TokenTransaction, JobResult } from "@silvana-one/api";
+export declare class TokenAPI {
+    readonly client: zkCloudWorkerClient;
+    constructor(params: {
+        jwt: string;
+        zkcloudworker?: (cloud: Cloud) => Promise<zkCloudWorker>;
+        chain: blockchain;
+    });
+    proveTransaction(params: TokenTransaction): Promise<string | undefined>;
+    proveTransactions(params: TokenTransaction[]): Promise<string | undefined>;
+    waitForJobResults(params: {
+        jobId: string;
+        maxAttempts?: number;
+        interval?: number;
+        maxErrors?: number;
+        printLogs?: boolean;
+    }): Promise<(string | undefined)[]>;
+    getResults(jobId: string): Promise<{
+        success: true;
+        results?: JobResult[];
+        jobStatus?: JobStatus;
+    } | {
+        success: false;
+        error?: string;
+        jobStatus?: JobStatus;
+    }>;
+}

package/dist/web/tokens/token.js

@@ -0,0 +1,99 @@
+import { zkCloudWorkerClient } from "../api/api.js";
+export class TokenAPI {
+    constructor(params) {
+        const { jwt, zkcloudworker, chain } = params;
+        if (jwt === undefined)
+            throw new Error("jwt is undefined");
+        this.client = new zkCloudWorkerClient({
+            jwt,
+            chain,
+            zkcloudworker,
+        });
+    }
+    async proveTransaction(params) {
+        return this.proveTransactions([params]);
+    }
+    async proveTransactions(params) {
+        const transactions = [];
+        for (const tx of params) {
+            const transaction = JSON.stringify(tx, null, 2);
+            transactions.push(transaction);
+        }
+        const { request, symbol } = params[0];
+        const { txType } = request;
+        const answer = await this.client.execute({
+            developer: "DFST",
+            repo: "token-launchpad",
+            transactions,
+            task: "prove",
+            args: JSON.stringify({ tokenAddress: params[0].request.tokenAddress }),
+            metadata: `${params.length > 1 ? "airdrop" : txType.replace(/^token:/, "")} token${symbol ? ` ${symbol}` : ""}${params.length > 1 ? ` (${params.length} txs)` : ""}`,
+        });
+        const jobId = answer.jobId;
+        if (jobId === undefined)
+            console.error("Job ID is undefined", { answer, txType, symbol });
+        return jobId;
+    }
+    // Warning: this function will block the thread until the job is done and will print logs to the console
+    // Do not use it in "use server" functions, use getResults instead
+    async waitForJobResults(params) {
+        const deployResult = await this.client.waitForJobResult(params);
+        console.log("waitForJobResult result:", deployResult?.result?.result?.slice(0, 50));
+        return deployResult?.result?.result ?? "error";
+    }
+    async getResults(jobId) {
+        try {
+            const callResult = await this.client.jobResult({ jobId });
+            // TODO: filter the repo and developer
+            const jobStatus = typeof callResult?.result === "string"
+                ? undefined
+                : callResult?.result?.jobStatus;
+            if (!callResult.success) {
+                return {
+                    success: false,
+                    error: callResult?.error,
+                    jobStatus,
+                };
+            }
+            const jobResult = callResult.result?.result;
+            if (callResult.error)
+                return {
+                    success: false,
+                    error: callResult.error,
+                    jobStatus,
+                };
+            if (!jobResult)
+                return { success: true, jobStatus };
+            if (jobResult.toLowerCase().startsWith("error"))
+                return {
+                    success: false,
+                    error: jobResult,
+                    jobStatus,
+                };
+            try {
+                const { proofs } = JSON.parse(jobResult);
+                const results = [];
+                for (const proof of proofs) {
+                    const { success, tx, hash, error } = JSON.parse(proof);
+                    results.push({ success, tx, hash, error });
+                }
+                return { success: true, results, jobStatus };
+            }
+            catch (e) {
+                return {
+                    success: false,
+                    error: `Error parsing job result: ${jobResult} ${e?.message ?? ""}`,
+                    jobStatus,
+                };
+            }
+        }
+        catch (e) {
+            return {
+                success: false,
+                error: `Error getting job result: ${e?.message ?? ""}`,
+                jobStatus: undefined,
+            };
+        }
+    }
+}
+//# sourceMappingURL=token.js.map

package/dist/web/tokens/token.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"token.js","sourceRoot":"","sources":["../../../src/tokens/token.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGpD,MAAM,OAAO,QAAQ;IAGnB,YAAY,MAIX;QACC,MAAM,EAAE,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;QAC7C,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;QAE3D,IAAI,CAAC,MAAM,GAAG,IAAI,mBAAmB,CAAC;YACpC,GAAG;YACH,KAAK;YACL,aAAa;SACd,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,gBAAgB,CACpB,MAAwB;QAExB,OAAO,IAAI,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,iBAAiB,CACrB,MAA0B;QAE1B,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACxB,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YAChD,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;QAE3B,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;YACvC,SAAS,EAAE,MAAM;YACjB,IAAI,EAAE,iBAAiB;YACvB,YAAY;YACZ,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;YACtE,QAAQ,EAAE,GACR,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAC9D,SAAS,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,GACjC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,EAClD,EAAE;SACH,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS;YACrB,OAAO,CAAC,KAAK,CAAC,qBAAqB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACnE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,wGAAwG;IACxG,kEAAkE;IAClE,KAAK,CAAC,iBAAiB,CAAC,MAMvB;QACC,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAChE,OAAO,CAAC,GAAG,CACT,0BAA0B,EAC1B,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAC3C,CAAC;QACF,OAAO,YAAY,EAAE,MAAM,EAAE,MAAM,IAAI,OAAO,CAAC;IACjD,CAAC;IAED,KAAK,CAAC,UAAU,CACd,KAAa;QAKb,IAAI,CAAC;YACH,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;YAE1D,sCAAsC;YACtC,MAAM,SAAS,GACb,OAAO,UAAU,EAAE,MAAM,KAAK,QAAQ;gBACpC,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,CAAC;YACpC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;gBACxB,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,UAAU,EAAE,KAAK;oBACxB,SAAS;iBACV,CAAC;YACJ,CAAC;YACD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC;YAC5C,IAAI,UAAU,CAAC,KAAK;gBAClB,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,UAAU,CAAC,KAAK;oBACvB,SAAS;iBACV,CAAC;YACJ,IAAI,CAAC,SAAS;gBAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YAEpD,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;gBAC7C,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,SAAS;oBAChB,SAAS;iBACV,CAAC;YAEJ,IAAI,CAAC;gBACH,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBACzC,MAAM,OAAO,GAAgB,EAAE,CAAC;gBAChC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBACvD,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC7C,CAAC;gBACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;YAC/C,CAAC;YAAC,OAAO,CAAM,EAAE,CAAC;gBAChB,OAAO;oBACL,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,6BAA6B,SAAS,IAAI,CAAC,EAAE,OAAO,IAAI,EAAE,EAAE;oBACnE,SAAS;iBACV,CAAC;YACJ,CAAC;QACH,CAAC;QAAC,OAAO,CAAM,EAAE,CAAC;YAChB,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,6BAA6B,CAAC,EAAE,OAAO,IAAI,EAAE,EAAE;gBACtD,SAAS,EAAE,SAAS;aACrB,CAAC;QACJ,CAAC;IACH,CAAC;CACF"}

package/dist/web/verification/index.d.ts

@@ -0,0 +1 @@
+export * from "./verification.js";

package/dist/web/verification/index.js

@@ -0,0 +1,2 @@
+export * from "./verification.js";
+//# sourceMappingURL=index.js.map

package/dist/web/verification/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/verification/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC"}

package/dist/web/verification/verification.d.ts

@@ -0,0 +1,21 @@
+import { blockchain } from "@silvana-one/prover";
+import { SmartContract } from "o1js";
+/**
+ * VerificationData is a data structure that contains all the information needed to verify a smart contract on a blockchain.
+ * contract: The smart contract that needs to be verified.
+ * contractDependencies: The smart contracts that need to be compiled before verification.
+ * programDependencies: The zk programs that need to be compiled before verification.
+ * address: The address of the smart contract on the blockchain.
+ * chain: The blockchain on which the smart contract is deployed.
+ * image: The logo of the smart contract (public url)
+ *
+ * Contract, contractDependencies, and programDependencies should be exported from the repo
+ */
+export interface VerificationData {
+    contract: typeof SmartContract;
+    contractDependencies?: (typeof SmartContract)[];
+    programDependencies?: any[];
+    address: string;
+    chain: blockchain;
+    image?: string;
+}

package/dist/web/verification/verification.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=verification.js.map

package/dist/web/verification/verification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification.js","sourceRoot":"","sources":["../../../src/verification/verification.ts"],"names":[],"mappings":""}

package/package.json

@@ -0,0 +1,68 @@
+{
+  "name": "@silvana-one/mina-prover",
+  "description": "Silvana Mina Prover",
+  "version": "0.2.0",
+  "author": "DFST",
+  "bugs": "https://github.com/SilvanaOne/silvana-lib/issues",
+  "dependencies": {
+    "tslib": "^2.8.1"
+  },
+  "devDependencies": {
+    "@silvana-one/api": "0.2.0",
+    "@silvana-one/mina-utils": "0.2.0",
+    "@silvana-one/prover": "0.2.0",
+    "@types/node": "^22.13.8",
+    "esbuild": "^0.25.0",
+    "o1js": "^2.2.0",
+    "ts-node": "^10.9.2",
+    "typescript": "^5.8.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-one",
+    "proving",
+    "tokens",
+    "typescript",
+    "zkcloudworker"
+  ],
+  "license": "Apache-2.0",
+  "main": "dist/web/index.js",
+  "peerDependencies": {
+    "o1js": "^2.2.0",
+    "@silvana-one/api": "0.2.0",
+    "@silvana-one/mina-utils": "0.2.0",
+    "@silvana-one/prover": "0.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"
+}