@caatinga/core 2.2.1 → 2.3.1

package/dist/index.cjs

@@ -48,6 +48,7 @@ __export(index_exports, {
   collectProjectStatus: () => collectProjectStatus,
   createInitialArtifacts: () => createInitialArtifacts,
   createProjectFromTemplate: () => createProjectFromTemplate,
+  createZkProject: () => createZkProject,
   defineConfig: () => defineConfig,
   deployContract: () => deployContract,
   deployContractGraph: () => deployContractGraph,
@@ -66,6 +67,7 @@ __export(index_exports, {
   readArtifacts: () => readArtifacts,
   readBindingMarker: () => readBindingMarker,
   resolveContract: () => resolveContract,
+  resolveDefaultContractName: () => resolveDefaultContractName,
   resolveDeployArgs: () => resolveDeployArgs,
   resolveDeployOrder: () => resolveDeployOrder,
   resolveNetwork: () => resolveNetwork,
@@ -185,7 +187,7 @@ function formatCause(cause) {
 }
 
 // src/version.ts
-var CAATINGA_CORE_VERSION = "2.2.1";
+var CAATINGA_CORE_VERSION = "2.3.1";
 
 // src/config/config.schema.ts
 var import_zod = require("zod");
@@ -200,6 +202,15 @@ var NetworkConfigSchema = import_zod.z.object({
   rpcUrl: import_zod.z.string().url(),
   networkPassphrase: import_zod.z.string().min(1)
 });
+var ZkCircuitSchema = import_zod.z.object({
+  path: import_zod.z.string().min(1),
+  protocol: import_zod.z.literal("groth16"),
+  curve: import_zod.z.literal("bls12381"),
+  verifierContract: import_zod.z.string().optional()
+});
+var ZkConfigSchema = import_zod.z.object({
+  circuits: import_zod.z.record(import_zod.z.string().min(1), ZkCircuitSchema)
+}).optional();
 var CaatingaConfigSchema = import_zod.z.object({
   project: import_zod.z.string().min(1),
   defaultNetwork: import_zod.z.string().min(1).default("testnet"),
@@ -214,7 +225,8 @@ var CaatingaConfigSchema = import_zod.z.object({
   frontend: import_zod.z.object({
     framework: import_zod.z.enum(["vite-react", "next", "astro"]).default("vite-react"),
     bindingsOutput: import_zod.z.string().min(1)
-  })
+  }).optional(),
+  zk: ZkConfigSchema
 });
 
 // src/config/define-config.ts
@@ -412,6 +424,15 @@ async function listGeneratedEntries(outputDir) {
 }
 async function evaluateBindingFreshness(options) {
   const cwd = options.cwd ?? process.cwd();
+  if (!options.config.frontend) {
+    return {
+      contractName: options.contractName,
+      status: "unknown",
+      outputDir: "",
+      marker: null,
+      reason: "frontend bindings are not configured"
+    };
+  }
   const outputDir = import_node_path5.default.resolve(cwd, options.config.frontend.bindingsOutput, options.contractName);
   const contractArtifact = options.artifacts.networks[options.networkName]?.contracts[options.contractName];
   if (!contractArtifact) {
@@ -658,6 +679,7 @@ async function runCommand(command, args, options = {}) {
     const result = await (0, import_execa.execa)(command, args, {
       cwd: options.cwd,
       env: options.env,
+      input: options.input,
       all: true,
       reject: true
     });
@@ -872,6 +894,19 @@ function resolveContract(config, contractName, cwd = process.cwd()) {
   };
 }
 
+// src/contracts/resolve-default-contract.ts
+function resolveDefaultContractName(config) {
+  const names = Object.keys(config.contracts);
+  if (names.length === 1) {
+    return names[0];
+  }
+  throw new CaatingaError(
+    "Pass a contract name to build.",
+    CaatingaErrorCode.CONTRACT_NOT_FOUND,
+    `Configured contracts: ${names.join(", ")}. Example: caatinga build ${names[0]}`
+  );
+}
+
 // src/contracts/wasm.ts
 var import_node_crypto = require("crypto");
 var import_promises6 = require("fs/promises");
@@ -1416,6 +1451,13 @@ async function removeLegacyBindingStub(cwd, bindingsOutput, contractName) {
 }
 async function generateBindings(options) {
   const cwd = options.cwd ?? process.cwd();
+  if (!options.config.frontend) {
+    throw new CaatingaError(
+      "Frontend bindings are not configured.",
+      CaatingaErrorCode.INVALID_CONFIG,
+      "Add a frontend.bindingsOutput entry to caatinga.config.ts before running caatinga generate."
+    );
+  }
   const network = resolveNetwork(options.config, options.networkName);
   const artifacts = await readArtifacts(cwd);
   const contractArtifact = artifacts.networks[network.name]?.contracts[options.contractName];
@@ -1662,15 +1704,18 @@ async function createProjectFromTemplate(options) {
     );
   }
   const manifest = await readTemplateManifest(templateDir);
+  const mergeIntoExisting = Boolean(options.filter);
   await (0, import_promises8.mkdir)(targetDir, { recursive: true });
   await (0, import_promises8.cp)(templateDir, targetDir, {
     recursive: true,
-    force: false,
-    errorOnExist: true,
-    filter: (source) => shouldCopyTemplateEntry(templateDir, source)
+    force: mergeIntoExisting,
+    errorOnExist: !mergeIntoExisting,
+    filter: (source) => shouldCopyTemplateEntry(templateDir, source, options.filter)
   });
   await replaceTemplateVariables(targetDir, options.projectName);
-  await ensureArtifacts(targetDir, options.projectName);
+  if (!mergeIntoExisting) {
+    await ensureArtifacts(targetDir, options.projectName);
+  }
   return { targetDir, template: manifest };
 }
 async function ensureArtifacts(targetDir, projectName) {
@@ -1736,11 +1781,15 @@ async function replaceTemplateVariables(dir, projectName) {
     await (0, import_promises8.writeFile)(entryPath, content.replaceAll("__PROJECT_NAME__", projectName), "utf8");
   }));
 }
-function shouldCopyTemplateEntry(templateDir, source) {
+function shouldCopyTemplateEntry(templateDir, source, userFilter) {
   const relativePath = import_node_path10.default.relative(templateDir, source);
   if (!relativePath || relativePath === ".") {
     return true;
   }
+  const normalizedPath = relativePath.split(import_node_path10.default.sep).join("/");
+  if (userFilter && !userFilter(normalizedPath)) {
+    return false;
+  }
   return !relativePath.split(import_node_path10.default.sep).some((segment) => TEMPLATE_COPY_EXCLUDED_DIRS.has(segment));
 }
 function isTextTemplateFile(filePath) {
@@ -1756,6 +1805,119 @@ function isTextTemplateFile(filePath) {
   ].includes(import_node_path10.default.extname(filePath));
 }
 
+// src/scaffold/create-zk-project.ts
+var import_promises9 = require("fs/promises");
+var import_node_fs = require("fs");
+var import_node_path11 = __toESM(require("path"), 1);
+var import_node_url = require("url");
+var import_meta2 = {};
+var moduleDir = typeof __dirname === "string" ? __dirname : import_node_path11.default.dirname((0, import_node_url.fileURLToPath)(import_meta2.url));
+function scaffoldRoot() {
+  const candidates = [
+    import_node_path11.default.resolve(moduleDir, "../../scaffolds"),
+    import_node_path11.default.resolve(moduleDir, "../scaffolds")
+  ];
+  const found = candidates.find((candidate) => (0, import_node_fs.existsSync)(candidate));
+  return found ?? candidates[0];
+}
+function configSource(projectName) {
+  return `import { defineConfig } from "@caatinga/core";
+
+export default defineConfig({
+  project: "${projectName}",
+  defaultNetwork: "testnet",
+  contracts: {
+    verifier: {
+      path: "./contracts/verifier",
+      wasm: "./contracts/verifier/target/wasm32v1-none/release/verifier.wasm"
+    }
+  },
+  networks: {
+    testnet: {
+      rpcUrl: "https://soroban-testnet.stellar.org",
+      networkPassphrase: "Test SDF Network ; September 2015"
+    }
+  },
+  zk: {
+    circuits: {
+      main: {
+        path: "./circuits",
+        protocol: "groth16",
+        curve: "bls12381",
+        verifierContract: "verifier"
+      }
+    }
+  }
+});
+`;
+}
+function packageJsonSource(projectName) {
+  return `${JSON.stringify({
+    name: projectName,
+    version: "0.1.0",
+    private: true,
+    type: "module",
+    scripts: {
+      "zk:build": "caatinga zk build main",
+      "zk:prove": "caatinga zk prove main",
+      build: "caatinga build verifier",
+      deploy: "caatinga deploy verifier"
+    },
+    devDependencies: {
+      "@caatinga/cli": `^${CAATINGA_CORE_VERSION}`,
+      "@caatinga/core": `^${CAATINGA_CORE_VERSION}`
+    }
+  }, null, 2)}
+`;
+}
+function readmeSource(projectName) {
+  return `# ${projectName}
+
+Minimal Caatinga ZK project.
+
+## Workflow
+
+\`\`\`bash
+npm install
+npx caatinga zk build main
+npx caatinga build verifier
+npx caatinga deploy verifier --network testnet
+npx caatinga zk prove main
+\`\`\`
+
+Replace \`circuits/main.circom\` with your circuit. Keep the entry point named \`main\`.
+`;
+}
+async function createZkProject(options) {
+  const targetDir = import_node_path11.default.resolve(options.targetDir);
+  const force = options.force ?? false;
+  const projectFiles = options.projectFiles ?? true;
+  await (0, import_promises9.mkdir)(targetDir, { recursive: true });
+  if (projectFiles) {
+    await Promise.all([
+      (0, import_promises9.writeFile)(import_node_path11.default.join(targetDir, "caatinga.config.ts"), configSource(options.projectName), { encoding: "utf8", flag: force ? "w" : "wx" }),
+      (0, import_promises9.writeFile)(import_node_path11.default.join(targetDir, "package.json"), packageJsonSource(options.projectName), { encoding: "utf8", flag: force ? "w" : "wx" }),
+      (0, import_promises9.writeFile)(import_node_path11.default.join(targetDir, ".gitignore"), "node_modules\n.artifacts\ntarget\n", { encoding: "utf8", flag: force ? "w" : "wx" }),
+      (0, import_promises9.writeFile)(import_node_path11.default.join(targetDir, "README.md"), readmeSource(options.projectName), { encoding: "utf8", flag: force ? "w" : "wx" })
+    ]);
+  }
+  await (0, import_promises9.mkdir)(import_node_path11.default.join(targetDir, "contracts"), { recursive: true });
+  await (0, import_promises9.cp)(import_node_path11.default.join(scaffoldRoot(), "zk-circuit-stub"), import_node_path11.default.join(targetDir, "circuits"), {
+    recursive: true,
+    force,
+    errorOnExist: !force
+  });
+  await (0, import_promises9.cp)(import_node_path11.default.join(scaffoldRoot(), "zk-verifier"), import_node_path11.default.join(targetDir, "contracts", "verifier"), {
+    recursive: true,
+    force,
+    errorOnExist: !force
+  });
+  if (projectFiles) {
+    await writeArtifacts(createInitialArtifacts(options.projectName, { networks: ["testnet"] }), targetDir);
+  }
+  return { targetDir };
+}
+
 // src/ci/is-transient-testnet-smoke-failure.ts
 var NO_RETRY_CAATINGA_SUBSTRINGS = [
   "CAATINGA_UNSUPPORTED_CLI_VERSION",
@@ -1796,6 +1958,7 @@ function isTransientTestnetSmokeFailure(logText) {
   collectProjectStatus,
   createInitialArtifacts,
   createProjectFromTemplate,
+  createZkProject,
   defineConfig,
   deployContract,
   deployContractGraph,
@@ -1814,6 +1977,7 @@ function isTransientTestnetSmokeFailure(logText) {
   readArtifacts,
   readBindingMarker,
   resolveContract,
+  resolveDefaultContractName,
   resolveDeployArgs,
   resolveDeployOrder,
   resolveNetwork,

package/dist/index.d.cts

@@ -2,7 +2,7 @@ import { C as CaatingaArtifacts, a as ContractArtifact, b as CaatingaErrorCodeVa
 export { d as CaatingaArtifactsSchema, e as CaatingaErrorCode, f as formatCaatingaError, t as toCaatingaError } from './browser-Cq4ZofIq.cjs';
 import { z } from 'zod';
 
-declare const CAATINGA_CORE_VERSION = "2.2.1";
+declare const CAATINGA_CORE_VERSION = "2.3.1";
 
 declare const ContractConfigSchema: z.ZodObject<{
     path: z.ZodString;
@@ -75,7 +75,7 @@ declare const CaatingaConfigSchema: z.ZodObject<{
         rpcUrl: string;
         networkPassphrase: string;
     }>>;
-    frontend: z.ZodObject<{
+    frontend: z.ZodOptional<z.ZodObject<{
         framework: z.ZodDefault<z.ZodEnum<["vite-react", "next", "astro"]>>;
         bindingsOutput: z.ZodString;
     }, "strip", z.ZodTypeAny, {
@@ -84,7 +84,39 @@ declare const CaatingaConfigSchema: z.ZodObject<{
     }, {
         bindingsOutput: string;
         framework?: "vite-react" | "next" | "astro" | undefined;
-    }>;
+    }>>;
+    zk: z.ZodOptional<z.ZodObject<{
+        circuits: z.ZodRecord<z.ZodString, z.ZodObject<{
+            path: z.ZodString;
+            protocol: z.ZodLiteral<"groth16">;
+            curve: z.ZodLiteral<"bls12381">;
+            verifierContract: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            protocol: "groth16";
+            curve: "bls12381";
+            verifierContract?: string | undefined;
+        }, {
+            path: string;
+            protocol: "groth16";
+            curve: "bls12381";
+            verifierContract?: string | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        circuits: Record<string, {
+            path: string;
+            protocol: "groth16";
+            curve: "bls12381";
+            verifierContract?: string | undefined;
+        }>;
+    }, {
+        circuits: Record<string, {
+            path: string;
+            protocol: "groth16";
+            curve: "bls12381";
+            verifierContract?: string | undefined;
+        }>;
+    }>>;
 }, "strip", z.ZodTypeAny, {
     project: string;
     defaultNetwork: string;
@@ -98,10 +130,18 @@ declare const CaatingaConfigSchema: z.ZodObject<{
         rpcUrl: string;
         networkPassphrase: string;
     }>;
-    frontend: {
+    frontend?: {
         framework: "vite-react" | "next" | "astro";
         bindingsOutput: string;
-    };
+    } | undefined;
+    zk?: {
+        circuits: Record<string, {
+            path: string;
+            protocol: "groth16";
+            curve: "bls12381";
+            verifierContract?: string | undefined;
+        }>;
+    } | undefined;
 }, {
     project: string;
     contracts: Record<string, {
@@ -114,11 +154,19 @@ declare const CaatingaConfigSchema: z.ZodObject<{
         rpcUrl: string;
         networkPassphrase: string;
     }>;
-    frontend: {
+    defaultNetwork?: string | undefined;
+    frontend?: {
         bindingsOutput: string;
         framework?: "vite-react" | "next" | "astro" | undefined;
-    };
-    defaultNetwork?: string | undefined;
+    } | undefined;
+    zk?: {
+        circuits: Record<string, {
+            path: string;
+            protocol: "groth16";
+            curve: "bls12381";
+            verifierContract?: string | undefined;
+        }>;
+    } | undefined;
 }>;
 type CaatingaConfig = z.infer<typeof CaatingaConfigSchema>;
 type ContractConfig = z.infer<typeof ContractConfigSchema>;
@@ -232,6 +280,7 @@ type RunCommandResult = {
 type RunCommandOptions = {
     cwd?: string;
     env?: NodeJS.ProcessEnv;
+    input?: string;
     skipStellarVersionCheck?: boolean;
     failureCode?: CaatingaErrorCodeValue;
 };
@@ -286,6 +335,8 @@ type ResolvedContract = {
 };
 declare function resolveContract(config: CaatingaConfig, contractName: string, cwd?: string): ResolvedContract;
 
+declare function resolveDefaultContractName(config: CaatingaConfig): string;
+
 type BuildContractOptions = {
     config: CaatingaConfig;
     contractName: string;
@@ -444,6 +495,7 @@ type CreateProjectFromTemplateOptions = {
     projectName: string;
     targetDir: string;
     templateDir: string;
+    filter?: (relativePath: string) => boolean;
 };
 declare function createProjectFromTemplate(options: CreateProjectFromTemplateOptions): Promise<{
     targetDir: string;
@@ -470,6 +522,16 @@ declare function createProjectFromTemplate(options: CreateProjectFromTemplateOpt
     };
 }>;
 
+type CreateZkProjectOptions = {
+    projectName: string;
+    targetDir: string;
+    force?: boolean;
+    projectFiles?: boolean;
+};
+declare function createZkProject(options: CreateZkProjectOptions): Promise<{
+    targetDir: string;
+}>;
+
 declare const TemplateManifestSchema: z.ZodObject<{
     name: z.ZodString;
     version: z.ZodString;
@@ -559,4 +621,4 @@ type TemplateManifest = z.infer<typeof TemplateManifestSchema>;
 
 declare function isTransientTestnetSmokeFailure(logText: string): boolean;
 
-export { BINDING_MARKER_FILENAME, type BindingFreshness, type BindingFreshnessStatus, type BindingMarker, BindingMarkerSchema, type BuildContractOptions, CAATINGA_CORE_VERSION, CaatingaArtifacts, type CaatingaConfig, CaatingaConfigSchema, CaatingaError, type CheckStellarCliVersionOptions, type CollectProjectStatusOptions, type CompatibilityReport, type CompatibilityStatus, type CompatibilityWarning, type CompatibilityWarningCode, ContractArtifact, type ContractConfig, type ContractStatusEntry, type CreateInitialArtifactsOptions, type CreateProjectFromTemplateOptions, type DeployArgValue, type DeployContractGraphResult, type DeployContractOptions, type EvaluateBindingFreshnessOptions, type EvaluateStellarCliCompatibilityInput, type GenerateBindingsGraphResult, type GenerateBindingsOptions, type InvokeContractOptions, type InvokeTarget, type LoadConfigOptions, type NetworkConfig, type NetworkStatus, type ProjectStatus, type ResolvedContract, type ResolvedNetwork, type RunCommandResult, STELLAR_CLI_LAST_TESTED_VERSION, STELLAR_CLI_MIN_VERSION, type SkippedContract, type TemplateManifest, TemplateManifestSchema, WELL_KNOWN_NETWORKS, buildContract, buildDependencyGraph, checkBinary, checkStellarCliVersion, collectProjectStatus, createInitialArtifacts, createProjectFromTemplate, defineConfig, deployContract, deployContractGraph, evaluateBindingFreshness, evaluateBindingsFreshness, evaluateStellarCliCompatibility, generateBindings, generateBindingsGraph, invokeContract, isTransientTestnetSmokeFailure, loadConfig, parseContractId, parseInvokeTarget, parseStellarCliVersion, readArtifacts, readBindingMarker, resolveContract, resolveDeployArgs, resolveDeployOrder, resolveNetwork, runCommand, updateArtifact, validateSourceShape, writeArtifacts, writeBindingMarker };
+export { BINDING_MARKER_FILENAME, type BindingFreshness, type BindingFreshnessStatus, type BindingMarker, BindingMarkerSchema, type BuildContractOptions, CAATINGA_CORE_VERSION, CaatingaArtifacts, type CaatingaConfig, CaatingaConfigSchema, CaatingaError, type CheckStellarCliVersionOptions, type CollectProjectStatusOptions, type CompatibilityReport, type CompatibilityStatus, type CompatibilityWarning, type CompatibilityWarningCode, ContractArtifact, type ContractConfig, type ContractStatusEntry, type CreateInitialArtifactsOptions, type CreateProjectFromTemplateOptions, type CreateZkProjectOptions, type DeployArgValue, type DeployContractGraphResult, type DeployContractOptions, type EvaluateBindingFreshnessOptions, type EvaluateStellarCliCompatibilityInput, type GenerateBindingsGraphResult, type GenerateBindingsOptions, type InvokeContractOptions, type InvokeTarget, type LoadConfigOptions, type NetworkConfig, type NetworkStatus, type ProjectStatus, type ResolvedContract, type ResolvedNetwork, type RunCommandResult, STELLAR_CLI_LAST_TESTED_VERSION, STELLAR_CLI_MIN_VERSION, type SkippedContract, type TemplateManifest, TemplateManifestSchema, WELL_KNOWN_NETWORKS, buildContract, buildDependencyGraph, checkBinary, checkStellarCliVersion, collectProjectStatus, createInitialArtifacts, createProjectFromTemplate, createZkProject, defineConfig, deployContract, deployContractGraph, evaluateBindingFreshness, evaluateBindingsFreshness, evaluateStellarCliCompatibility, generateBindings, generateBindingsGraph, invokeContract, isTransientTestnetSmokeFailure, loadConfig, parseContractId, parseInvokeTarget, parseStellarCliVersion, readArtifacts, readBindingMarker, resolveContract, resolveDefaultContractName, resolveDeployArgs, resolveDeployOrder, resolveNetwork, runCommand, updateArtifact, validateSourceShape, writeArtifacts, writeBindingMarker };

package/dist/index.d.ts

@@ -2,7 +2,7 @@ import { C as CaatingaArtifacts, a as ContractArtifact, b as CaatingaErrorCodeVa
 export { d as CaatingaArtifactsSchema, e as CaatingaErrorCode, f as formatCaatingaError, t as toCaatingaError } from './browser-Cq4ZofIq.js';
 import { z } from 'zod';
 
-declare const CAATINGA_CORE_VERSION = "2.2.1";
+declare const CAATINGA_CORE_VERSION = "2.3.1";
 
 declare const ContractConfigSchema: z.ZodObject<{
     path: z.ZodString;
@@ -75,7 +75,7 @@ declare const CaatingaConfigSchema: z.ZodObject<{
         rpcUrl: string;
         networkPassphrase: string;
     }>>;
-    frontend: z.ZodObject<{
+    frontend: z.ZodOptional<z.ZodObject<{
         framework: z.ZodDefault<z.ZodEnum<["vite-react", "next", "astro"]>>;
         bindingsOutput: z.ZodString;
     }, "strip", z.ZodTypeAny, {
@@ -84,7 +84,39 @@ declare const CaatingaConfigSchema: z.ZodObject<{
     }, {
         bindingsOutput: string;
         framework?: "vite-react" | "next" | "astro" | undefined;
-    }>;
+    }>>;
+    zk: z.ZodOptional<z.ZodObject<{
+        circuits: z.ZodRecord<z.ZodString, z.ZodObject<{
+            path: z.ZodString;
+            protocol: z.ZodLiteral<"groth16">;
+            curve: z.ZodLiteral<"bls12381">;
+            verifierContract: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            protocol: "groth16";
+            curve: "bls12381";
+            verifierContract?: string | undefined;
+        }, {
+            path: string;
+            protocol: "groth16";
+            curve: "bls12381";
+            verifierContract?: string | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        circuits: Record<string, {
+            path: string;
+            protocol: "groth16";
+            curve: "bls12381";
+            verifierContract?: string | undefined;
+        }>;
+    }, {
+        circuits: Record<string, {
+            path: string;
+            protocol: "groth16";
+            curve: "bls12381";
+            verifierContract?: string | undefined;
+        }>;
+    }>>;
 }, "strip", z.ZodTypeAny, {
     project: string;
     defaultNetwork: string;
@@ -98,10 +130,18 @@ declare const CaatingaConfigSchema: z.ZodObject<{
         rpcUrl: string;
         networkPassphrase: string;
     }>;
-    frontend: {
+    frontend?: {
         framework: "vite-react" | "next" | "astro";
         bindingsOutput: string;
-    };
+    } | undefined;
+    zk?: {
+        circuits: Record<string, {
+            path: string;
+            protocol: "groth16";
+            curve: "bls12381";
+            verifierContract?: string | undefined;
+        }>;
+    } | undefined;
 }, {
     project: string;
     contracts: Record<string, {
@@ -114,11 +154,19 @@ declare const CaatingaConfigSchema: z.ZodObject<{
         rpcUrl: string;
         networkPassphrase: string;
     }>;
-    frontend: {
+    defaultNetwork?: string | undefined;
+    frontend?: {
         bindingsOutput: string;
         framework?: "vite-react" | "next" | "astro" | undefined;
-    };
-    defaultNetwork?: string | undefined;
+    } | undefined;
+    zk?: {
+        circuits: Record<string, {
+            path: string;
+            protocol: "groth16";
+            curve: "bls12381";
+            verifierContract?: string | undefined;
+        }>;
+    } | undefined;
 }>;
 type CaatingaConfig = z.infer<typeof CaatingaConfigSchema>;
 type ContractConfig = z.infer<typeof ContractConfigSchema>;
@@ -232,6 +280,7 @@ type RunCommandResult = {
 type RunCommandOptions = {
     cwd?: string;
     env?: NodeJS.ProcessEnv;
+    input?: string;
     skipStellarVersionCheck?: boolean;
     failureCode?: CaatingaErrorCodeValue;
 };
@@ -286,6 +335,8 @@ type ResolvedContract = {
 };
 declare function resolveContract(config: CaatingaConfig, contractName: string, cwd?: string): ResolvedContract;
 
+declare function resolveDefaultContractName(config: CaatingaConfig): string;
+
 type BuildContractOptions = {
     config: CaatingaConfig;
     contractName: string;
@@ -444,6 +495,7 @@ type CreateProjectFromTemplateOptions = {
     projectName: string;
     targetDir: string;
     templateDir: string;
+    filter?: (relativePath: string) => boolean;
 };
 declare function createProjectFromTemplate(options: CreateProjectFromTemplateOptions): Promise<{
     targetDir: string;
@@ -470,6 +522,16 @@ declare function createProjectFromTemplate(options: CreateProjectFromTemplateOpt
     };
 }>;
 
+type CreateZkProjectOptions = {
+    projectName: string;
+    targetDir: string;
+    force?: boolean;
+    projectFiles?: boolean;
+};
+declare function createZkProject(options: CreateZkProjectOptions): Promise<{
+    targetDir: string;
+}>;
+
 declare const TemplateManifestSchema: z.ZodObject<{
     name: z.ZodString;
     version: z.ZodString;
@@ -559,4 +621,4 @@ type TemplateManifest = z.infer<typeof TemplateManifestSchema>;
 
 declare function isTransientTestnetSmokeFailure(logText: string): boolean;
 
-export { BINDING_MARKER_FILENAME, type BindingFreshness, type BindingFreshnessStatus, type BindingMarker, BindingMarkerSchema, type BuildContractOptions, CAATINGA_CORE_VERSION, CaatingaArtifacts, type CaatingaConfig, CaatingaConfigSchema, CaatingaError, type CheckStellarCliVersionOptions, type CollectProjectStatusOptions, type CompatibilityReport, type CompatibilityStatus, type CompatibilityWarning, type CompatibilityWarningCode, ContractArtifact, type ContractConfig, type ContractStatusEntry, type CreateInitialArtifactsOptions, type CreateProjectFromTemplateOptions, type DeployArgValue, type DeployContractGraphResult, type DeployContractOptions, type EvaluateBindingFreshnessOptions, type EvaluateStellarCliCompatibilityInput, type GenerateBindingsGraphResult, type GenerateBindingsOptions, type InvokeContractOptions, type InvokeTarget, type LoadConfigOptions, type NetworkConfig, type NetworkStatus, type ProjectStatus, type ResolvedContract, type ResolvedNetwork, type RunCommandResult, STELLAR_CLI_LAST_TESTED_VERSION, STELLAR_CLI_MIN_VERSION, type SkippedContract, type TemplateManifest, TemplateManifestSchema, WELL_KNOWN_NETWORKS, buildContract, buildDependencyGraph, checkBinary, checkStellarCliVersion, collectProjectStatus, createInitialArtifacts, createProjectFromTemplate, defineConfig, deployContract, deployContractGraph, evaluateBindingFreshness, evaluateBindingsFreshness, evaluateStellarCliCompatibility, generateBindings, generateBindingsGraph, invokeContract, isTransientTestnetSmokeFailure, loadConfig, parseContractId, parseInvokeTarget, parseStellarCliVersion, readArtifacts, readBindingMarker, resolveContract, resolveDeployArgs, resolveDeployOrder, resolveNetwork, runCommand, updateArtifact, validateSourceShape, writeArtifacts, writeBindingMarker };
+export { BINDING_MARKER_FILENAME, type BindingFreshness, type BindingFreshnessStatus, type BindingMarker, BindingMarkerSchema, type BuildContractOptions, CAATINGA_CORE_VERSION, CaatingaArtifacts, type CaatingaConfig, CaatingaConfigSchema, CaatingaError, type CheckStellarCliVersionOptions, type CollectProjectStatusOptions, type CompatibilityReport, type CompatibilityStatus, type CompatibilityWarning, type CompatibilityWarningCode, ContractArtifact, type ContractConfig, type ContractStatusEntry, type CreateInitialArtifactsOptions, type CreateProjectFromTemplateOptions, type CreateZkProjectOptions, type DeployArgValue, type DeployContractGraphResult, type DeployContractOptions, type EvaluateBindingFreshnessOptions, type EvaluateStellarCliCompatibilityInput, type GenerateBindingsGraphResult, type GenerateBindingsOptions, type InvokeContractOptions, type InvokeTarget, type LoadConfigOptions, type NetworkConfig, type NetworkStatus, type ProjectStatus, type ResolvedContract, type ResolvedNetwork, type RunCommandResult, STELLAR_CLI_LAST_TESTED_VERSION, STELLAR_CLI_MIN_VERSION, type SkippedContract, type TemplateManifest, TemplateManifestSchema, WELL_KNOWN_NETWORKS, buildContract, buildDependencyGraph, checkBinary, checkStellarCliVersion, collectProjectStatus, createInitialArtifacts, createProjectFromTemplate, createZkProject, defineConfig, deployContract, deployContractGraph, evaluateBindingFreshness, evaluateBindingsFreshness, evaluateStellarCliCompatibility, generateBindings, generateBindingsGraph, invokeContract, isTransientTestnetSmokeFailure, loadConfig, parseContractId, parseInvokeTarget, parseStellarCliVersion, readArtifacts, readBindingMarker, resolveContract, resolveDefaultContractName, resolveDeployArgs, resolveDeployOrder, resolveNetwork, runCommand, updateArtifact, validateSourceShape, writeArtifacts, writeBindingMarker };