Update workflows and documentation to replace 'sandbox' with 'local-network'

Author: critesjosh

.github/workflows/recursive-verification-tests.yml

@@ -17,7 +17,7 @@ jobs:
     name: Recursive Verification Tests
     runs-on: ubuntu-latest
     env:
-      AZTEC_ENV: sandbox
+      AZTEC_ENV: local-network
       AZTEC_VERSION: 3.0.0-devnet.20251212
 
     steps:
@@ -46,23 +46,23 @@ jobs:
       - name: Update path
         run: echo "$HOME/.aztec/bin" >> $GITHUB_PATH
 
-      - name: Set Aztec version and start sandbox
+      - name: Set Aztec version and start local network
         run: |
           aztec-up ${{ env.AZTEC_VERSION }}
           docker tag aztecprotocol/aztec:${{ env.AZTEC_VERSION }} aztecprotocol/aztec:latest
-          aztec start --sandbox &
+          aztec start --local-network &
 
-      - name: Wait for sandbox to be ready
+      - name: Wait for local network to be ready
         run: |
-          echo "Waiting for sandbox to start..."
+          echo "Waiting for local network to start..."
           MAX_RETRIES=60
           for i in $(seq 1 $MAX_RETRIES); do
             if curl -s http://localhost:8080/status >/dev/null 2>&1; then
-              echo "✅ Sandbox is ready!"
+              echo "✅ Local network is ready!"
               break
             fi
             if [ $i -eq $MAX_RETRIES ]; then
-              echo "❌ Sandbox failed to start after $MAX_RETRIES attempts"
+              echo "❌ Local network failed to start after $MAX_RETRIES attempts"
               exit 1
             fi
             echo "Waiting... ($i/$MAX_RETRIES)"
@@ -110,7 +110,7 @@ jobs:
       - name: Cleanup
         if: always()
         run: |
-          echo "Stopping Aztec sandbox..."
+          echo "Stopping Aztec local network..."
           pkill -f "aztec" || true
           docker stop $(docker ps -q) || true
           docker rm $(docker ps -a -q) || true

CLAUDE.md

@@ -71,11 +71,11 @@ bun ccc  # Compiles contract, post-processes, and generates TypeScript bindings
 ### Running Local Development Environment
 
 ```bash
-# Start Aztec sandbox (node + PXE)
-aztec start --sandbox
+# Start Aztec local network (node + PXE)
+aztec start --local-network
 
 # Start without PXE (when using aztec-wallet)
-NO_PXE=true aztec start --sandbox
+NO_PXE=true aztec start --local-network
 
 # Import test accounts to aztec-wallet
 aztec-wallet import-test-accounts
@@ -148,8 +148,8 @@ bun ccc  # Runs: aztec-nargo compile && aztec-postprocess-contract && aztec code
 # 4. Generate proof data (UltraHonk proof, verification key, public inputs)
 bun data  # Creates data.json with proof for x=1, y=2
 
-# 5. Start Aztec sandbox (in separate terminal)
-aztec start --sandbox
+# 5. Start Aztec local network (in separate terminal)
+aztec start --local-network
 
 # 6. Deploy contract and verify proof on-chain
 bun recursion  # Deploys ValueNotEqual contract and verifies proof
@@ -261,7 +261,7 @@ TypeScript projects use:
 
 - **Node.js/npm**: For starter-token TypeScript examples (v20+)
 - **Bun**: Required for recursive_verification example (faster alternative to Node.js)
-- **Docker**: Required for running Aztec sandbox
+- **Docker**: Required for running Aztec local network
 - **Memory**: 8GB+ RAM recommended for proof generation
 
 ## CI/CD
@@ -280,7 +280,7 @@ Steps:
 
 1. Sets up Node.js (v22) and Bun
 2. Installs Aztec CLI
-3. Starts Aztec sandbox
+3. Starts Aztec local network
 4. Compiles circuits and contracts
 5. Generates proof data
 6. Runs integration tests
@@ -294,7 +294,7 @@ Steps:
 
 ### Issue: "Failed to connect to PXE"
 
-**Solution**: Ensure Aztec sandbox is running with `aztec start --sandbox`
+**Solution**: Ensure Aztec local network is running with `aztec start --local-network`
 
 ### Issue: "Proof verification failed"
 
@@ -314,4 +314,4 @@ Steps:
 2. **Testing**: Run tests locally before pushing changes
 3. **Documentation**: Update READMEs when modifying examples
 4. **Clean Builds**: When encountering issues, try removing `target/`, `artifacts/`, and `node_modules/` directories
-5. **Sandbox Management**: Always ensure sandbox is running when deploying/testing contracts
+5. **Local Network Management**: Always ensure local network is running when deploying/testing contracts

README.md

@@ -55,7 +55,7 @@ aztec-up 3.0.0-devnet.4
 aztec-nargo compile
 
 # Start local Aztec network
-aztec start --sandbox
+aztec start --local-network
 
 # Run tests with Testing Execution Environment (TXE)
 aztec test

recursive_verification/CLAUDE.md

@@ -23,8 +23,8 @@ bun install
 # Install/update Aztec tools
 aztec-up
 
-# Start Aztec Sandbox (required for contract deployment)
-aztec start --sandbox
+# Start Aztec local network (required for contract deployment)
+aztec start --local-network
 ```
 
 ### Circuit Development
@@ -105,4 +105,4 @@ bun recursion
 ## Testing
 
 - Circuit tests: Use `nargo test` in the circuit directory
-- Contract verification: Run the full flow with `bun recursion` after starting the sandbox
+- Contract verification: Run the full flow with `bun recursion` after starting the local network

recursive_verification/EXPLAINER.md

@@ -50,16 +50,16 @@ flowchart TB
     end
 
     subgraph "6. Aztec Network"
-        SANDBOX[Aztec Sandbox<br/>localhost:8080]
+        LOCAL_NETWORK[Aztec Local Network<br/>localhost:8080]
         PXE[Private Execution<br/>Environment]
-        SANDBOX --> PXE
-        CONTRACT -->|Deployed to| SANDBOX
+        LOCAL_NETWORK --> PXE
+        CONTRACT -->|Deployed to| LOCAL_NETWORK
     end
 
     style NC fill:#e1f5fe
     style CONTRACT fill:#c8e6c9
     style PROOF_DATA fill:#fff9c4
-    style SANDBOX fill:#f3e5f5
+    style LOCAL_NETWORK fill:#f3e5f5
 ```
 
 ### Data Flow Sequence
@@ -70,7 +70,7 @@ sequenceDiagram
     participant Circuit as Noir Circuit
     participant BB as Barretenberg
     participant Contract as Aztec Contract
-    participant Sandbox as Aztec Sandbox
+    participant LocalNet as Aztec Local Network
 
     Dev->>Circuit: 1. Define proof logic (x ≠ y)
     Dev->>Circuit: 2. Compile circuit
@@ -81,10 +81,10 @@ sequenceDiagram
     BB->>Dev: Return proof, VK, public inputs
 
     Dev->>Contract: 4. Compile smart contract
-    Dev->>Sandbox: 5. Start local network
+    Dev->>LocalNet: 5. Start local network
 
-    Dev->>Sandbox: 6. Deploy contract
-    Sandbox-->>Dev: Contract address
+    Dev->>LocalNet: 6. Deploy contract
+    LocalNet-->>Dev: Contract address
 
     Dev->>Contract: 7. Call increment() with proof
     Contract->>Contract: Verify proof on-chain

recursive_verification/README.md

@@ -112,15 +112,15 @@ This runs `scripts/generate_data.ts` which:
 
 ## Deploy and Verify On-Chain
 
-### 1. Start Aztec Sandbox
+### 1. Start Aztec Local Network
 
 Start the local Aztec network:
 
 ```bash
-aztec start --sandbox
+aztec start --local-network
 ```
 
-Keep this running in a separate terminal. The sandbox runs at `http://localhost:8080`.
+Keep this running in a separate terminal. The local network runs at `http://localhost:8080`.
 
 ### 2. Deploy Contract and Verify Proof
 
@@ -164,8 +164,8 @@ bun ccc
 # 5. Generate proof data
 bun data
 
-# 6. Start sandbox (in a new terminal)
-aztec start --sandbox
+# 6. Start local network (in a new terminal)
+aztec start --local-network
 
 # 7. Deploy and verify (in original terminal)
 bun recursion
@@ -219,7 +219,7 @@ The test suite (`tests/recursive_verification.test.ts`) includes:
 
 3. **"Failed to connect to PXE"**
 
-   - Ensure the Aztec sandbox is running: `aztec start --sandbox`
+   - Ensure the Aztec local network is running: `aztec start --local-network`
    - Check it's accessible at `http://localhost:8080`
 
 4. **"Proof verification failed"**

recursive_verification/run-tests.sh

@@ -7,15 +7,15 @@ echo "========================================="
 echo "Recursive Verification Test Runner"
 echo "========================================="
 
-# Check if Aztec sandbox is running
+# Check if Aztec local network is running
 echo ""
-echo "Checking Aztec sandbox status..."
+echo "Checking Aztec local network status..."
 if ! curl -s http://localhost:8080/status > /dev/null 2>&1; then
-    echo "❌ Aztec sandbox is not running!"
-    echo "Please start it with: aztec start --sandbox"
+    echo "❌ Aztec local network is not running!"
+    echo "Please start it with: aztec start --local-network"
     exit 1
 else
-    echo "✅ Aztec sandbox is running"
+    echo "✅ Aztec local network is running"
 fi
 
 # Compile the Noir circuit

recursive_verification/scripts/run_recursion.ts

@@ -59,7 +59,7 @@ export const setupWallet = async (): Promise<TestWallet> => {
 
     return wallet;
   } catch (error) {
-    console.error("Failed to setup sandbox:", error);
+    console.error("Failed to setup local network:", error);
     throw error;
   }
 };

recursive_verification/tests/README.md

@@ -4,9 +4,9 @@ This directory contains tests for the recursive verification proof system using
 
 ## Prerequisites
 
-1. Ensure the Aztec sandbox is running:
+1. Ensure the Aztec local network is running:
 ```bash
-aztec start --sandbox
+aztec start --local-network
 ```
 
 2. Compile the contracts and generate proof data:
@@ -61,14 +61,14 @@ Each test case:
 
 If tests fail:
 
-1. Check the Aztec sandbox is running: `aztec status`
+1. Check the Aztec local network is running: `aztec status`
 2. Verify proof data exists: `ls ../data.json`
 3. Ensure contracts are compiled: `ls ../contract/artifacts/`
 4. Check PXE connection at http://localhost:8080
 
 ## Notes
 
-- Tests require the Aztec sandbox to be running at `http://localhost:8080`
+- Tests require the Aztec local network to be running at `http://localhost:8080`
 - Proof verification can take 10-30 seconds depending on system resources
 - The test suite uses the same proof data (`data.json`) as the original script
 - Each test is independent and can be run in isolation