From f1bc6cc71fa5cf3ad81500ea07e059caea4ea3c6 Mon Sep 17 00:00:00 2001
From: Nexlab <86677687+Nexlab-One@users.noreply.github.com>
Date: Fri, 11 Jul 2025 20:49:18 +0200
Subject: [PATCH 1/2] Rename aux.rs to aux_rand_elements.rs

This PR renames aux.rs to aux_rand_elements.rs to avoid Windows reserved filename issues, The following PR updates all references accordingly. This enables building and developing on Windows systems.
---
 air/src/air/{aux.rs => aux_rand_elements.rs} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename air/src/air/{aux.rs => aux_rand_elements.rs} (100%)

diff --git a/air/src/air/aux.rs b/air/src/air/aux_rand_elements.rs
similarity index 100%
rename from air/src/air/aux.rs
rename to air/src/air/aux_rand_elements.rs

From 01135cdc4ed9f45a4f3ada3d5378d2df2fcec219 Mon Sep 17 00:00:00 2001
From: Nexlab-One <86677687+Nexlab-One@users.noreply.github.com>
Date: Fri, 11 Jul 2025 20:50:32 +0200
Subject: [PATCH 2/2] This PR updates all references to the renamed aux.rs
 accordingly. This enables building and developing on Windows systems.

---
 air/src/air/mod.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/air/src/air/mod.rs b/air/src/air/mod.rs
index 02ec093be..1d236fe6b 100644
--- a/air/src/air/mod.rs
+++ b/air/src/air/mod.rs
@@ -10,8 +10,8 @@ use math::{fft, ExtensibleField, ExtensionOf, FieldElement, StarkField, ToElemen
 
 use crate::{BatchingMethod, ProofOptions};
 
-mod aux;
-pub use aux::AuxRandElements;
+mod aux_rand_elements;
+pub use aux_rand_elements::AuxRandElements;
 
 mod trace_info;
 pub use trace_info::TraceInfo;