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

Lining up output type with updated reference code.

Browse Source
This commit is contained in:
benbierens 2023-11-27 14:28:39 +01:00 committed by Dmitriy Ryajov
parent 54b0fe6f42
commit 03c0f9914e
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4
2 changed files with 13 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
codex/proof/datasampler.nim
View File

@ -34,7 +34,7 @@ type
blockStore: BlockStore
slotBlocks: SlotBlocks
# The following data is invariant over time for a given slot:
slotRootHash: FieldElement
datasetRoot: FieldElement
slotPoseidonTree: MerkleTree
datasetToSlotProof: MerkleProof
blockSize: uint64
@ -48,7 +48,7 @@ proc new*(
T: type DataSampler,
slot: Slot,
blockStore: BlockStore,
slotRootHash: FieldElement,
datasetRoot: FieldElement,
slotPoseidonTree: MerkleTree,
datasetToSlotProof: MerkleProof
): Future[?!DataSampler] {.async.} =
@ -66,7 +66,7 @@ proc new*(
slot: slot,
blockStore: blockStore,
slotBlocks: slotBlocks,
slotRootHash: slotRootHash,
datasetRoot: datasetRoot,
slotPoseidonTree: slotPoseidonTree,
datasetToSlotProof: datasetToSlotProof,
blockSize: blockSize,

13
codex/proof/types.nim
View File

@ -9,8 +9,15 @@ const
type
FieldElement* = F
Cell* = seq[byte]
ProofSample* = ref object
cellData*: Cell
merkleProof*: MerkleProof
ProofInput* = ref object
datasetRoot*: FieldElement
entropy*: FieldElement
numberOfCellsInSlot*: uint64
numberOfSlots*: uint64
datasetSlotIndex*: uint64
slotRoot*: FieldElement
datasetToSlotProof*: MerkleProof
slotToBlockProofs*: seq[MerkleProof]
blockToCellProofs*: seq[MerkleProof]
sampleData*: seq[byte]
proofSamples*: seq[ProofSample]