Merge branch 'main' into linda/shape-validation

Author: LindaGuiga

Cargo.toml

@@ -48,6 +48,7 @@ p3-util = { git = "https://github.com/Plonky3/Plonky3" }
 itertools = { version = "0.14.0", default-features = false, features = [
     "use_alloc",
 ] }
+proptest = { version = "1.5", default-features = true }
 rand = { version = "0.9.2", default-features = false, features = ["small_rng"] }
 serde = { version = "1.0", default-features = false, features = [
     "derive",

circuit/Cargo.toml

@@ -41,6 +41,7 @@ p3-matrix.workspace = true
 p3-merkle-tree.workspace = true
 p3-symmetric.workspace = true
 
+proptest.workspace = true
 rand.workspace = true
 tracing-forest = { workspace = true, features = ["ansi", "smallvec"] }
 tracing-subscriber = { workspace = true, features = ["std", "env-filter"] }

circuit/src/alloc_entry.rs

@@ -97,7 +97,7 @@ fn dump_internal_log(allocation_log: &[AllocationEntry]) {
         if label.is_empty() {
             "".to_string()
         } else {
-            format!(": {}", label)
+            format!(": {label}")
         }
     }
 
@@ -234,7 +234,7 @@ fn dump_internal_log(allocation_log: &[AllocationEntry]) {
         );
         for entry in non_primitives {
             let op_name = match &entry.alloc_type {
-                AllocationType::NonPrimitiveOp(op_type) => format!("{:?}", op_type).to_string(),
+                AllocationType::NonPrimitiveOp(op_type) => format!("{op_type:?}").to_string(),
                 _ => "Unknown".to_string(),
             };
             if !entry.dependencies.is_empty() {