chore: add tracing to aux trace building and update crypto crate

0xPolygonMiden · Oct 30, 2024 · 578be7f · 578be7f
1 parent ef8d0af
commit 578be7f
Show file tree

Hide file tree

Showing 3 changed files with 40 additions and 39 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/core/Cargo.toml b/core/Cargo.toml
@@ -34,7 +34,7 @@ std = [
 lock_api = { version = "0.4", features = ["arc_lock"] }
 math = { package = "winter-math", version = "0.10", default-features = false }
 memchr = { version = "2.7", default-features = false }
-miden-crypto = { git = "https://github.com/0xPolygonMiden/crypto", branch = "al-migrate-to-new-winterfell", default-features = false }
+miden-crypto = { git = "https://github.com/0xPolygonMiden/crypto", branch = "next", default-features = false }
 miden-formatting = { version = "0.1", default-features = false }
 miette = { package = "miden-miette", version = "7.1", default-features = false, features = [
     "fancy-no-syscall",

diff --git a/prover/src/lib.rs b/prover/src/lib.rs
@@ -225,6 +225,7 @@ where
         DefaultConstraintEvaluator::new(air, aux_rand_elements, composition_coefficients)
     }
 
+    #[instrument(skip_all)]
     fn build_aux_trace<E>(
         &self,
         trace: &Self::Trace,