All-LogUp auxiliary trace bus constraints

CHANGELOG.md

@@ -67,6 +67,8 @@
 - Speed-up AUX range check trace generation by changing divisors to a flat Vec layout ([#2966](https://github.com/0xMiden/miden-vm/pull/2966)).
 - Optimized call graph topological sort from O(V\*E) to O(V + E) by pre-computing in-degrees ([#2830](https://github.com/0xMiden/miden-vm/pull/2830)).
 - Removed AIR constraint tagging instrumentation, applied a uniform constraint description style across components, and optimized constraint evaluation ([#2856](https://github.com/0xMiden/miden-vm/pull/2856)).
+- [BREAKING] Unified all auxiliary-trace buses under a single declarative LogUp `LookupAir` shared by the verifier, prover aux-trace generator, and recursive ACE circuit; reduced committed boundary values to one per trace ([#2962](https://github.com/0xMiden/miden-vm/pull/2962)).
+- Collapsed the kernel ROM chiplet to one row per digest with a LogUp multiplicity, eliminating duplicate-callsite rows ([#2962](https://github.com/0xMiden/miden-vm/pull/2962)).
 - Made all internal `core::math` procedures natively little-endian ([#3084](https://github.com/0xMiden/miden-vm/pull/3084)).
 - [BREAKING] Updated the Miden crypto stack to `miden-crypto` 0.25, and switched SMT leaf hashing to use Poseidon2 domain separation so masm-side leaf digests match `SmtLeaf::hash()` ([#3095](https://github.com/0xMiden/miden-vm/pull/3095)).
 

air/Cargo.toml

@@ -35,6 +35,7 @@ miden-utils-indexing.workspace = true
 # External dependencies
 proptest = { workspace = true, optional = true }
 thiserror.workspace = true
+tracing.workspace = true
 
 [dev-dependencies]
 insta.workspace = true

air/src/config.rs

@@ -85,10 +85,10 @@ pub fn pcs_params() -> PcsParams {
 /// Compile-time constant binding the Fiat-Shamir transcript to the Miden VM AIR.
 /// Must match the constants in `crates/lib/core/asm/sys/vm/mod.masm`.
 pub const RELATION_DIGEST: [Felt; 4] = [
-    Felt::new_unchecked(9959184209071024919),
-    Felt::new_unchecked(8083906424746801292),
-    Felt::new_unchecked(2491326376870921885),
-    Felt::new_unchecked(2800937775438555033),
+    Felt::new_unchecked(2564365500194292689),
+    Felt::new_unchecked(7963649451118915546),
+    Felt::new_unchecked(13003513905888733288),
+    Felt::new_unchecked(3704785727996306162),
 ];
 
 /// Observes PCS protocol parameters into the challenger.
@@ -314,9 +314,9 @@ mod tests {
             layout: LayoutKind::Masm,
         };
         let air = ProcessorAir;
-        let batch_config = ace::reduced_aux_batch_config();
+        let boundary_config = ace::logup_boundary_config();
         let circuit =
-            ace::build_batched_ace_circuit::<_, QuadFelt>(&air, config, &batch_config).unwrap();
+            ace::build_batched_ace_circuit::<_, QuadFelt>(&air, config, &boundary_config).unwrap();
         let encoded = circuit.to_ace().unwrap();
         let circuit_commitment: [Felt; 4] = encoded.circuit_hash().into();