diff --git a/src/src/core.cairo b/src/src/core.cairo
index ac352e3d..db89e612 100644
--- a/src/src/core.cairo
+++ b/src/src/core.cairo
@@ -1 +1 @@
-mod circuit;
+pub mod circuit;
diff --git a/src/src/lib.cairo b/src/src/lib.cairo
index 606ac9c8..de6064d5 100644
--- a/src/src/lib.cairo
+++ b/src/src/lib.cairo
@@ -1,13 +1,13 @@
-mod definitions;
-mod utils;
-mod ec_ops;
-mod pairing_check;
-mod circuits;
-mod groth16;
-mod basic_field_ops;
+pub mod definitions;
+pub mod utils;
+pub mod ec_ops;
+pub mod pairing_check;
+pub mod circuits;
+pub mod groth16;
+pub mod basic_field_ops;
 mod tests;
-mod core;
-mod risc0_utils;
+pub mod core;
+pub mod risc0_utils;
 
 
 #[cfg(test)]
diff --git a/src/src/utils.cairo b/src/src/utils.cairo
index a954d9a1..300890c4 100644
--- a/src/src/utils.cairo
+++ b/src/src/utils.cairo
@@ -51,8 +51,9 @@ struct PoseidonState {
     s2: felt252,
 }
 
+
 // Returns true if all limbs of x are zero, false otherwise.
-fn u384_eq_zero(x: u384) -> bool {
+pub fn u384_eq_zero(x: u384) -> bool {
     if x.limb0 != 0 {
         return false;
     }