From 0da9d512130e041803959283d7aee34a80e1eb83 Mon Sep 17 00:00:00 2001
From: Dmitriy Ryajov <dryajov@gmail.com>
Date: Mon, 29 Jan 2024 14:57:40 -0600
Subject: [PATCH] rework circom compat

---
 codex/slots/proofs/backends/circomcompat.nim | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/codex/slots/proofs/backends/circomcompat.nim b/codex/slots/proofs/backends/circomcompat.nim
index 90c2ceee..3b66a65b 100644
--- a/codex/slots/proofs/backends/circomcompat.nim
+++ b/codex/slots/proofs/backends/circomcompat.nim
@@ -23,6 +23,9 @@ import ../../../codextypes
 
 import pkg/constantine/math/arithmetic
 
+import pkg/constantine/math/arithmetic
+import pkg/constantine/math/io/io_bigints
+
 export circomcompat
 
 type
@@ -178,10 +181,8 @@ proc prove*[H](
       if backend != nil:
         backend.addr.releaseCircomCompat()
 
-  success CircomProof(
-    proof: proof,
-    cfg: self.backendCfg,
-    backend: backend)
+      if backend != nil:
+        backend.addr.releaseCircomCompat()
 
 proc verify*(
   self: CircomCompat,