From 01d582090e19e951da8e4ee7c15d60790347b2f6 Mon Sep 17 00:00:00 2001
From: Eric <5089238+emizzle@users.noreply.github.com>
Date: Wed, 25 Jun 2025 16:55:04 +1000
Subject: [PATCH] more prover input debug

---
 codex/slots/proofs/prover.nim   | 3 +--
 codex/slots/sampler/sampler.nim | 1 +
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/codex/slots/proofs/prover.nim b/codex/slots/proofs/prover.nim
index 4cc1fb71..c1ad53f8 100644
--- a/codex/slots/proofs/prover.nim
+++ b/codex/slots/proofs/prover.nim
@@ -87,6 +87,7 @@ proc prove*[SomeSampler](
     proofInput = ?await sampler.getProofInput(challenge, self.nSamples)
     # prove slot
 
+  trace "generating proof with input", input = proofInput.toJson
   case self.backendKind
   of ProverBackendCmd.nimgroth16:
     let
@@ -96,7 +97,6 @@ proc prove*[SomeSampler](
           (?await self.groth16Backend.verify(proof)).some
         else:
           bool.none
-    trace "nimgroth16 proof generated with input", input = proofInput.toJson
     return success (proof.toGroth16Proof, verified)
   of ProverBackendCmd.circomcompat:
     let
@@ -106,7 +106,6 @@ 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*(
diff --git a/codex/slots/sampler/sampler.nim b/codex/slots/sampler/sampler.nim
index 740f5950..5d9f6cc5 100644
--- a/codex/slots/sampler/sampler.nim
+++ b/codex/slots/sampler/sampler.nim
@@ -107,6 +107,7 @@ proc getProofInput*[SomeTree, SomeHash](
   let samples = collect(newSeq):
     for cellIdx in cellIdxs:
       ?(await self.getSample(cellIdx, slotTreeCid, slotRoot))
+  trace "Proof inputs collected"
 
   success ProofInputs[SomeHash](
     entropy: entropy,