Fixes: bump to devnet.4; move to HONK_ZK

Author: federicobarbacovi

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

@@ -18,7 +18,7 @@ jobs:
     runs-on: ubuntu-latest
     env:
       AZTEC_ENV: sandbox
-      AZTEC_VERSION: 3.0.0-devnet.2
+      AZTEC_VERSION: 3.0.0-devnet.4
 
     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 3.0.0-devnet.2  # For recursive_verification
+aztec-up 3.0.0-devnet.4  # For recursive_verification
 aztec-up 2.0.2  # For starter-token
 ```
 
@@ -245,7 +245,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.2
+- `recursive_verification`: v3.0.0-devnet.4
 
 ### 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**: 3.0.0-devnet.2
+**Aztec Version**: 3.0.0-devnet.4
 
 Demonstrates how to verify Noir circuit proofs within Aztec smart contracts using the UltraHonk proving system. This example showcases:
 
@@ -43,7 +43,7 @@ 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 3.0.0-devnet.2
+aztec-up 3.0.0-devnet.4
 ```
 
 ### Run the Examples

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.2 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.4 to verify Noir proofs within smart contracts on the Aztec network.
 
 The project consists of:
 

recursive_verification/README.md

@@ -11,12 +11,12 @@ This project implements:
 - **Proof Generation**: Scripts to generate UltraHonk proofs using Barretenberg
 - **On-chain Verification**: Deployment and interaction scripts for proof verification on Aztec
 
-**Aztec Version**: `3.0.0-devnet.2`
+**Aztec Version**: `3.0.0-devnet.4`
 
 ## Prerequisites
 
 - [Bun](https://bun.sh/) runtime (v1.0 or higher)
-- [Aztec CLI](https://docs.aztec.network/getting_started/quickstart) (version 3.0.0-devnet.2)
+- [Aztec CLI](https://docs.aztec.network/getting_started/quickstart) (version 3.0.0-devnet.4)
 - Linux/macOS (Windows users can use WSL2)
 - 8GB+ RAM recommended for proof generation
 
@@ -61,7 +61,7 @@ bash -i <(curl -s https://install.aztec.network)
 ### Set Aztec to the correct version:
 
 ```bash
-aztec-up 3.0.0-devnet.2
+aztec-up 3.0.0-devnet.4
 ```
 
 This ensures compatibility with the contract dependencies.
@@ -153,7 +153,7 @@ For a fresh setup, run these commands in order:
 bun install
 
 # 2. Setup Aztec
-aztec-up 3.0.0-devnet.2
+aztec-up 3.0.0-devnet.4
 
 # 3. Compile circuit
 cd circuit && aztec-nargo compile && cd ..

recursive_verification/bun.lockb

@@ -4,6 +4,6 @@ type = "contract"
 authors = ["Satyam Bansal"]
 
 [dependencies]
-aztec = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-devnet.2", directory = "noir-projects/aztec-nr/aztec" }
-value_note = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-devnet.2", directory = "noir-projects/aztec-nr/value-note" }
-easy_private_state = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-devnet.2", directory = "noir-projects/aztec-nr/easy-private-state" }
+aztec = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-devnet.4", directory = "noir-projects/aztec-nr/aztec" }
+value_note = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-devnet.4", directory = "noir-projects/aztec-nr/value-note" }
+easy_private_state = { git = "https://github.com/AztecProtocol/aztec-packages/", tag = "v3.0.0-devnet.4", directory = "noir-projects/aztec-nr/easy-private-state" }

recursive_verification/contract/Nargo.toml

@@ -3,8 +3,8 @@ use aztec::macros::aztec;
 #[aztec]
 pub contract ValueNotEqual {
     global HONK_VK_SIZE: u32 = 115;
-    global HONK_PROOF_SIZE: u32 = 457;
-    global HONK_IDENTIFIER: u32 = 1;
+    global HONK_PROOF_SIZE: u32 = 492 + 16;
+    global HONK_IDENTIFIER: u32 = 7;
 
     use aztec::{
         macros::{functions::{external, initializer}, storage::storage},
@@ -32,9 +32,10 @@ pub contract ValueNotEqual {
         verification_key: [Field; HONK_VK_SIZE],
         proof: [Field; HONK_PROOF_SIZE],
         public_inputs: [Field; 1],
+        vk_hash: Field
     ) {
         debug_log_format("Incrementing counter for owner {0}", [owner.to_field()]);
-        std::verify_proof_with_type(verification_key, proof, public_inputs, 0x0, HONK_IDENTIFIER);
+        std::verify_proof_with_type(verification_key, proof, public_inputs, vk_hash, HONK_IDENTIFIER);
         ValueNotEqual::at(context.this_address()).emit_in_public(12345).enqueue(&mut context);
         let counters = storage.counters;
         counters.at(owner).add(1, owner);