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

This reverts commit e16c00b.

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-devnet.2-patch.1
+      AZTEC_VERSION: 4.0.0-nightly.20260211
 
     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-devnet.2-patch.1
+      AZTEC_VERSION: 4.0.0-nightly.20260211
 
     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-devnet.2-patch.1
+      AZTEC_VERSION: 4.0.0-nightly.20260211
 
     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-devnet.2-patch.1
+      AZTEC_VERSION: 4.0.0-nightly.20260211
 
     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.2-patch.1  # For recursive_verification
+aztec-up 4.0.0-devnet.1-patch.0  # For recursive_verification
 ```
 
 ### Building Contracts
@@ -69,11 +69,12 @@ yarn ccc  # Compiles contract and generates TypeScript bindings
 
 ### Building Vanilla Noir Circuits
 
-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).
+For vanilla Noir circuits (not Aztec contracts), install nargo separately:
 
 ```bash
-# Verify nargo is available
-~/.aztec/current/bin/nargo --version
+# 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
 
 # Compile a vanilla Noir circuit
 nargo compile
@@ -150,8 +151,8 @@ Complete workflow for the proof verification example:
 cd recursive_verification
 yarn install
 
-# 2. Verify nargo is available (bundled with Aztec CLI)
-~/.aztec/current/bin/nargo --version
+# 2. Install nargo for vanilla Noir circuit compilation
+noirup -v 1.0.0-beta.15
 
 # 3. Compile the Noir circuit
 cd circuit && nargo compile && cd ..
@@ -260,7 +261,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.2-patch.1
+- All examples: v4.0.0-devnet.1-patch.0
 
 ### 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.2-patch.1
+**Aztec Version**: 4.0.0-devnet.1-patch.0
 
 Demonstrates how to verify Noir circuit proofs within Aztec smart contracts using the UltraHonk proving system. This example showcases:
 
@@ -43,11 +43,33 @@ 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.2-patch.1
+aztec-up 4.0.0-devnet.1-patch.0
 ```
 
 ## 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.2-patch.1", directory = "aztec" }
+aztec = { git = "https://github.com/AztecProtocol/aztec-nr/", tag = "v4.0.0-devnet.1-patch.0", 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.2-patch.1**.
+This example is compatible with **Aztec v4.0.0-devnet.1-patch.0**.
 
 To set this version:
 
 ```bash
-aztec-up 4.0.0-devnet.2-patch.1
+aztec-up 4.0.0-devnet.1-patch.0
 ```
 
 ## Dependencies
 
 ### Noir Dependencies
 
-- **aztec**: v4.0.0-devnet.2-patch.1
+- **aztec**: v4.0.0-devnet.1-patch.0
 
 ### TypeScript Dependencies
 
-- **@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/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/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.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",
+    "@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",
     "tsx": "^4.20.6"
   }
 }

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

@@ -8,8 +8,7 @@ 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 { EmbeddedWallet } from '@aztec/wallets/embedded';
-import { AccountManager } from '@aztec/aztec.js/wallet';
+import { TestWallet } from '@aztec/test-wallet/server';
 
 async function getSponsoredPFCContract() {
   const instance = await getContractInstanceFromInstantiationParams(
@@ -46,7 +45,7 @@ console.log(constructorName, constructorArgs);
 const secretKey = Fr.random();
 // const salt = Fr.random();
 const { publicKeys } = await deriveKeys(secretKey);
-const wallet = await EmbeddedWallet.create(createAztecNodeClient('http://localhost:8080'), { ephemeral: true });
+const wallet = await TestWallet.create(createAztecNodeClient('http://localhost:8080'));
 
 // This doesn't work due to a strange bug in fee payment
 // const deployPasswordAccountMethod = new DeployAccountMethod(
@@ -80,5 +79,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 accountManager = await AccountManager.create(wallet, Fr.random(), passwordAccountContract, Fr.random());
-console.log('Account registered at:', accountManager.address.toString());
+const account = await wallet.createAccount({ secret: Fr.random(), contract: passwordAccountContract, salt: Fr.random() });
+console.log('Account registered at:', account.address.toString());