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,