From e24a0032e3dee6275beb92241632e8ff45a9028d Mon Sep 17 00:00:00 2001
From: Eric <5089238+emizzle@users.noreply.github.com>
Date: Wed, 25 Jun 2025 16:30:39 +1000
Subject: [PATCH] additional logging for proof generation debug

---
 codex/slots/proofs/prover.nim | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/codex/slots/proofs/prover.nim b/codex/slots/proofs/prover.nim
index 201e7de3..4cc1fb71 100644
--- a/codex/slots/proofs/prover.nim
+++ b/codex/slots/proofs/prover.nim
@@ -96,7 +96,7 @@ proc prove*[SomeSampler](
           (?await self.groth16Backend.verify(proof)).some
         else:
           bool.none
-    trace "Proof generated with input", input = proofInput.toJson
+    trace "nimgroth16 proof generated with input", input = proofInput.toJson
     return success (proof.toGroth16Proof, verified)
   of ProverBackendCmd.circomcompat:
     let
@@ -106,6 +106,7 @@ proc prove*[SomeSampler](
           (?await self.circomCompatBackend.verify(proof, proofInput)).some
         else:
           bool.none
+    trace "circomcompat proof generated with input", input = proofInput.toJson
     return success (proof.toGroth16Proof, verified)
 
 proc new*(