chore: Merge sub chip into add chip (#410)

succinctlabs · Mar 20, 2024 · 9ae97b6 · 9ae97b6
1 parent 2dc69f3
commit 9ae97b6
Show file tree

Hide file tree

Showing 9 changed files with 265 additions and 454 deletions.
diff --git a/core/src/air/builder.rs b/core/src/air/builder.rs
@@ -473,10 +473,10 @@ pub trait MemoryAirBuilder: BaseAirBuilder {
         memory_access_slice: &[M],
         verify_memory_access: EVerify,
     ) where
-        EShard: Into<Self::Expr> + std::marker::Copy,
-        Ea: Into<Self::Expr> + std::marker::Copy,
-        Eb: Into<Self::Expr> + std::marker::Copy,
-        EVerify: Into<Self::Expr> + std::marker::Copy,
+        EShard: Into<Self::Expr> + Copy,
+        Ea: Into<Self::Expr> + Copy,
+        Eb: Into<Self::Expr> + Copy,
+        EVerify: Into<Self::Expr> + Copy,
         M: MemoryCols<Eb>,
     {
         for (i, access_slice) in memory_access_slice.iter().enumerate() {

diff --git a/core/src/alu/add/mod.rs b/core/src/alu/add/mod.rs