@silvana-one/mina-prover 0.2.0

package/src/tokens/nft.ts

@@ -0,0 +1,147 @@
+import {
+  blockchain,
+  Cloud,
+  JobStatus,
+  zkCloudWorker,
+} from "@silvana-one/prover";
+import { zkCloudWorkerClient } from "../api/api.js";
+import { NftTransaction, JobResult } from "@silvana-one/api";
+
+export class NftAPI {
+  readonly client: zkCloudWorkerClient;
+
+  constructor(params: {
+    jwt: string;
+    zkcloudworker?: (cloud: Cloud) => Promise<zkCloudWorker>;
+    chain: blockchain;
+  }) {
+    const { jwt, zkcloudworker, chain } = params;
+    if (jwt === undefined) throw new Error("jwt is undefined");
+
+    this.client = new zkCloudWorkerClient({
+      jwt,
+      chain,
+      zkcloudworker,
+    });
+  }
+
+  async proveTransaction(params: NftTransaction): Promise<string | undefined> {
+    return this.proveTransactions([params]);
+  }
+
+  async proveTransactions(
+    params: NftTransaction[],
+    name?: string
+  ): Promise<string | undefined> {
+    const transactions: string[] = [];
+    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: "nft-agent",
+      transactions,
+      task: "prove",
+      args: JSON.stringify({
+        collectionAddress: params[0].request.collectionAddress,
+      }),
+      metadata: `${params.length > 1 ? "mint" : txType.replace(/^nft:/, "")} ${
+        symbol ? ` ${symbol}` : ""
+      } ${
+        params.length > 1
+          ? `(${params.length} txs)`
+          : txType === "nft:launch"
+          ? "Collection " + request.collectionName
+          : txType === "nft:mint"
+          ? request.nftMintParams.name
+          : name ?? ""
+      }`,
+    });
+    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: {
+    jobId: string;
+    maxAttempts?: number;
+    interval?: number;
+    maxErrors?: number;
+    printLogs?: boolean;
+  }): Promise<(string | undefined)[]> {
+    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: string
+  ): Promise<
+    | { success: true; results?: JobResult[]; jobStatus?: JobStatus }
+    | { success: false; error?: string; jobStatus?: JobStatus }
+  > {
+    try {
+      const callResult = await this.client.jobResult({ jobId });
+
+      // TODO: filter the repo and developer
+      const jobStatus: JobStatus | undefined =
+        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: JobResult[] = [];
+        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: any) {
+        return {
+          success: false,
+          error: `Error parsing job result: ${jobResult} ${e?.message ?? ""}`,
+          jobStatus,
+        };
+      }
+    } catch (e: any) {
+      return {
+        success: false,
+        error: `Error getting job result: ${e?.message ?? ""}`,
+        jobStatus: undefined,
+      };
+    }
+  }
+}

package/src/tokens/token.ts

@@ -0,0 +1,140 @@
+import {
+  blockchain,
+  Cloud,
+  JobStatus,
+  zkCloudWorker,
+} from "@silvana-one/prover";
+import { zkCloudWorkerClient } from "../api/api.js";
+import { TokenTransaction, JobResult } from "@silvana-one/api";
+
+export class TokenAPI {
+  readonly client: zkCloudWorkerClient;
+
+  constructor(params: {
+    jwt: string;
+    zkcloudworker?: (cloud: Cloud) => Promise<zkCloudWorker>;
+    chain: blockchain;
+  }) {
+    const { jwt, zkcloudworker, chain } = params;
+    if (jwt === undefined) throw new Error("jwt is undefined");
+
+    this.client = new zkCloudWorkerClient({
+      jwt,
+      chain,
+      zkcloudworker,
+    });
+  }
+
+  async proveTransaction(
+    params: TokenTransaction
+  ): Promise<string | undefined> {
+    return this.proveTransactions([params]);
+  }
+
+  async proveTransactions(
+    params: TokenTransaction[]
+  ): Promise<string | undefined> {
+    const transactions: string[] = [];
+    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: {
+    jobId: string;
+    maxAttempts?: number;
+    interval?: number;
+    maxErrors?: number;
+    printLogs?: boolean;
+  }): Promise<(string | undefined)[]> {
+    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: string
+  ): Promise<
+    | { success: true; results?: JobResult[]; jobStatus?: JobStatus }
+    | { success: false; error?: string; jobStatus?: JobStatus }
+  > {
+    try {
+      const callResult = await this.client.jobResult({ jobId });
+
+      // TODO: filter the repo and developer
+      const jobStatus: JobStatus | undefined =
+        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: JobResult[] = [];
+        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: any) {
+        return {
+          success: false,
+          error: `Error parsing job result: ${jobResult} ${e?.message ?? ""}`,
+          jobStatus,
+        };
+      }
+    } catch (e: any) {
+      return {
+        success: false,
+        error: `Error getting job result: ${e?.message ?? ""}`,
+        jobStatus: undefined,
+      };
+    }
+  }
+}

package/src/verification/index.ts

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

package/src/verification/verification.ts

@@ -0,0 +1,23 @@
+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[]; // ZkProgram[];
+  address: string;
+  chain: blockchain;
+  image?: string;
+}