Merge pull request #21 from AztecProtocol/jc/update-examples-v3-devnet-20251212-clean

Migrate examples to Aztec v3.0.0-devnet.20251212

Author: critesjosh

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

@@ -17,8 +17,8 @@ jobs:
     name: Note Send Proof Tests
     runs-on: ubuntu-latest
     env:
-      AZTEC_ENV: sandbox
-      AZTEC_VERSION: 2.0.3
+      AZTEC_ENV: local-network
+      AZTEC_VERSION: 3.0.0-devnet.20251212
 
     steps:
       - name: Checkout repository
@@ -44,22 +44,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 }}
-          aztec start --sandbox &
+          docker tag aztecprotocol/aztec:${{ env.AZTEC_VERSION }} aztecprotocol/aztec:latest
+          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)"
@@ -70,11 +71,7 @@ jobs:
         working-directory: note-send-proof
         run: yarn install
 
-      - name: Compile Aztec contract
-        working-directory: note-send-proof/sample-contract
-        run: aztec-nargo compile
-
-      - name: Post-process contract and generate artifacts
+      - name: Compile contract and generate artifacts
         working-directory: note-send-proof
         run: yarn ccc
 
@@ -105,7 +102,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

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

@@ -17,7 +17,7 @@ jobs:
     name: Test Wallet Webapp Tests
     runs-on: ubuntu-latest
     env:
-      AZTEC_VERSION: 3.0.0-devnet.5
+      AZTEC_VERSION: 3.0.0-devnet.20251212
 
     steps:
       - name: Checkout repository
@@ -43,23 +43,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)"
@@ -91,7 +91,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

account-contract/Nargo.toml

@@ -5,5 +5,4 @@ compiler_version = ">=1.0.0"
 type = "contract"
 
 [dependencies]
-aztec = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-devnet.4", directory = "noir-projects/aztec-nr/aztec" }
-poseidon = { tag = "v0.1.1", git = "https://github.com/noir-lang/poseidon" }
+aztec = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-devnet.20251212", directory = "noir-projects/aztec-nr/aztec" }

account-contract/README.md

@@ -88,7 +88,7 @@ const entrypoint = new PasswordAccountEntrypoint(
 Compile the Noir contract:
 
 ```bash
-aztec-nargo compile
+aztec compile
 ```
 
 Install TypeScript dependencies:
@@ -170,18 +170,27 @@ When implementing custom account contracts in Aztec, be aware of these critical
 - Failed fee payments will cause the entire transaction to fail
 - Consider how users will fund their account contracts with Fee Asset
 
+## Aztec Version Compatibility
+
+This example is compatible with **Aztec v3.0.0-devnet.20251212**.
+
+To set this version:
+
+```bash
+aztec-up 3.0.0-devnet.20251212
+```
+
 ## Dependencies
 
 ### Noir Dependencies
 
-- **aztec**: v3.0.0-devnet.4
-- **poseidon**: v0.1.1
+- **aztec**: v3.0.0-devnet.20251212
 
 ### TypeScript Dependencies
 
-- **@aztec/aztec.js**: 3.0.0-devnet.4
-- **@aztec/accounts**: 3.0.0-devnet.4
-- **@aztec/stdlib**: 3.0.0-devnet.4
+- **@aztec/aztec.js**: 3.0.0-devnet.20251212
+- **@aztec/accounts**: 3.0.0-devnet.20251212
+- **@aztec/stdlib**: 3.0.0-devnet.20251212
 - **@aztec/entrypoints**: Included in aztec.js
 
 ## Project Structure

account-contract/package.json

@@ -12,12 +12,12 @@
     "typescript": "^5.0.0"
   },
   "dependencies": {
-    "@aztec/accounts": "3.0.0-devnet.4",
-    "@aztec/aztec.js": "3.0.0-devnet.4",
-    "@aztec/foundation": "3.0.0-devnet.4",
-    "@aztec/noir-contracts.js": "3.0.0-devnet.4",
-    "@aztec/stdlib": "3.0.0-devnet.4",
-    "@aztec/test-wallet": "3.0.0-devnet.4",
+    "@aztec/accounts": "3.0.0-devnet.20251212",
+    "@aztec/aztec.js": "3.0.0-devnet.20251212",
+    "@aztec/foundation": "3.0.0-devnet.20251212",
+    "@aztec/noir-contracts.js": "3.0.0-devnet.20251212",
+    "@aztec/stdlib": "3.0.0-devnet.20251212",
+    "@aztec/test-wallet": "3.0.0-devnet.20251212",
     "tsx": "^4.20.6"
   }
 }

account-contract/src/account_actions.nr

@@ -1,11 +1,11 @@
-use dep::aztec::context::PrivateContext;
+use aztec::context::PrivateContext;
 
-use dep::aztec::protocol_types::{
+use aztec::protocol_types::{
     constants::GENERATOR_INDEX__TX_NULLIFIER, hash::poseidon2_hash_with_separator, traits::Hash,
 };
 
-use dep::aztec::authwit::auth::{compute_authwit_message_hash, IS_VALID_SELECTOR};
-use dep::aztec::authwit::entrypoint::app::AppPayload;
+use aztec::authwit::auth::{compute_authwit_message_hash, IS_VALID_SELECTOR};
+use aztec::authwit::entrypoint::app::AppPayload;
 
 pub struct AccountActions<Context> {
     context: Context,

account-contract/src/main.nr

@@ -1,10 +1,10 @@
-use dep::aztec::macros::aztec;
+use aztec::macros::aztec;
 
 mod account_actions;
 
 #[aztec]
 pub contract PasswordAccount {
-    use dep::aztec::{
+    use aztec::{
         authwit::{
             auth::compute_authwit_nullifier,
             entrypoint::app::AppPayload,
@@ -16,12 +16,10 @@ pub contract PasswordAccount {
             get_nullifier_membership_witness::get_low_nullifier_membership_witness,
             notes::{get_sender_for_tags, set_sender_for_tags},
         },
-        protocol_types::address::AztecAddress,
+        protocol_types::{address::AztecAddress, hash::poseidon2_hash},
         state_vars::PublicImmutable,
     };
 
-    use dep::poseidon;
-
     use crate::account_actions::AccountActions;
 
     #[storage]
@@ -33,7 +31,7 @@ pub contract PasswordAccount {
     #[external("private")]
     #[initializer]
     fn constructor(password: Field) {
-        let hashed_password = poseidon::poseidon2::Poseidon2::hash([password], 1);
+        let hashed_password = poseidon2_hash([password]);
         self.enqueue_self.set_hashed_password(hashed_password);
 
         // Safety: The sender for tags is only used to compute unconstrained shared secrets for emitting logs.
@@ -88,7 +86,7 @@ pub contract PasswordAccount {
 
         let hashed_password_from_account = storage.hashed_password.read();
 
-        let hashed_password = poseidon::poseidon2::Poseidon2::hash([password], 1);
+        let hashed_password = poseidon2_hash([password]);
 
         hashed_password_from_account == hashed_password
     }
@@ -103,7 +101,7 @@ pub contract PasswordAccount {
     unconstrained fn lookup_validity(consumer: AztecAddress, inner_hash: Field, password: Field) -> bool {
         let hashed_password_from_account = self.storage.hashed_password.read();
 
-        let hashed_password = poseidon::poseidon2::Poseidon2::hash([password], 1);
+        let hashed_password = poseidon2_hash([password]);
 
         let valid_in_private = hashed_password_from_account == hashed_password;
 

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

@@ -1,16 +1,14 @@
-// import { DeployAccountMethod, DeployAccountOptions } from '@aztec/aztec.js/wallet';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import { AztecAddress } from '@aztec/aztec.js/addresses';
+import { Fr } from '@aztec/aztec.js/fields';
 import { SponsoredFeePaymentMethod } from '@aztec/aztec.js/fee';
+import { Contract, DeployMethod, type DeployOptions } from '@aztec/aztec.js/contracts';
+import { createAztecNodeClient } from '@aztec/aztec.js/node';
+import { deriveKeys } from '@aztec/aztec.js/keys';
 import { getContractInstanceFromInstantiationParams } from '@aztec/stdlib/contract';
-import { CardGameContract } from '@aztec/noir-contracts.js/CardGame';
 import { SponsoredFPCContractArtifact } from '@aztec/noir-contracts.js/SponsoredFPC';
 import { SPONSORED_FPC_SALT } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
 import { PasswordAccountContract } from './password-account-entrypoint';
-import { deriveKeys } from '@aztec/stdlib/keys';
-import { Contract, DeployMethod, DeployOptions } from '@aztec/aztec.js/contracts';
 import { TestWallet } from '@aztec/test-wallet/server';
-import { createAztecNodeClient } from '@aztec/aztec.js/node';
 
 async function getSponsoredPFCContract() {
   const instance = await getContractInstanceFromInstantiationParams(
@@ -66,7 +64,7 @@ const accountContractDeployMethod = new DeployMethod(
     publicKeys,
     wallet,
     artifact,
-    address => Contract.at(address, artifact, wallet),
+    (instance, wallet) => Contract.at(instance.address, artifact, wallet),
     constructorArgs,
     constructorName,
 )
@@ -78,8 +76,8 @@ console.log(stats);
 
 const deployedAccountContract = await accountContractDeployMethod.send(deployAccountOpts).wait();
 
-await wallet.createAccount({ secret: Fr.random(), contract: passwordAccountContract, salt: Fr.random() });
-
-const cardGameContract = await CardGameContract.deploy(wallet).send({ from: deployedAccountContract.contract.address }).deployed();
+console.log('PasswordAccount contract deployed at:', deployedAccountContract.contract.address);
 
-console.log(cardGameContract)
+// 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());

account-contract/ts/password-account-entrypoint.ts

@@ -1,17 +1,16 @@
-import { Fr } from '@aztec/foundation/fields';
-import { ContractArtifact, type FunctionAbi, FunctionSelector, encodeArguments, loadContractArtifact } from '@aztec/stdlib/abi';
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
+import { Fr } from '@aztec/aztec.js/fields';
+import type { AztecAddress } from '@aztec/aztec.js/addresses';
+import { type ContractArtifact, type FunctionAbi, FunctionSelector, encodeArguments, loadContractArtifact } from '@aztec/stdlib/abi';
 import type { GasSettings } from '@aztec/stdlib/gas';
-import { HashedValues, TxContext, TxExecutionRequest } from '@aztec/stdlib/tx';
-
-import { AuthWitnessProvider, ChainInfo, EntrypointInterface } from '@aztec/entrypoints/interfaces';
-import { ExecutionPayload } from '@aztec/entrypoints/payload';
-import { EncodedAppEntrypointCalls } from '@aztec/entrypoints/encoding';
-import { DefaultAccountEntrypointOptions } from '@aztec/entrypoints/account';
-import { AccountContract, AccountInterface } from '@aztec/aztec.js/account';
+import { HashedValues, TxContext, TxExecutionRequest, type ExecutionPayload } from '@aztec/stdlib/tx';
 import { CompleteAddress } from '@aztec/stdlib/contract';
 import { AuthWitness } from '@aztec/stdlib/auth-witness';
-import { NoirCompiledContract } from '@aztec/stdlib/noir';
+import type { NoirCompiledContract } from '@aztec/stdlib/noir';
+
+import type { AuthWitnessProvider, ChainInfo, EntrypointInterface } from '@aztec/entrypoints/interfaces';
+import { EncodedAppEntrypointCalls } from '@aztec/entrypoints/encoding';
+import type { DefaultAccountEntrypointOptions } from '@aztec/entrypoints/account';
+import type { AccountContract, AccountInterface } from '@aztec/aztec.js/account';
 
 import PasswordAccountContractJson from '../target/custom_account-PasswordAccount.json' with { type: 'json' };
 
@@ -81,6 +80,7 @@ export class PasswordAccountEntrypoint implements EntrypointInterface {
       functionType: 'private',
       isInternal: false,
       isStatic: false,
+      isOnlySelf: false,
       parameters: [{"name":"app_payload","type":{"kind":"struct","fields":[{"name":"function_calls","type":{"kind":"array","length":5,"type":{"kind":"struct","fields":[{"name":"args_hash","type":{"kind":"field"}},{"name":"function_selector","type":{"kind":"struct","fields":[{"name":"inner","type":{"kind":"integer","sign":"unsigned","width":32}}],"path":"aztec::protocol_types::abis::function_selector::FunctionSelector"}},{"name":"target_address","type":{"kind":"struct","fields":[{"name":"inner","type":{"kind":"field"}}],"path":"aztec::protocol_types::address::aztec_address::AztecAddress"}},{"name":"is_public","type":{"kind":"boolean"}},{"name":"hide_msg_sender","type":{"kind":"boolean"}},{"name":"is_static","type":{"kind":"boolean"}}],"path":"aztec::authwit::entrypoint::function_call::FunctionCall"}}},{"name":"tx_nonce","type":{"kind":"field"}}],"path":"aztec::authwit::entrypoint::app::AppPayload"},"visibility":"private"},{"name":"fee_payment_method","type":{"kind":"integer","sign":"unsigned","width":8},"visibility":"private"},{"name":"cancellable","type":{"kind":"boolean"},"visibility":"private"},{"name":"password","type":{"kind":"field"},"visibility":"private"}],
       returnTypes: [],
       errorTypes: {},