@lightprotocol/zk-compression-cli 0.27.1-alpha.0 → 0.27.1-alpha.2

package/dist/commands/mint-to/index.js

@@ -2,10 +2,32 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 const core_1 = require("@oclif/core");
 const utils_1 = require("../../utils/utils");
-const helpers_1 = require("@solana-developers/helpers");
 const web3_js_1 = require("@solana/web3.js");
 const compressed_token_1 = require("@lightprotocol/compressed-token");
 class MintToCommand extends core_1.Command {
+    static summary = "Mint tokens to an account.";
+    static examples = [
+        "$ light mint-to --mint PublicKey --to PublicKey --amount 1000",
+    ];
+    static flags = {
+        "mint-authority": core_1.Flags.string({
+            description: "Specify the filepath of the mint authority keypair. Defaults to your local solana wallet.",
+            required: false,
+        }),
+        mint: core_1.Flags.string({
+            description: "Specify the mint address.",
+            required: true,
+        }),
+        to: core_1.Flags.string({
+            description: "Specify the recipient address.",
+            required: true,
+        }),
+        amount: core_1.Flags.integer({
+            description: "Amount to mint, in tokens.",
+            required: true,
+        }),
+    };
+    static args = {};
     async run() {
         const { flags } = await this.parse(MintToCommand);
         const mint = flags["mint"];
@@ -22,7 +44,7 @@ class MintToCommand extends core_1.Command {
             const payer = (0, utils_1.defaultSolanaWalletKeypair)();
             let mintAuthority = payer;
             if (flags["mint-authority"] !== undefined) {
-                mintAuthority = await (0, helpers_1.getKeypairFromFile)(flags["mint-authority"]);
+                mintAuthority = await (0, utils_1.getKeypairFromFile)(flags["mint-authority"]);
             }
             const txId = await (0, compressed_token_1.mintTo)((0, utils_1.rpc)(), payer, mintPublicKey, toPublicKey, mintAuthority, amount);
             loader.stop(false);
@@ -34,27 +56,4 @@ class MintToCommand extends core_1.Command {
         }
     }
 }
-MintToCommand.summary = "Mint tokens to an account.";
-MintToCommand.examples = [
-    "$ light mint-to --mint PublicKey --to PublicKey --amount 1000",
-];
-MintToCommand.flags = {
-    "mint-authority": core_1.Flags.string({
-        description: "Specify the filepath of the mint authority keypair. Defaults to your local solana wallet.",
-        required: false,
-    }),
-    mint: core_1.Flags.string({
-        description: "Specify the mint address.",
-        required: true,
-    }),
-    to: core_1.Flags.string({
-        description: "Specify the recipient address.",
-        required: true,
-    }),
-    amount: core_1.Flags.integer({
-        description: "Amount to mint, in tokens.",
-        required: true,
-    }),
-};
-MintToCommand.args = {};
 exports.default = MintToCommand;

package/dist/commands/start-prover/index.d.ts

@@ -4,9 +4,6 @@ declare class StartProver extends Command {
     protected finally(_: Error | undefined): Promise<any>;
     static flags: {
         "prover-port": import("@oclif/core/lib/interfaces").OptionFlag<number, import("@oclif/core/lib/interfaces").CustomOptions>;
-        "run-mode": import("@oclif/core/lib/interfaces").OptionFlag<string | undefined, import("@oclif/core/lib/interfaces").CustomOptions>;
-        circuit: import("@oclif/core/lib/interfaces").OptionFlag<string[] | undefined, import("@oclif/core/lib/interfaces").CustomOptions>;
-        force: import("@oclif/core/lib/interfaces").BooleanFlag<boolean>;
         redisUrl: import("@oclif/core/lib/interfaces").OptionFlag<string | undefined, import("@oclif/core/lib/interfaces").CustomOptions>;
     };
     run(): Promise<void>;

package/dist/commands/start-prover/index.js

@@ -4,28 +4,28 @@ const core_1 = require("@oclif/core");
 const index_1 = require("../../utils/index");
 const processProverServer_1 = require("../../utils/processProverServer");
 class StartProver extends core_1.Command {
+    static description = "Start gnark prover";
     finally(_) {
         process.exit();
     }
+    static flags = {
+        "prover-port": core_1.Flags.integer({
+            description: "Enable Light Prover server on this port.",
+            required: false,
+            default: 3001,
+        }),
+        redisUrl: core_1.Flags.string({
+            description: "Redis URL to use for the prover (e.g. redis://localhost:6379)",
+            required: false,
+        }),
+    };
     async run() {
         const { flags } = await this.parse(StartProver);
         const loader = new index_1.CustomLoader("Performing setup tasks...\n");
         loader.start();
-        if (!flags["run-mode"] && !flags["circuit"]) {
-            this.log("Please specify --run-mode or --circuit.");
-            return;
-        }
         const proverPort = flags["prover-port"] || 3001;
-        const force = flags["force"] || false;
         const redisUrl = flags["redisUrl"] || process.env.REDIS_URL || undefined;
-        // TODO: remove this workaround.
-        // Force local-rpc mode when rpc is specified
-        let runMode = flags["run-mode"];
-        if (runMode === "rpc") {
-            runMode = "local-rpc";
-            this.log("Note: Running in local-rpc mode instead of rpc mode");
-        }
-        await (0, processProverServer_1.startProver)(proverPort, runMode, flags["circuit"], force, redisUrl);
+        await (0, processProverServer_1.startProver)(proverPort, redisUrl);
         const healthy = await (0, processProverServer_1.healthCheck)(proverPort, 10, 1000);
         loader.stop();
         if (healthy) {
@@ -36,49 +36,4 @@ class StartProver extends core_1.Command {
         }
     }
 }
-StartProver.description = "Start gnark prover";
-StartProver.flags = {
-    "prover-port": core_1.Flags.integer({
-        description: "Enable Light Prover server on this port.",
-        required: false,
-        default: 3001,
-    }),
-    "run-mode": core_1.Flags.string({
-        description: "Specify the running mode (local-rpc, forester, forester-test, rpc, or full). Default: local-rpc",
-        options: [
-            "local-rpc",
-            "rpc",
-            "forester",
-            "forester-test",
-            "full",
-            "full-test",
-        ],
-        required: false,
-    }),
-    circuit: core_1.Flags.string({
-        description: "Specify individual circuits to enable.",
-        options: [
-            "inclusion",
-            "non-inclusion",
-            "combined",
-            "append",
-            "update",
-            "address-append",
-            "append-test",
-            "update-test",
-            "address-append-test",
-        ],
-        multiple: true,
-        required: false,
-    }),
-    force: core_1.Flags.boolean({
-        description: "Force restart the prover even if one is already running with the same flags.",
-        required: false,
-        default: false,
-    }),
-    redisUrl: core_1.Flags.string({
-        description: "Redis URL to use for the prover (e.g. redis://localhost:6379)",
-        required: false,
-    }),
-};
 exports.default = StartProver;

package/dist/commands/test-validator/index.d.ts

@@ -12,8 +12,6 @@ declare class SetupCommand extends Command {
         "rpc-port": import("@oclif/core/lib/interfaces").OptionFlag<number, import("@oclif/core/lib/interfaces").CustomOptions>;
         "indexer-port": import("@oclif/core/lib/interfaces").OptionFlag<number, import("@oclif/core/lib/interfaces").CustomOptions>;
         "prover-port": import("@oclif/core/lib/interfaces").OptionFlag<number, import("@oclif/core/lib/interfaces").CustomOptions>;
-        "prover-run-mode": import("@oclif/core/lib/interfaces").OptionFlag<string | undefined, import("@oclif/core/lib/interfaces").CustomOptions>;
-        circuit: import("@oclif/core/lib/interfaces").OptionFlag<string[] | undefined, import("@oclif/core/lib/interfaces").CustomOptions>;
         "limit-ledger-size": import("@oclif/core/lib/interfaces").OptionFlag<number, import("@oclif/core/lib/interfaces").CustomOptions>;
         "gossip-host": import("@oclif/core/lib/interfaces").OptionFlag<string, import("@oclif/core/lib/interfaces").CustomOptions>;
         stop: import("@oclif/core/lib/interfaces").BooleanFlag<boolean>;

package/dist/commands/test-validator/index.js

@@ -8,12 +8,91 @@ const index_1 = require("../../utils/index");
 const path_1 = tslib_1.__importDefault(require("path"));
 const fs_1 = tslib_1.__importDefault(require("fs"));
 class SetupCommand extends core_1.Command {
+    static description = "Start a local test setup with: Solana test validator, Photon indexer, and Light prover";
+    static examples = [
+        "$ light test-validator",
+        "$ light test-validator --skip-indexer",
+        "$ light test-validator --geyser-config ./config.json",
+        '$ light test-validator --validator-args "--limit-ledger-size 50000000"',
+        "$ light test-validator --sbf-program <address> <path/program>",
+    ];
     finally(err) {
         if (err) {
             console.error(err);
         }
         process.exit();
     }
+    static flags = {
+        "skip-indexer": core_1.Flags.boolean({
+            description: "Runs a test validator without starting a new indexer.",
+            default: false,
+        }),
+        "skip-prover": core_1.Flags.boolean({
+            description: "Runs a test validator without starting a new prover service.",
+            default: false,
+        }),
+        "skip-system-accounts": core_1.Flags.boolean({
+            description: "Runs a test validator without initialized light system accounts.",
+            default: false,
+        }),
+        "relax-indexer-version-constraint": core_1.Flags.boolean({
+            description: "Disables indexer version check. Only use if you know what you are doing.",
+            default: false,
+            exclusive: ["skip-indexer"],
+        }),
+        "indexer-db-url": core_1.Flags.string({
+            description: "Custom indexer database URL to store indexing data. By default we use an in-memory SQLite database.",
+            required: false,
+            exclusive: ["skip-indexer"],
+        }),
+        "rpc-port": core_1.Flags.integer({
+            description: "Enable JSON RPC on this port, and the next port for the RPC websocket.",
+            required: false,
+            default: 8899,
+        }),
+        "indexer-port": core_1.Flags.integer({
+            description: "Enable Photon indexer on this port.",
+            required: false,
+            default: 8784,
+            exclusive: ["skip-indexer"],
+        }),
+        "prover-port": core_1.Flags.integer({
+            description: "Enable Light Prover server on this port.",
+            required: false,
+            default: 3001,
+            exclusive: ["skip-prover"],
+        }),
+        "limit-ledger-size": core_1.Flags.integer({
+            description: "Keep this amount of shreds in root slots.",
+            required: false,
+            default: 10000,
+        }),
+        "gossip-host": core_1.Flags.string({
+            description: "Gossip DNS name or IP address for the validator to advertise in gossip.",
+            required: false,
+            default: "127.0.0.1",
+        }),
+        stop: core_1.Flags.boolean({
+            description: "Stops the test validator and dependent processes. Use with --skip-indexer, --skip-prover to keep specific services running.",
+            required: false,
+            default: false,
+        }),
+        "geyser-config": core_1.Flags.string({
+            description: "Path to Geyser plugin config.",
+            required: false,
+        }),
+        "validator-args": core_1.Flags.string({
+            description: "Additional arguments to pass directly to solana-test-validator. Only use if you know what you are doing.",
+            required: false,
+            exclusive: ["geyser-config"],
+        }),
+        "sbf-program": core_1.Flags.string({
+            description: "Add a SBF program to the genesis configuration with upgrades disabled. If the ledger already exists then this parameter is silently ignored. First argument can be a pubkey string or path to a keypair",
+            required: false,
+            multiple: true,
+            summary: "Usage: --sbf-program <address> <path/program_name.so>",
+        }),
+    };
     validatePrograms(programs) {
         // Check for duplicate addresses among provided programs
         const addresses = new Set();
@@ -84,8 +163,6 @@ class SetupCommand extends core_1.Command {
                 proverPort: flags["prover-port"],
                 prover: !flags["skip-prover"],
                 skipSystemAccounts: flags["skip-system-accounts"],
-                proverRunMode: flags["prover-run-mode"],
-                circuits: flags["circuit"],
                 geyserConfig: flags["geyser-config"],
                 validatorArgs: flags["validator-args"],
             });
@@ -93,113 +170,6 @@ class SetupCommand extends core_1.Command {
         }
     }
 }
-SetupCommand.description = "Start a local test setup with: Solana test validator, Photon indexer, and Light prover";
-SetupCommand.examples = [
-    "$ light test-validator",
-    "$ light test-validator --skip-indexer",
-    "$ light test-validator --geyser-config ./config.json",
-    '$ light test-validator --validator-args "--limit-ledger-size 50000000"',
-    "$ light test-validator --sbf-program <address> <path/program>",
-];
-SetupCommand.flags = {
-    "skip-indexer": core_1.Flags.boolean({
-        description: "Runs a test validator without starting a new indexer.",
-        default: false,
-    }),
-    "skip-prover": core_1.Flags.boolean({
-        description: "Runs a test validator without starting a new prover service.",
-        default: false,
-    }),
-    "skip-system-accounts": core_1.Flags.boolean({
-        description: "Runs a test validator without initialized light system accounts.",
-        default: false,
-    }),
-    "relax-indexer-version-constraint": core_1.Flags.boolean({
-        description: "Disables indexer version check. Only use if you know what you are doing.",
-        default: false,
-        exclusive: ["skip-indexer"],
-    }),
-    "indexer-db-url": core_1.Flags.string({
-        description: "Custom indexer database URL to store indexing data. By default we use an in-memory SQLite database.",
-        required: false,
-        exclusive: ["skip-indexer"],
-    }),
-    "rpc-port": core_1.Flags.integer({
-        description: "Enable JSON RPC on this port, and the next port for the RPC websocket.",
-        required: false,
-        default: 8899,
-    }),
-    "indexer-port": core_1.Flags.integer({
-        description: "Enable Photon indexer on this port.",
-        required: false,
-        default: 8784,
-        exclusive: ["skip-indexer"],
-    }),
-    "prover-port": core_1.Flags.integer({
-        description: "Enable Light Prover server on this port.",
-        required: false,
-        default: 3001,
-        exclusive: ["skip-prover"],
-    }),
-    "prover-run-mode": core_1.Flags.string({
-        description: "Specify the running mode for the prover (local-rpc, forester, forester-test, rpc, or full). Default: local-rpc",
-        options: [
-            "local-rpc",
-            "rpc",
-            "forester",
-            "forester-test",
-            "full",
-            "full-test",
-        ],
-        required: false,
-        exclusive: ["skip-prover"],
-    }),
-    circuit: core_1.Flags.string({
-        description: "Specify individual circuits to enable.",
-        options: [
-            "inclusion",
-            "non-inclusion",
-            "combined",
-            "append",
-            "update",
-            "append-test",
-            "update-test",
-        ],
-        multiple: true,
-        required: false,
-        exclusive: ["skip-prover"],
-    }),
-    "limit-ledger-size": core_1.Flags.integer({
-        description: "Keep this amount of shreds in root slots.",
-        required: false,
-        default: 10000,
-    }),
-    "gossip-host": core_1.Flags.string({
-        description: "Gossip DNS name or IP address for the validator to advertise in gossip.",
-        required: false,
-        default: "127.0.0.1",
-    }),
-    stop: core_1.Flags.boolean({
-        description: "Stops the test validator and dependent processes. Use with --skip-indexer, --skip-prover to keep specific services running.",
-        required: false,
-        default: false,
-    }),
-    "geyser-config": core_1.Flags.string({
-        description: "Path to Geyser plugin config.",
-        required: false,
-    }),
-    "validator-args": core_1.Flags.string({
-        description: "Additional arguments to pass directly to solana-test-validator. Only use if you know what you are doing.",
-        required: false,
-        exclusive: ["geyser-config"],
-    }),
-    "sbf-program": core_1.Flags.string({
-        description: "Add a SBF program to the genesis configuration with upgrades disabled. If the ledger already exists then this parameter is silently ignored. First argument can be a pubkey string or path to a keypair",
-        required: false,
-        multiple: true,
-        summary: "Usage: --sbf-program <address> <path/program_name.so>",
-    }),
-};
 exports.default = SetupCommand;
 exports.SYSTEM_PROGRAMS = [
     {

package/dist/commands/token-balance/index.js

@@ -4,6 +4,21 @@ const core_1 = require("@oclif/core");
 const utils_1 = require("../../utils/utils");
 const web3_js_1 = require("@solana/web3.js");
 class TokenBalanceCommand extends core_1.Command {
+    static summary = "Get balance";
+    static examples = [
+        "$ light token-balance --mint=<ADDRESS> --owner=<ADDRESS>",
+    ];
+    static flags = {
+        owner: core_1.Flags.string({
+            description: "Address of the compressed token owner.",
+            required: true,
+        }),
+        mint: core_1.Flags.string({
+            description: "Mint address of the compressed token account.",
+            required: true,
+        }),
+    };
+    static args = {};
     async run() {
         const { flags } = await this.parse(TokenBalanceCommand);
         const loader = new utils_1.CustomLoader(`Performing balance...\n`);
@@ -37,19 +52,4 @@ class TokenBalanceCommand extends core_1.Command {
         }
     }
 }
-TokenBalanceCommand.summary = "Get balance";
-TokenBalanceCommand.examples = [
-    "$ light token-balance --mint=<ADDRESS> --owner=<ADDRESS>",
-];
-TokenBalanceCommand.flags = {
-    owner: core_1.Flags.string({
-        description: "Address of the compressed token owner.",
-        required: true,
-    }),
-    mint: core_1.Flags.string({
-        description: "Mint address of the compressed token account.",
-        required: true,
-    }),
-};
-TokenBalanceCommand.args = {};
 exports.default = TokenBalanceCommand;

package/dist/commands/transfer/index.js

@@ -4,8 +4,29 @@ const core_1 = require("@oclif/core");
 const utils_1 = require("../../utils/utils");
 const compressed_token_1 = require("@lightprotocol/compressed-token");
 const web3_js_1 = require("@solana/web3.js");
-const helpers_1 = require("@solana-developers/helpers");
 class TransferCommand extends core_1.Command {
+    static summary = "Transfer tokens from one account to another.";
+    static examples = [
+        "$ light transfer --mint PublicKey --to PublicKey --amount 1000",
+    ];
+    static flags = {
+        mint: core_1.Flags.string({
+            description: "Mint to transfer",
+            required: true,
+        }),
+        to: core_1.Flags.string({
+            description: "Recipient address",
+            required: true,
+        }),
+        amount: core_1.Flags.integer({
+            description: "Amount to send, in tokens",
+            required: true,
+        }),
+        "fee-payer": core_1.Flags.string({
+            description: "Specify the fee-payer account. Defaults to the client keypair.",
+            required: false,
+        }),
+    };
     async run() {
         const { flags } = await this.parse(TransferCommand);
         const loader = new utils_1.CustomLoader(`Performing transfer...\n`);
@@ -21,7 +42,7 @@ class TransferCommand extends core_1.Command {
             const toPublicKey = new web3_js_1.PublicKey(to);
             let payer = (0, utils_1.defaultSolanaWalletKeypair)();
             if (flags["fee-payer"] !== undefined) {
-                payer = await (0, helpers_1.getKeypairFromFile)(flags["fee-payer"]);
+                payer = await (0, utils_1.getKeypairFromFile)(flags["fee-payer"]);
             }
             const txId = await (0, compressed_token_1.transfer)((0, utils_1.rpc)(), payer, mintPublicKey, amount, payer, toPublicKey);
             loader.stop(false);
@@ -33,26 +54,4 @@ class TransferCommand extends core_1.Command {
         }
     }
 }
-TransferCommand.summary = "Transfer tokens from one account to another.";
-TransferCommand.examples = [
-    "$ light transfer --mint PublicKey --to PublicKey --amount 1000",
-];
-TransferCommand.flags = {
-    mint: core_1.Flags.string({
-        description: "Mint to transfer",
-        required: true,
-    }),
-    to: core_1.Flags.string({
-        description: "Recipient address",
-        required: true,
-    }),
-    amount: core_1.Flags.integer({
-        description: "Amount to send, in tokens",
-        required: true,
-    }),
-    "fee-payer": core_1.Flags.string({
-        description: "Specify the fee-payer account. Defaults to the client keypair.",
-        required: false,
-    }),
-};
 exports.default = TransferCommand;

package/dist/psp-utils/download.js

@@ -58,7 +58,7 @@ async function makeExecutableInDir(dirPath) {
  * @returns {Promise<void>}
  */
 function handleTarFile({ decompressor, data, localFilePath, dirPath, }) {
-    const parser = new tar.Parse();
+    const parser = new tar.Parser();
     data.pipe(decompressor).pipe(parser);
     parser.on("entry", (entry) => {
         const baseName = path.parse(entry.path).base;

package/dist/utils/constants.d.ts

@@ -12,10 +12,10 @@ export declare const CARGO_GENERATE_TAG = "v0.18.4";
 export declare const SOLANA_VALIDATOR_PROCESS_NAME = "solana-test-validator";
 export declare const LIGHT_PROVER_PROCESS_NAME = "light-prover";
 export declare const INDEXER_PROCESS_NAME = "photon";
-export declare const PHOTON_VERSION = "0.52.3";
+export declare const PHOTON_VERSION = "0.51.0";
 export declare const USE_PHOTON_FROM_GIT = true;
 export declare const PHOTON_GIT_REPO = "https://github.com/lightprotocol/photon.git";
-export declare const PHOTON_GIT_COMMIT = "6ba6813";
+export declare const PHOTON_GIT_COMMIT = "1a785036de52896b68d06413e3b0231122d6aa4a";
 export declare const LIGHT_PROTOCOL_PROGRAMS_DIR_ENV = "LIGHT_PROTOCOL_PROGRAMS_DIR";
 export declare const BASE_PATH = "../../bin/";
 export declare const PROGRAM_ID = "Fg6PaFpoGXkYsidMpWTK6W2BeZ7FEfcYkg476zPFsLnS";

package/dist/utils/constants.js

@@ -17,12 +17,11 @@ exports.CARGO_GENERATE_TAG = "v0.18.4";
 exports.SOLANA_VALIDATOR_PROCESS_NAME = "solana-test-validator";
 exports.LIGHT_PROVER_PROCESS_NAME = "light-prover";
 exports.INDEXER_PROCESS_NAME = "photon";
-exports.PHOTON_VERSION = "0.52.3";
+exports.PHOTON_VERSION = "0.51.0";
 // Set these to override Photon requirements with a specific git commit:
 exports.USE_PHOTON_FROM_GIT = true; // If true, will show git install command instead of crates.io.
 exports.PHOTON_GIT_REPO = "https://github.com/lightprotocol/photon.git";
-// added new v2 tree.
-exports.PHOTON_GIT_COMMIT = "6ba6813"; // If empty, will use main branch.
+exports.PHOTON_GIT_COMMIT = "1a785036de52896b68d06413e3b0231122d6aa4a"; // If empty, will use main branch.
 exports.LIGHT_PROTOCOL_PROGRAMS_DIR_ENV = "LIGHT_PROTOCOL_PROGRAMS_DIR";
 exports.BASE_PATH = "../../bin/";
 exports.PROGRAM_ID = "Fg6PaFpoGXkYsidMpWTK6W2BeZ7FEfcYkg476zPFsLnS";

package/dist/utils/downloadProverBinary.d.ts

@@ -0,0 +1,7 @@
+interface DownloadOptions {
+    maxRetries?: number;
+    retryDelay?: number;
+}
+export declare function downloadProverBinary(binaryPath: string, binaryName: string, options?: DownloadOptions): Promise<void>;
+export declare function getProverVersion(): string;
+export {};

package/dist/utils/downloadProverBinary.js

@@ -0,0 +1,107 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.downloadProverBinary = downloadProverBinary;
+exports.getProverVersion = getProverVersion;
+const tslib_1 = require("tslib");
+const fs_1 = tslib_1.__importDefault(require("fs"));
+const path_1 = tslib_1.__importDefault(require("path"));
+const https_1 = tslib_1.__importDefault(require("https"));
+const http_1 = tslib_1.__importDefault(require("http"));
+const promises_1 = require("stream/promises");
+const PROVER_VERSION = "2.0.0";
+const GITHUB_RELEASES_BASE_URL = `https://github.com/Lightprotocol/light-protocol/releases/download/light-prover-v${PROVER_VERSION}`;
+const MAX_REDIRECTS = 10;
+async function downloadProverBinary(binaryPath, binaryName, options = {}) {
+    const { maxRetries = 3, retryDelay = 2000 } = options;
+    const url = `${GITHUB_RELEASES_BASE_URL}/${binaryName}`;
+    console.log(`\nDownloading prover binary: ${binaryName}`);
+    console.log(`   From: ${url}`);
+    console.log(`   To: ${binaryPath}\n`);
+    const dir = path_1.default.dirname(binaryPath);
+    if (!fs_1.default.existsSync(dir)) {
+        fs_1.default.mkdirSync(dir, { recursive: true });
+    }
+    let lastError = null;
+    for (let attempt = 1; attempt <= maxRetries; attempt++) {
+        try {
+            await downloadFile(url, binaryPath);
+            if (process.platform !== "win32") {
+                fs_1.default.chmodSync(binaryPath, 0o755);
+            }
+            console.log("\nProver binary downloaded.\n");
+            return;
+        }
+        catch (error) {
+            lastError = error;
+            console.error(`\nDownload attempt ${attempt}/${maxRetries} failed: ${lastError.message}`);
+            if (attempt < maxRetries) {
+                console.log(`   Retrying in ${retryDelay / 1000}s...\n`);
+                await new Promise((resolve) => setTimeout(resolve, retryDelay));
+            }
+        }
+    }
+    throw new Error(`Failed to download prover binary after ${maxRetries} attempts: ${lastError?.message}`);
+}
+async function downloadFile(url, outputPath, redirectDepth = 0) {
+    return new Promise((resolve, reject) => {
+        const protocol = url.startsWith("https") ? https_1.default : http_1.default;
+        const request = protocol.get(url, (response) => {
+            if (response.statusCode === 301 ||
+                response.statusCode === 302 ||
+                response.statusCode === 307 ||
+                response.statusCode === 308) {
+                const redirectUrl = response.headers.location;
+                if (!redirectUrl) {
+                    return reject(new Error("Redirect without location header"));
+                }
+                if (redirectDepth >= MAX_REDIRECTS) {
+                    return reject(new Error(`Too many redirects: exceeded maximum of ${MAX_REDIRECTS} redirects`));
+                }
+                return downloadFile(redirectUrl, outputPath, redirectDepth + 1).then(resolve, reject);
+            }
+            if (response.statusCode !== 200) {
+                return reject(new Error(`HTTP ${response.statusCode}: ${response.statusMessage}`));
+            }
+            const totalBytes = parseInt(response.headers["content-length"] || "0", 10);
+            let downloadedBytes = 0;
+            let lastProgress = 0;
+            const fileStream = fs_1.default.createWriteStream(outputPath);
+            response.on("data", (chunk) => {
+                downloadedBytes += chunk.length;
+                if (totalBytes > 0) {
+                    const progress = Math.floor((downloadedBytes / totalBytes) * 100);
+                    if (progress >= lastProgress + 5) {
+                        lastProgress = progress;
+                        const mb = (downloadedBytes / 1024 / 1024).toFixed(1);
+                        const totalMb = (totalBytes / 1024 / 1024).toFixed(1);
+                        process.stdout.write(`\r   Progress: ${progress}% (${mb}MB / ${totalMb}MB)`);
+                    }
+                }
+            });
+            (0, promises_1.pipeline)(response, fileStream)
+                .then(() => {
+                if (totalBytes > 0) {
+                    process.stdout.write("\r   Progress: 100% - Download complete\n");
+                }
+                resolve();
+            })
+                .catch((error) => {
+                fs_1.default.unlinkSync(outputPath);
+                reject(error);
+            });
+        });
+        request.on("error", (error) => {
+            if (fs_1.default.existsSync(outputPath)) {
+                fs_1.default.unlinkSync(outputPath);
+            }
+            reject(error);
+        });
+        request.setTimeout(60000, () => {
+            request.destroy();
+            reject(new Error("Download timeout"));
+        });
+    });
+}
+function getProverVersion() {
+    return PROVER_VERSION;
+}