6 Commits

Author SHA1 Message Date
Balazs Komuves
cbcf9b476c
add padding of Merkle paths (to fixed length) to the Nim reference impl 2023-12-14 14:21:10 +01:00
Balazs Komuves
55015008e7
the circuit seems to work 2023-11-28 12:32:36 +01:00
Balazs Komuves
159b71959c
updated the Haskell and Nim code to produce inputs for proving against the dataset root (instead of the slot root) 2023-11-25 14:24:25 +01:00
Balazs Komuves
5159beebe5
make CellIdx etc newtypes 2023-11-24 16:10:17 +01:00
Balazs Komuves
950d6c9df9
the Nim and Haskell circuit input generators produces the same input 2023-11-23 14:39:20 +01:00
Balazs Komuves
39e4c924bd
cabalize 2023-11-16 11:50:42 +01:00