diff --git a/codex/slots/proofs/backends/circomcompat.nim b/codex/slots/proofs/backends/circomcompat.nim
index ede83b8c..29a9908a 100644
--- a/codex/slots/proofs/backends/circomcompat.nim
+++ b/codex/slots/proofs/backends/circomcompat.nim
@@ -19,10 +19,7 @@ import pkg/poseidon2/io
 import ../../types
 import ../../../stores
 import ../../../merkletree
-
-import pkg/constantine/math/arithmetic
-import pkg/constantine/math/arithmetic
-import pkg/constantine/math/io/io_bigints
+import ../../../codextypes
 
 export circomcompat