Merge pull request #25 from AztecProtocol/migrate-to-yarn

Migrate recursive_verification from bun to yarn

Author: critesjosh

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

@@ -18,7 +18,7 @@ jobs:
     runs-on: ubuntu-latest
     env:
       AZTEC_ENV: local-network
-      AZTEC_VERSION: 3.0.0-devnet.20251212
+      AZTEC_VERSION: 3.0.0-devnet.6-patch.1
 
     steps:
       - name: Checkout repository
@@ -28,11 +28,8 @@ jobs:
         uses: actions/setup-node@v4
         with:
           node-version: "22"
-
-      - name: Setup Bun
-        uses: oven-sh/setup-bun@v2
-        with:
-          bun-version: 1.1.36
+          cache: "yarn"
+          cache-dependency-path: recursive_verification/yarn.lock
 
       - name: Set up Docker
         uses: docker/setup-buildx-action@v3
@@ -71,7 +68,7 @@ jobs:
 
       - name: Install project dependencies
         working-directory: recursive_verification
-        run: bun install --frozen-lockfile
+        run: yarn install --frozen-lockfile
 
       - name: Install Nargo
         uses: noir-lang/[email protected]
@@ -84,7 +81,7 @@ jobs:
 
       - name: Compile contract and generate artifacts
         working-directory: recursive_verification
-        run: bun ccc
+        run: yarn ccc
 
       - name: Generate proof data
         working-directory: recursive_verification
@@ -94,12 +91,12 @@ jobs:
           NODE_OPTIONS: "--max-old-space-size=6144"
         run: |
           echo "Generating proof data with memory optimizations..."
-          bun data
+          yarn data
         timeout-minutes: 30
 
-      - name: Run recursive verification script
+      - name: Run tests
         working-directory: recursive_verification
-        run: bun recursion
+        run: yarn test
         timeout-minutes: 15
 
       - name: Upload test results if failed

CLAUDE.md

@@ -13,8 +13,7 @@ This is a collection of Aztec smart contract examples written in Noir, designed
 - **nargo**: The Noir compiler for compiling vanilla Noir circuits (install via [noirup](https://github.com/noir-lang/noirup))
 - **aztec compile**: Aztec CLI command for compiling Aztec contracts (includes post-processing)
 - **aztec-wallet**: CLI tool for interacting with Aztec contracts
-- **Bun**: Fast JavaScript runtime (used in recursive_verification example)
-- **Node.js/npm**: JavaScript runtime (used in starter-token example)
+- **Node.js/npm/yarn**: JavaScript runtime and package managers (Node.js v22+ recommended)
 
 ## Project Structure
 
@@ -25,7 +24,7 @@ aztec-examples/
 │   ├── contract/          # Aztec contract that verifies Noir proofs
 │   ├── scripts/           # TypeScript utilities for proof generation and deployment
 │   ├── tests/             # Integration test suite
-│   ├── data.json         # Generated proof data (created by `bun data`)
+│   ├── data.json         # Generated proof data (created by `yarn data`)
 │   ├── README.md         # Comprehensive documentation
 │   ├── CLAUDE.md         # Project-specific AI guidance
 │   ├── EXPLAINER.md      # Technical deep-dive explanation
@@ -53,8 +52,7 @@ aztec-examples/
 bash -i <(curl -s https://install.aztec.network)
 
 # Set specific version (examples may require different versions)
-aztec-up 3.0.0-devnet.20251212  # For recursive_verification
-aztec-up 2.0.2  # For starter-token
+aztec-up 3.0.0-devnet.6-patch.1  # For recursive_verification
 ```
 
 ### Building Contracts
@@ -65,8 +63,8 @@ From a contract directory containing `Nargo.toml`:
 # Compile an Aztec contract (includes post-processing)
 aztec compile
 
-# For recursive_verification example (using Bun)
-bun ccc  # Compiles contract and generates TypeScript bindings
+# For recursive_verification example (using yarn)
+yarn ccc  # Compiles contract and generates TypeScript bindings
 ```
 
 ### Building Vanilla Noir Circuits
@@ -110,7 +108,7 @@ nargo test --oracle-resolver http://127.0.0.1:8081 --show-output
 
 # Run integration tests (recursive_verification)
 cd recursive_verification
-bun test
+yarn test
 
 # Run full test suite with compilation
 ./run-tests.sh
@@ -149,9 +147,9 @@ aztec-wallet profile <function_name> --args <args...> --contract-address <alias>
 Complete workflow for the proof verification example:
 
 ```bash
-# 1. Install dependencies (requires Bun)
+# 1. Install dependencies (requires Node.js and yarn)
 cd recursive_verification
-bun install
+yarn install
 
 # 2. Install nargo for vanilla Noir circuit compilation
 noirup -v 1.0.0-beta.15
@@ -160,19 +158,19 @@ noirup -v 1.0.0-beta.15
 cd circuit && nargo compile && cd ..
 
 # 4. Compile the Aztec contract
-bun ccc  # Runs: aztec compile && aztec codegen
+yarn ccc  # Runs: aztec compile && aztec codegen
 
 # 5. Generate proof data (UltraHonk proof, verification key, public inputs)
-bun data  # Creates data.json with proof for x=1, y=2
+yarn data  # Creates data.json with proof for x=1, y=2
 
 # 6. Start Aztec local network (in separate terminal)
 aztec start --local-network
 
 # 7. Deploy contract and verify proof on-chain
-bun recursion  # Deploys ValueNotEqual contract and verifies proof
+yarn recursion  # Deploys ValueNotEqual contract and verifies proof
 
 # 8. Run tests
-bun test
+yarn test
 
 # Optional: Run circuit tests
 cd circuit && nargo test
@@ -263,7 +261,7 @@ easy_private_state = { git = "https://github.com/AztecProtocol/aztec-packages/",
 
 **Version Compatibility**: Different examples may use different Aztec versions:
 
-- `recursive_verification`: v3.0.0-devnet.20251212
+- `recursive_verification`: v3.0.0-devnet.6-patch.1
 
 ### JavaScript/TypeScript Dependencies
 
@@ -276,8 +274,9 @@ TypeScript projects use:
 
 ### Runtime Requirements
 
-- **Node.js/npm**: For starter-token TypeScript examples (v20+)
-- **Bun**: Required for recursive_verification example (faster alternative to Node.js)
+- **Node.js**: v22+ for all TypeScript examples
+- **yarn**: Package manager for recursive_verification example
+- **npm**: Package manager for starter-token example
 - **Docker**: Required for running Aztec local network
 - **Memory**: 8GB+ RAM recommended for proof generation
 
@@ -295,7 +294,7 @@ Runs on:
 
 Steps:
 
-1. Sets up Node.js (v22) and Bun
+1. Sets up Node.js (v22) and yarn
 2. Installs Aztec CLI
 3. Starts Aztec local network
 4. Compiles circuits and contracts
@@ -307,15 +306,15 @@ Steps:
 
 ### Issue: "Cannot find module './contract/artifacts/'"
 
-**Solution**: Run `bun ccc` or `aztec compile` to generate contract artifacts
+**Solution**: Run `yarn ccc` or `aztec compile` to generate contract artifacts
 
 ### Issue: "Failed to connect to PXE"
 
 **Solution**: Ensure Aztec local network is running with `aztec start --local-network`
 
 ### Issue: "Proof verification failed"
 
-**Solution**: Regenerate proof data after circuit changes with `bun data`
+**Solution**: Regenerate proof data after circuit changes with `yarn data`
 
 ### Issue: Memory issues during proof generation
 

recursive_verification/CLAUDE.md

@@ -4,7 +4,7 @@ This file provides guidance to Claude Code (claude.ai/code) when working with co
 
 ## Project Overview
 
-This is an Aztec-Noir project that demonstrates proof verification in Aztec contracts. It uses Aztec version 3.0.0-devnet.20251212 to verify Noir proofs within smart contracts on the Aztec network.
+This is an Aztec-Noir project that demonstrates proof verification in Aztec contracts. It uses Aztec version 3.0.0-devnet.6-patch.1 to verify Noir proofs within smart contracts on the Aztec network.
 
 The project consists of:
 
@@ -18,7 +18,7 @@ The project consists of:
 
 ```bash
 # Install dependencies
-bun install
+yarn install
 
 # Install/update Aztec tools
 aztec-up
@@ -49,16 +49,16 @@ cd circuit && nargo test
 
 ```bash
 # Compile contract, postprocess, and generate TypeScript bindings
-bun ccc
+yarn ccc
 # This runs: cd contract && aztec compile && aztec codegen target -o artifacts
 
 # Generate proof data (vk, proof, public inputs) for contract verification
-bun data
-# This runs: bun run scripts/generate_data.ts
+yarn data
+# This runs: tsx scripts/generate_data.ts
 
 # Deploy contract and run proof verification
-bun recursion
-# This runs: bun run scripts/run_recursion.ts
+yarn recursion
+# This runs: tsx scripts/run_recursion.ts
 ```
 
 ## Architecture
@@ -105,9 +105,10 @@ bun recursion
 - `@aztec/aztec.js`: Aztec SDK for contract deployment and interaction
 - `@aztec/bb.js`: Barretenberg backend for proof generation
 - `@aztec/noir-noir_js`: Noir.js for circuit execution
-- `bun`: JavaScript runtime and package manager
+- `yarn`: Package manager
+- `tsx`: TypeScript execution for Node.js
 
 ## Testing
 
 - Circuit tests: Use `nargo test` in the circuit directory
-- Contract verification: Run the full flow with `bun recursion` after starting the local network
+- Contract verification: Run the full flow with `yarn recursion` after starting the local network