diff --git a/codex/slots/proofs/backends/circomcompat.nim b/codex/slots/proofs/backends/circomcompat.nim
index e20edc13..90c2ceee 100644
--- a/codex/slots/proofs/backends/circomcompat.nim
+++ b/codex/slots/proofs/backends/circomcompat.nim
@@ -21,6 +21,8 @@ import ../../../stores
 import ../../../merkletree
 import ../../../codextypes
 
+import pkg/constantine/math/arithmetic
+
 export circomcompat
 
 type