Reapply "Update all examples to Aztec v4.0.0-devnet.2-patch.1"

This reverts commit ca6a1c3.

Author: critesjosh

.github/workflows/note-send-proof-tests.yml

@@ -18,7 +18,7 @@ jobs:
     runs-on: ubuntu-latest
     env:
       AZTEC_ENV: local-network
-      AZTEC_VERSION: 4.0.0-nightly.20260211
+      AZTEC_VERSION: 4.0.0-devnet.2-patch.1
 
     steps:
       - name: Checkout repository

.github/workflows/prediction-market-tests.yml

@@ -18,7 +18,7 @@ jobs:
     runs-on: ubuntu-latest
     env:
       AZTEC_ENV: local-network
-      AZTEC_VERSION: 4.0.0-nightly.20260211
+      AZTEC_VERSION: 4.0.0-devnet.2-patch.1
 
     steps:
       - name: Checkout repository

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

@@ -18,7 +18,7 @@ jobs:
     runs-on: ubuntu-latest
     env:
       AZTEC_ENV: local-network
-      AZTEC_VERSION: 4.0.0-nightly.20260211
+      AZTEC_VERSION: 4.0.0-devnet.2-patch.1
 
     steps:
       - name: Checkout repository

.github/workflows/test-wallet-webapp-tests.yml

@@ -17,7 +17,7 @@ jobs:
     name: Test Wallet Webapp Tests
     runs-on: ubuntu-latest
     env:
-      AZTEC_VERSION: 4.0.0-nightly.20260211
+      AZTEC_VERSION: 4.0.0-devnet.2-patch.1
 
     steps:
       - name: Checkout repository

CLAUDE.md

@@ -52,7 +52,7 @@ aztec-examples/
 bash -i <(curl -s https://install.aztec.network)
 
 # Set specific version (examples may require different versions)
-aztec-up 4.0.0-devnet.1-patch.0  # For recursive_verification
+aztec-up 4.0.0-devnet.2-patch.1  # For recursive_verification
 ```
 
 ### Building Contracts
@@ -69,12 +69,11 @@ yarn ccc  # Compiles contract and generates TypeScript bindings
 
 ### Building Vanilla Noir Circuits
 
-For vanilla Noir circuits (not Aztec contracts), install nargo separately:
+The compatible `nargo` (version 1.0.0-beta.18) is bundled with the Aztec CLI at `~/.aztec/current/bin/nargo`. Ensure `~/.aztec/current/bin` is on your `PATH` (the Aztec installer adds this automatically).
 
 ```bash
-# Install nargo via noirup
-curl -L https://raw.githubusercontent.com/noir-lang/noirup/refs/heads/main/install | bash
-noirup -v 1.0.0-beta.15
+# Verify nargo is available
+~/.aztec/current/bin/nargo --version
 
 # Compile a vanilla Noir circuit
 nargo compile
@@ -151,8 +150,8 @@ Complete workflow for the proof verification example:
 cd recursive_verification
 yarn install
 
-# 2. Install nargo for vanilla Noir circuit compilation
-noirup -v 1.0.0-beta.15
+# 2. Verify nargo is available (bundled with Aztec CLI)
+~/.aztec/current/bin/nargo --version
 
 # 3. Compile the Noir circuit
 cd circuit && nargo compile && cd ..
@@ -261,7 +260,7 @@ easy_private_state = { git = "https://github.com/AztecProtocol/aztec-packages/",
 
 **Version Compatibility**: All examples use the same Aztec version:
 
-- All examples: v4.0.0-devnet.1-patch.0
+- All examples: v4.0.0-devnet.2-patch.1
 
 ### JavaScript/TypeScript Dependencies
 

README.md

@@ -16,7 +16,7 @@ You can find additional examples in the Aztec monorepo [docs examples folder](ht
 
 ### 1. [Recursive Verification](./recursive_verification)
 
-**Aztec Version**: 4.0.0-devnet.1-patch.0
+**Aztec Version**: 4.0.0-devnet.2-patch.1
 
 Demonstrates how to verify Noir circuit proofs within Aztec smart contracts using the UltraHonk proving system. This example showcases:
 
@@ -43,33 +43,11 @@ Demonstrates how to verify Noir circuit proofs within Aztec smart contracts usin
 bash -i <(curl -s https://install.aztec.network)
 
 # Set specific Aztec version (if needed)
-aztec-up 4.0.0-devnet.1-patch.0
+aztec-up 4.0.0-devnet.2-patch.1
 ```
 
 ## Development Workflow
 
-### Common Commands
-
-```bash
-# Compile Aztec contracts
-aztec-nargo compile
-
-# Start local Aztec network
-aztec start --local-network
-
-# Run tests with Testing Execution Environment (TXE)
-aztec test
-
-# Deploy contracts (using aztec-wallet)
-aztec-wallet deploy --no-init target/<contract>.json --from test0 --alias <alias>
-
-# Interact with contracts
-aztec-wallet send <function> --args <args> --contract-address <alias> -f test0
-
-# Profile gas/gates usage
-aztec-wallet profile <function> --args <args> --contract-address <alias> -f test0
-```
-
 ## Testing
 
 ### Continuous Integration

account-contract/Nargo.toml

@@ -5,4 +5,4 @@ compiler_version = ">=1.0.0"
 type = "contract"
 
 [dependencies]
-aztec = { git = "https://github.com/AztecProtocol/aztec-nr/", tag = "v4.0.0-devnet.1-patch.0", directory = "aztec" }
+aztec = { git = "https://github.com/AztecProtocol/aztec-nr/", tag = "v4.0.0-devnet.2-patch.1", directory = "aztec" }

account-contract/README.md

@@ -172,25 +172,25 @@ When implementing custom account contracts in Aztec, be aware of these critical
 
 ## Aztec Version Compatibility
 
-This example is compatible with **Aztec v4.0.0-devnet.1-patch.0**.
+This example is compatible with **Aztec v4.0.0-devnet.2-patch.1**.
 
 To set this version:
 
 ```bash
-aztec-up 4.0.0-devnet.1-patch.0
+aztec-up 4.0.0-devnet.2-patch.1
 ```
 
 ## Dependencies
 
 ### Noir Dependencies
 
-- **aztec**: v4.0.0-devnet.1-patch.0
+- **aztec**: v4.0.0-devnet.2-patch.1
 
 ### TypeScript Dependencies
 
-- **@aztec/aztec.js**: 4.0.0-devnet.1-patch.0
-- **@aztec/accounts**: 4.0.0-devnet.1-patch.0
-- **@aztec/stdlib**: 4.0.0-devnet.1-patch.0
+- **@aztec/aztec.js**: 4.0.0-devnet.2-patch.1
+- **@aztec/accounts**: 4.0.0-devnet.2-patch.1
+- **@aztec/stdlib**: 4.0.0-devnet.2-patch.1
 - **@aztec/entrypoints**: Included in aztec.js
 
 ## Project Structure

account-contract/package.json

@@ -12,12 +12,12 @@
     "typescript": "^5.0.0"
   },
   "dependencies": {
-    "@aztec/accounts": "4.0.0-devnet.1-patch.0",
-    "@aztec/aztec.js": "4.0.0-devnet.1-patch.0",
-    "@aztec/foundation": "4.0.0-devnet.1-patch.0",
-    "@aztec/noir-contracts.js": "4.0.0-devnet.1-patch.0",
-    "@aztec/stdlib": "4.0.0-devnet.1-patch.0",
-    "@aztec/test-wallet": "4.0.0-devnet.1-patch.0",
+    "@aztec/accounts": "4.0.0-devnet.2-patch.1",
+    "@aztec/aztec.js": "4.0.0-devnet.2-patch.1",
+    "@aztec/foundation": "4.0.0-devnet.2-patch.1",
+    "@aztec/noir-contracts.js": "4.0.0-devnet.2-patch.1",
+    "@aztec/stdlib": "4.0.0-devnet.2-patch.1",
+    "@aztec/wallets": "4.0.0-devnet.2-patch.1",
     "tsx": "^4.20.6"
   }
 }

account-contract/ts/deploy-account-contract.ts

@@ -8,7 +8,8 @@ import { getContractInstanceFromInstantiationParams } from '@aztec/stdlib/contra
 import { SponsoredFPCContractArtifact } from '@aztec/noir-contracts.js/SponsoredFPC';
 import { SPONSORED_FPC_SALT } from '@aztec/constants';
 import { PasswordAccountContract } from './password-account-entrypoint';
-import { TestWallet } from '@aztec/test-wallet/server';
+import { EmbeddedWallet } from '@aztec/wallets/embedded';
+import { AccountManager } from '@aztec/aztec.js/wallet';
 
 async function getSponsoredPFCContract() {
   const instance = await getContractInstanceFromInstantiationParams(
@@ -45,7 +46,7 @@ console.log(constructorName, constructorArgs);
 const secretKey = Fr.random();
 // const salt = Fr.random();
 const { publicKeys } = await deriveKeys(secretKey);
-const wallet = await TestWallet.create(createAztecNodeClient('http://localhost:8080'));
+const wallet = await EmbeddedWallet.create(createAztecNodeClient('http://localhost:8080'), { ephemeral: true });
 
 // This doesn't work due to a strange bug in fee payment
 // const deployPasswordAccountMethod = new DeployAccountMethod(
@@ -79,5 +80,5 @@ const deployedAccountContract = await accountContractDeployMethod.send(deployAcc
 console.log('PasswordAccount contract deployed at:', deployedAccountContract.address);
 
 // Create and register an account using the deployed contract
-const account = await wallet.createAccount({ secret: Fr.random(), contract: passwordAccountContract, salt: Fr.random() });
-console.log('Account registered at:', account.address.toString());
+const accountManager = await AccountManager.create(wallet, Fr.random(), passwordAccountContract, Fr.random());
+console.log('Account registered at:', accountManager.address.toString());