codex-storage/nim-codex
1
0
Fork 0
mirror of https://github.com/codex-storage/nim-codex.git synced 2025-01-31 15:16:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

return correct proof

Browse Source
This commit is contained in:
Dmitriy Ryajov 2024-02-12 13:19:10 -06:00
parent f6e7f12c1a
commit 1b2ac806b1
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4
1 changed files with 20 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
codex/node.nim
View File

@ -595,17 +595,28 @@ proc onProve(
error "Unable to fetch manifest for cid", err = err.msg
return failure(err)
without proof =? await prover.prove(slotIdx, manifest, challenge), err:
error "Unable to generate proof", err = err.msg
return failure(err)
when defined(verify_circuit):
without (inputs, proof) =? await prover.prove(slotIdx, manifest, challenge), err:
error "Unable to generate proof", err = err.msg
return failure(err)
# Todo: send proofInput to circuit. Get proof. (Profit, repeat.)
without checked =? await prover.verify(proof, inputs), err:
error "Unable to verify proof", err = err.msg
return failure(err)
# For now: dummy proof that is not all zero's, so that it is accepted by the
# dummy verifier:
var proof = Groth16Proof.default
proof.a.x = 42.u256
success(proof)
if not checked:
error "Proof verification failed"
return failure("Proof verification failed")
else:
without (_, proof) =? await prover.prove(slotIdx, manifest, challenge), err:
error "Unable to generate proof", err = err.msg
return failure(err)
success proof.toGroth16Proof()
else:
warn "Prover not enabled"
failure "Prover not enabled"
proc onExpiryUpdate(
self: CodexNodeRef,