logos-storage/logos-storage-nim
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-nim.git synced 2026-01-08 08:23:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

more prover input debug

Browse Source
This commit is contained in:
Eric 2025-06-25 16:55:04 +10:00
parent 92602b7c52
commit c5f28531f6
No known key found for this signature in database
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
codex/slots/proofs/prover.nim
View File

@ -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*(

1
codex/slots/sampler/sampler.nim
View File

@ -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,