refactor: rename psy_validator to psy_prover

- psy_validator -> psy_prover
- psy_validator_cli -> psy_prover_cli
- Update all docs, install scripts, and workflows

Author: logere

.github/workflows/release.yml

@@ -84,23 +84,23 @@ jobs:
 
       - name: Build release binary
         run: |
-          cargo build --release --target ${{ matrix.target }} --bin psy_validator_cli
+          cargo build --release --target ${{ matrix.target }} --bin psy_prover_cli
 
       - name: Strip binary (Unix)
         if: matrix.os != 'windows-latest'
         run: |
           if command -v strip >/dev/null 2>&1; then
-            strip target/${{ matrix.target }}/release/psy_validator_cli${{ matrix.extension }} || true
+            strip target/${{ matrix.target }}/release/psy_prover_cli${{ matrix.extension }} || true
           fi
 
       - name: Compress binary (Unix)
         if: matrix.os != 'windows-latest'
         run: |
           cd target/${{ matrix.target }}/release
-          if [ -f psy_validator_cli${{ matrix.extension }} ]; then
-            tar czf ../../../../${{ matrix.artifact_name }}.tar.gz psy_validator_cli${{ matrix.extension }}
+          if [ -f psy_prover_cli${{ matrix.extension }} ]; then
+            tar czf ../../../../${{ matrix.artifact_name }}.tar.gz psy_prover_cli${{ matrix.extension }}
           else
-            echo "Error: Binary not found at target/${{ matrix.target }}/release/psy_validator_cli${{ matrix.extension }}"
+            echo "Error: Binary not found at target/${{ matrix.target }}/release/psy_prover_cli${{ matrix.extension }}"
             exit 1
           fi
 
@@ -109,10 +109,10 @@ jobs:
         shell: pwsh
         run: |
           cd target/${{ matrix.target }}/release
-          if (Test-Path psy_validator_cli${{ matrix.extension }}) {
-            Compress-Archive -Path psy_validator_cli${{ matrix.extension }} -DestinationPath ../../../../${{ matrix.artifact_name }}.zip -Force
+          if (Test-Path psy_prover_cli${{ matrix.extension }}) {
+            Compress-Archive -Path psy_prover_cli${{ matrix.extension }} -DestinationPath ../../../../${{ matrix.artifact_name }}.zip -Force
           } else {
-            Write-Error "Error: Binary not found at target/${{ matrix.target }}/release/psy_validator_cli${{ matrix.extension }}"
+            Write-Error "Error: Binary not found at target/${{ matrix.target }}/release/psy_prover_cli${{ matrix.extension }}"
             exit 1
           }
 
@@ -191,14 +191,14 @@ jobs:
             **Linux/macOS:**
             ```bash
             tar -xzf psy-validator-cli-<platform>.tar.gz
-            chmod +x psy_validator_cli
-            ./psy_validator_cli --help
+            chmod +x psy_prover_cli
+            ./psy_prover_cli --help
             ```
 
             **Windows:**
             ```powershell
             Expand-Archive psy-validator-cli-windows-x86_64.zip
-            .\psy_validator_cli.exe --help
+            .\psy_prover_cli.exe --help
             ```
           files: release-assets/*
           draft: false

Cargo.lock

@@ -1,17 +1,17 @@
 [workspace]
 
 [package]
-name = "psy_validator"
+name = "psy_prover"
 version = "0.1.0"
 edition = "2021"
 rust-version = "1.86"
 
 [lib]
-name = "psy_validator"
+name = "psy_prover"
 path = "src/lib.rs"
 
 [[bin]]
-name = "psy_validator_cli"
+name = "psy_prover_cli"
 path = "src/main.rs"
 
 [dependencies]

Cargo.toml

@@ -2,7 +2,7 @@ build:
 	RUSTFLAGS="-A warnings" cargo build --release
 
 run:
-	RUSTFLAGS="-A warnings" ./target/release/psy_validator_cli server --listen-addr 0.0.0.0 --port 4000
+	RUSTFLAGS="-A warnings" ./target/release/psy_prover_cli server --listen-addr 0.0.0.0 --port 4000
 
 test:
 	RUSTFLAGS="-A warnings" cargo test --release

Makefile

@@ -148,7 +148,7 @@ cargo run --release -- server --listen-addr 0.0.0.0 --port 4000
 or run the binary directly:
 
 ```bash
-./target/release/psy_validator_cli server --listen-addr 0.0.0.0 --port 4000
+./target/release/psy_prover_cli server --listen-addr 0.0.0.0 --port 4000
 ```
 
 **Server Options:**

README.md

@@ -16,7 +16,7 @@ for /f "tokens=*" %%i in ('powershell -c "'%PROOF_ID%'.Trim()"') do set "PROOF_I
 
 echo [DEBUG] PROOF_ID=[%PROOF_ID%]
 
-echo [INFO] Installing psy_validator_cli from %REPO%
+echo [INFO] Installing psy_prover_cli from %REPO%
 echo [INFO] Platform: windows/amd64
 
 :: Get latest version
@@ -33,7 +33,7 @@ if not exist "%INSTALL_DIR%" (
     mkdir "%INSTALL_DIR%" 2>nul
 )
 
-set FINAL_PATH=%INSTALL_DIR%\psy_validator_cli.exe
+set FINAL_PATH=%INSTALL_DIR%\psy_prover_cli.exe
 
 :: Check if already installed
 if exist "%FINAL_PATH%" (
@@ -43,7 +43,7 @@ if exist "%FINAL_PATH%" (
 )
 
 :: Download binary
-set ASSET_NAME=psy_validator_cli_windows_x64.exe
+set ASSET_NAME=psy_prover_cli_windows_x64.exe
 set DOWNLOAD_URL=https://github.com/%REPO%/releases/download/%VERSION%/%ASSET_NAME%
 set DOWNLOAD_PATH=%TEMP%\%ASSET_NAME%
 

install.bat

@@ -85,9 +85,9 @@ get_latest_version() {
 
 list_assets() {
     info "Available binaries:"
-    echo "  psy_validator_cli_macos_arm64"
-    echo "  psy_validator_cli_ubuntu22.04_amd64"
-    echo "  psy_validator_cli_windows_x64"
+    echo "  psy_prover_cli_macos_arm64"
+    echo "  psy_prover_cli_ubuntu22.04_amd64"
+    echo "  psy_prover_cli_windows_x64"
 }
 
 try_download_asset() {
@@ -119,7 +119,7 @@ try_download_asset() {
         *) error "Unsupported OS: $os" ;;
     esac
 
-    asset_name="psy_validator_cli_${asset_suffix}"
+    asset_name="psy_prover_cli_${asset_suffix}"
     url="https://github.com/$REPO/releases/download/$ver/$asset_name"
     output="$tmp_dir/$asset_name"
 
@@ -168,7 +168,7 @@ EOF
 }
 
 main() {
-    info "Installing psy_validator_cli from $REPO"
+    info "Installing psy_prover_cli from $REPO"
 
     OS=$(detect_os)
     ARCH=$(detect_arch)
@@ -179,7 +179,7 @@ main() {
 
     [ ! -d "$INSTALL_DIR" ] && { info "Creating: $INSTALL_DIR"; mkdir -p "$INSTALL_DIR"; }
 
-    FINAL_PATH="$INSTALL_DIR/psy_validator_cli"
+    FINAL_PATH="$INSTALL_DIR/psy_prover_cli"
 
     # Check if already installed with same version
     if [ -f "$FINAL_PATH" ]; then
@@ -230,6 +230,6 @@ main
 
 [ -z "$PROOF_ID" ] && error "PROOF_ID environment variable is required"
 
-info "Running: $INSTALL_DIR/psy_validator_cli fetch-job -b \"$PSY_DATA_URL\" -p \"$PROOF_ID\""
+info "Running: $INSTALL_DIR/psy_prover_cli fetch-job -b \"$PSY_DATA_URL\" -p \"$PROOF_ID\""
 
-exec "$INSTALL_DIR/psy_validator_cli" fetch-job -b "$PSY_DATA_URL" -p "$PROOF_ID"
+exec "$INSTALL_DIR/psy_prover_cli" fetch-job -b "$PSY_DATA_URL" -p "$PROOF_ID"

install.sh

@@ -1,6 +1,6 @@
 # Psy Validator API Documentation
 
-This document describes the HTTP APIs exposed by `psy_validator_cli` service.
+This document describes the HTTP APIs exposed by `psy_prover_cli` service.
 
 ## Base URL
 

src/api.md

@@ -10,7 +10,7 @@ use futures::future::join_all;
 use once_cell::sync::Lazy;
 use parth_core::{pgoldilocks::QHashOut, protocol::core_types::Q256BitHash};
 use plonky2::field::goldilocks_field::GoldilocksField;
-use psy_validator::{
+use psy_prover::{
     config::{run, Config},
     handler::parse_hex_hash,
     models::{

src/main.rs

@@ -1,6 +1,6 @@
 # Psy Validator CLI User Guide
 
-This guide explains how to deploy and use `psy_validator_cli` to generate and verify zero-knowledge proofs.
+This guide explains how to deploy and use `psy_prover_cli` to generate and verify zero-knowledge proofs.
 
 ## Table of Contents
 
@@ -25,7 +25,7 @@ cd psy-benchmark-verifier
 # Build the validator binary
 cargo build --release
 
-# Binary will be at: target/release/psy_validator_cli
+# Binary will be at: target/release/psy_prover_cli
 ```
 
 ### System Requirements
@@ -41,15 +41,15 @@ cargo build --release
 ### Option 1: Direct Execution
 
 ```bash
-./target/release/psy_validator_cli \
+./target/release/psy_prover_cli \
   --listen-addr 0.0.0.0 \
   --port 4000 \
   --log-level info
 ```
 
 ### Option 2: Systemd Service (Linux)
 
-1. **Create service file** `/etc/systemd/system/psy_validator_cli.service`:
+1. **Create service file** `/etc/systemd/system/psy_prover_cli.service`:
 
 ```ini
 [Unit]
@@ -60,7 +60,7 @@ Wants=network.target
 [Service]
 Type=simple
 WorkingDirectory=/opt/psy_validator
-ExecStart=/opt/psy_validator/psy_validator_cli --listen-addr 0.0.0.0 --port 4000 --log-level info
+ExecStart=/opt/psy_validator/psy_prover_cli --listen-addr 0.0.0.0 --port 4000 --log-level info
 Restart=on-failure
 RestartSec=5
 LimitNOFILE=65535
@@ -78,18 +78,18 @@ WantedBy=multi-user.target
 ```bash
 # Copy binary to /opt/psy_validator/
 sudo mkdir -p /opt/psy_validator
-sudo cp target/release/psy_validator_cli /opt/psy_validator/
+sudo cp target/release/psy_prover_cli /opt/psy_validator/
 
 # Reload systemd and start service
 sudo systemctl daemon-reload
-sudo systemctl enable psy_validator_cli
-sudo systemctl start psy_validator_cli
+sudo systemctl enable psy_prover_cli
+sudo systemctl start psy_prover_cli
 
 # Check status
-sudo systemctl status psy_validator_cli
+sudo systemctl status psy_prover_cli
 
 # View logs
-sudo journalctl -u psy_validator_cli -f
+sudo journalctl -u psy_prover_cli -f
 ```
 
 ---
@@ -99,7 +99,7 @@ sudo journalctl -u psy_validator_cli -f
 ### Command Line Options
 
 ```bash
-psy_validator_cli [OPTIONS]
+psy_prover_cli [OPTIONS]
 ```
 
 **Options:**
@@ -112,13 +112,13 @@ psy_validator_cli [OPTIONS]
 
 ```bash
 # Default settings (0.0.0.0:4000, info log level)
-./psy_validator_cli
+./psy_prover_cli
 
 # Custom port and log level
-./psy_validator_cli --port 8080 --log-level debug
+./psy_prover_cli --port 8080 --log-level debug
 
 # Listen on specific interface
-./psy_validator_cli --listen-addr 127.0.0.1 --port 4000
+./psy_prover_cli --listen-addr 127.0.0.1 --port 4000
 ```
 
 ### Verify Service is Running
@@ -354,16 +354,16 @@ cat input.json | \
 
 ```bash
 # If using systemd
-sudo journalctl -u psy_validator_cli -n 50
+sudo journalctl -u psy_prover_cli -n 50
 
 # If running directly
-./psy_validator_cli --log-level debug
+./psy_prover_cli --log-level debug
 ```
 
 **Common issues:**
 
 - **Port already in use**: Change port with `--port <different_port>`
-- **Permission denied**: Ensure binary has execute permissions (`chmod +x psy_validator_cli`)
+- **Permission denied**: Ensure binary has execute permissions (`chmod +x psy_prover_cli`)
 - **Missing dependencies**: Ensure all required libraries are installed
 
 ### Proof Generation Fails