(WIP) feat: move chiplets bus to LogUp-GKR

0xPolygonMiden · Sep 30, 2024 · 77bb46d · 77bb46d
1 parent fcf9c20
commit 77bb46d
Show file tree

Hide file tree

Showing 4 changed files with 617 additions and 14 deletions.
diff --git a/air/src/constraints/chiplets/mod.rs b/air/src/constraints/chiplets/mod.rs
@@ -5,7 +5,7 @@ use super::super::{
 };
 use crate::utils::{are_equal, binary_not, is_binary};
 
-mod bitwise;
+pub mod bitwise;
 pub mod hasher;
 mod memory;