hyli-org · MatteoMer · Mar 13, 2026 · Mar 12, 2026 · Mar 13, 2026
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/fixtures/keys/hyli_smt_incl_proof_key b/fixtures/keys/hyli_smt_incl_proof_key
diff --git a/fixtures/keys/hyli_smt_incl_proof_key_hash b/fixtures/keys/hyli_smt_incl_proof_key_hash
@@ -1 +1 @@
--|«¥T/èl·‡×V?o#X—%êêÖ?;	
+-NpµÔ÷„u—%}H¹¾àýá9ý¼ü€ÈÒÁ

diff --git a/fixtures/keys/hyli_utxo_key b/fixtures/keys/hyli_utxo_key
diff --git a/fixtures/keys/hyli_utxo_key_hash b/fixtures/keys/hyli_utxo_key_hash
@@ -1 +1,3 @@
-´•Ð²áS@Î©5ÂTî³ð%p»âu¡¢p-vž
+
+¤p5S	Kt˜ó¯Ñf-5<šé
+ÑËŒö&¤2

diff --git a/fixtures/programs/agg_agg.json b/fixtures/programs/agg_agg.json
diff --git a/fixtures/programs/agg_utxo.json b/fixtures/programs/agg_utxo.json
diff --git a/fixtures/programs/hyli_smt_incl_proof.json b/fixtures/programs/hyli_smt_incl_proof.json
diff --git a/fixtures/programs/hyli_utxo.json b/fixtures/programs/hyli_utxo.json
diff --git a/fixtures/programs/migrate.json b/fixtures/programs/migrate.json
diff --git a/fixtures/programs/points.json b/fixtures/programs/points.json
diff --git a/fixtures/programs/signature.json b/fixtures/programs/signature.json
diff --git a/fixtures/programs/utxo.json b/fixtures/programs/utxo.json
diff --git a/noir/generate_fixtures.sh b/noir/generate_fixtures.sh
@@ -2,18 +2,13 @@
 
 set -xeuo pipefail
 
-# Compile the program
 NARGO=${NARGO:-nargo}
-$NARGO compile --workspace
-
 REPO_ROOT=$(git rev-parse --show-toplevel)
 BACKEND=${BACKEND:-bb}
 
-# Clean target
-rm -r $REPO_ROOT/noir/target
-
-# Compile the program
-nargo compile --workspace
+# Clean target and recompile
+rm -rf $REPO_ROOT/noir/target
+$NARGO compile --workspace
 
 # Create the fixtures directory if it doesn't exist
 mkdir -p $REPO_ROOT/fixtures/programs
@@ -58,7 +53,7 @@ for NAME in "${PROGRAMS[@]}"; do
   echo "Generating verification key for $NAME with standalone verifier type"
   # Note: New barretenberg (v2.0+) no longer supports --output_format bytes_and_fields
   # It only generates binary 'vk' and 'vk_hash' files
-  $BACKEND write_vk ${oracle_hash_args[@]} --scheme ultra_honk --verifier_type standalone -b $REPO_ROOT/fixtures/programs/${NAME}.json -o $REPO_ROOT/fixtures/keys/ \
+  $BACKEND write_vk ${oracle_hash_args[@]+"${oracle_hash_args[@]}"} --scheme ultra_honk --verifier_type standalone -b $REPO_ROOT/fixtures/programs/${NAME}.json -o $REPO_ROOT/fixtures/keys/ \
     && mv $REPO_ROOT/fixtures/keys/vk $REPO_ROOT/fixtures/keys/${NAME}_key \
     && mv $REPO_ROOT/fixtures/keys/vk_hash $REPO_ROOT/fixtures/keys/${NAME}_key_hash
 

diff --git a/pkg/zk-primitives/src/hyli_utxo.rs b/pkg/zk-primitives/src/hyli_utxo.rs
@@ -5,7 +5,7 @@ use hash::hash_merge;
 use serde::{Deserialize, Serialize};
 
 /// Number of public input fields emitted by the Hyli UTXO proof.
-pub const HYLI_UTXO_PUBLIC_INPUTS_COUNT: usize = 732;
+pub const HYLI_UTXO_PUBLIC_INPUTS_COUNT: usize = 713;
 
 /// Number of field elements concatenated into the Hyli blob (2 output commitments + 2 nullifier commitments).
 pub const HYLI_BLOB_HASH_COUNT: usize = 4;
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		-\|«¥T/èl·‡×V?o#X—%êêÖ?;
		-NpµÔ÷„u—%}H¹¾àýá9ý¼ü€ÈÒÁ
Expand Down