Integrate compact dev tools (#218)

Signed-off-by: Andrew Fleming <fleming.andrew@protonmail.com>
Co-authored-by: ⟣ €₥ℵ∪ℓ ⟢ <34749913+emnul@users.noreply.github.com>

Author: andrew-fleming

.github/workflows/test.yml

@@ -26,81 +26,57 @@ jobs:
       - name: Setup Environment
         uses: ./.github/actions/setup
 
-      - name: Install Compact compiler
-        id: setup
+      - name: Install Compact developer tools
         shell: bash
         run: |
-          set -euo pipefail
-          # Create directory for compiler
-          COMPACT_HOME="$HOME/compactc"
-          mkdir -p "$COMPACT_HOME"
-
-          # Create URL
-          ZIP_FILE="compactc_v${COMPILER_VERSION}_x86_64-unknown-linux-musl.zip"
-          DOWNLOAD_URL="https://d3fazakqrumx6p.cloudfront.net/artifacts/compiler/compactc_${COMPILER_VERSION}/${ZIP_FILE}"
-
-          echo "⬇️ Downloading Compact compiler..."
-          curl -Ls "$DOWNLOAD_URL" -o "$COMPACT_HOME/compactc.zip"
-
-          echo "📦 Extracting..."
-          unzip -q "$COMPACT_HOME/compactc.zip" -d "$COMPACT_HOME"
-          chmod +x "$COMPACT_HOME"/{compactc,compactc.bin,zkir}
-
-          echo "📁 Setting environment variables..."
-          echo "COMPACT_HOME=$COMPACT_HOME" >> "$GITHUB_ENV"
-          echo "$COMPACT_HOME" >> "$GITHUB_PATH"
-
-          echo "✅ Verifying installation..."
-          if [ ! -f "$COMPACT_HOME/compactc" ]; then
-            echo "::error::❌ compactc not found in $COMPACT_HOME"
-            exit 1
-          fi
+          curl --proto '=https' --tlsv1.2 -LsSf https://github.com/midnightntwrk/compact/releases/latest/download/compact-installer.sh | sh
+          echo "$HOME/.compact/bin" >> "$GITHUB_PATH"
 
+      - name: Install and verify toolchain
+        run: |
+          compact update ${{ env.COMPILER_VERSION }}
           echo "🤖 Testing installation..."
-          "$COMPACT_HOME/compactc" --version
+          compact compile --version
+          compact compile --language-version
 
       - name: Check compiler and language version
         run: |
-            COMPILER_OUTPUT=$(compactc --version)
-            COMPUTED_COMPILER_VERSION=$(echo "$COMPILER_OUTPUT" | grep -oP '\b0\.[0-9]+\.[0-9]+\b' | head -n 1)
-            if [ "$COMPUTED_COMPILER_VERSION" != "$COMPILER_VERSION" ]; then
-              errMsg="❌ Compiler version mismatch!%0AExpected: $COMPILER_VERSION%0AGot: $COMPUTED_COMPILER_VERSION"
+          # Check toolchain version
+          COMPILER_OUTPUT=$(compact compile --version)
+          COMPUTED_COMPILER_VERSION=$(echo "$COMPILER_OUTPUT" | grep -oP '\b[0-9]+\.[0-9]+\.[0-9]+\b' | head -n 1)
+          if [ "$COMPUTED_COMPILER_VERSION" != "$COMPILER_VERSION" ]; then
+            errMsg="❌ Compiler version mismatch!%0AExpected: $COMPILER_VERSION%0AGot: $COMPUTED_COMPILER_VERSION"
+            echo "::error::$errMsg"
+            exit 1
+          fi
+          echo "✅ Compiler version matches: $COMPUTED_COMPILER_VERSION"
+
+          # Check language version using new command
+          LANGUAGE_OUTPUT=$(compact compile --language-version)
+          COMPUTED_LANGUAGE_VERSION=$(echo "$LANGUAGE_OUTPUT" | grep -oP '\b[0-9]+\.[0-9]+\.[0-9]+\b' | tail -n 1)
+          if [ "$COMPUTED_LANGUAGE_VERSION" != "$LANGUAGE_VERSION" ]; then
+              errMsg="❌ Language version mismatch!%0AExpected: $LANGUAGE_VERSION%0AGot: $COMPUTED_LANGUAGE_VERSION"
               echo "::error::$errMsg"
               exit 1
-            fi
-            echo "✅ Compiler version matches: $COMPUTED_COMPILER_VERSION"
-
-            LANGUAGE_OUTPUT=$(compactc --language-version)
-            COMPUTED_LANGUAGE_VERSION=$(echo "$LANGUAGE_OUTPUT" | grep -oP '\b0\.[0-9]+\.[0-9]+\b' | tail -n 1)
-            if [ "$COMPUTED_LANGUAGE_VERSION" != "$LANGUAGE_VERSION" ]; then
-                errMsg="❌ Language version mismatch!%0AExpected: $LANGUAGE_VERSION%0AGot: $COMPUTED_LANGUAGE_VERSION"
-                echo "::error::$errMsg"
-                exit 1
-            fi
-
-            echo "✅ Language version matches: $COMPUTED_LANGUAGE_VERSION"
+          fi
+          echo "✅ Language version matches: $COMPUTED_LANGUAGE_VERSION"
 
       - name: Compile contracts (with retry on hash mismatch)
         shell: bash
         run: |
-          set -euo pipefail
-
           compile() {
-            echo "⚙️ Running Compact compilation..."
             if ! output=$(turbo compact --concurrency=1 2>&1); then
-              echo "❌ Compilation failed."
               if echo "$output" | grep -q "Hash mismatch" && [ -d "$HOME/.cache/midnight/zk-params" ]; then
-                echo "⚠️ Hash mismatch detected *and* zk-params exists. Removing cache..."
+                echo "Hash mismatch detected. Clearing zk-params cache..."
                 rm -rf "$HOME/.cache/midnight/zk-params"
-                echo "::notice::♻️ Retrying compilation after clearing zk-params..."
-                turbo compact --concurrency=1 || { echo "::error::❌ Retry also failed."; exit 1; }
+                echo "Retrying compilation..."
+                turbo compact --concurrency=1
               else
-                echo "🚫 Compilation failed for another reason or zk-params missing. No retry."
+                echo "$output"
                 exit 1
               fi
             fi
           }
-
           compile
 
       - name: Run type checks

README.md

@@ -15,14 +15,13 @@
 
 Make sure you have [nvm](https://github.com/nvm-sh/nvm), [yarn](https://yarnpkg.com/getting-started/install), and [turbo](https://turborepo.com/docs/getting-started/installation) installed on your machine.
 
-Follow Midnight's [compact installation guide](https://docs.midnight.network/develop/tutorial/building/#midnight-compact-compiler) and confirm that `compactc` is in the `PATH` env variable.
+Follow Midnight's [Compact Developer Tools installation guide](https://docs.midnight.network/develop/tutorial/building/#midnight-compact-compiler) and confirm that `compact` is in the `PATH` env variable.
 
 ```bash
-$ compactc
+$ compact compile --version
 
 Compactc version: 0.24.0
-Usage: compactc.bin <flag> ... <source-pathname> <target-directory-pathname>
-       --help displays detailed usage information
+0.24.0
 ```
 
 ## Set up the project
@@ -32,7 +31,7 @@ Usage: compactc.bin <flag> ... <source-pathname> <target-directory-pathname>
 > - [node](https://nodejs.org/)
 > - [yarn](https://yarnpkg.com/getting-started/install)
 > - [turbo](https://turborepo.com/docs/getting-started/installation)
-> - [compact](https://docs.midnight.network/develop/tutorial/building/#midnight-compact-compiler)
+> - [compact](https://docs.midnight.network/blog/compact-developer-tools)
 
 Clone the repository:
 

compact/package.json

@@ -22,12 +22,14 @@
   "scripts": {
     "build": "tsc -p .",
     "types": "tsc -p tsconfig.json --noEmit",
+    "test": "yarn vitest run",
     "clean": "git clean -fXd"
   },
   "devDependencies": {
     "@types/node": "22.14.0",
     "fast-check": "^3.15.0",
-    "typescript": "^5.8.2"
+    "typescript": "^5.8.2",
+    "vitest": "^3.1.3"
   },
   "dependencies": {
     "chalk": "^5.4.1",