codex-storage
/
nim-codex
mirror of https://github.com/codex-storage/nim-codex.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

pass proper input

This commit is contained in:
Dmitriy Ryajov 2024-01-27 16:36:55 -06:00
parent e62b5c918a
commit 9f1ec4b02f
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4
1 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
codex/slots/proofs/backends/circomcompat.nim
View File

@ -63,6 +63,7 @@ proc prove*(
var
entropy = input.entropy.toBytes
verifyRoot = input.verifyRoot.toBytes
slotRoot = input.slotRoot.toBytes
if backend.pushInputU256Array(
"entropy".cstring, entropy.addr, entropy.len.uint32) != ERR_OK:
@ -72,6 +73,10 @@ proc prove*(
"dataSetRoot".cstring, verifyRoot.addr, verifyRoot.len.uint32) != ERR_OK:
return failure("Failed to push data set root")
if backend.pushInputU256Array(
"slotRoot".cstring, slotRoot.addr, slotRoot.len.uint32) != ERR_OK:
return failure("Failed to push data set root")
if backend.pushInputU32(
"nCellsPerSlot".cstring, input.numCells.uint32) != ERR_OK:
return failure("Failed to push nCellsPerSlot")
@ -90,19 +95,19 @@ proc prove*(
# arrays are always flattened
if backend.pushInputU256Array(
"slotProof".cstring,
slotProof.addr,
uint input.verifyProof.len) != ERR_OK:
slotProof[0].addr,
uint (32 * input.verifyProof.len)) != ERR_OK:
return failure("Failed to push slot proof")
for s in input.samples:
var
merklePaths = s.merkleProof.mapIt( it.toBytes ).concat
merklePaths = s.merkleProof.mapIt( it.toBytes )
data = s.data
if backend.pushInputU256Array(
"merklePaths".cstring,
merklePaths[0].addr,
uint merklePaths.len) != ERR_OK:
uint (32 * merklePaths.len)) != ERR_OK:
return failure("Failed to push merkle paths")
if backend.pushInputU256Array(