18 Commits

Author	SHA1	Message	Date
Arnaud	82de35640d	Rename Codex to Logos Storage (#18)	2025-12-15 14:16:08 +01:00
thatben	354cca0573	bumps constantine and nim-poseidon to match codex v0.2.0	2025-02-28 13:52:01 +01:00
Balazs Komuves	1c51aca81b	more streamlined json output for the goldilocks field (4 field elements per line)	2024-10-22 12:37:34 +02:00
Balazs Komuves	14bab04b19	it almost compiles (but does not link/builds) after the big hack refactoring	2024-10-18 17:39:34 +02:00
Balazs Komuves	948f6c2c75	add CLI and config for the new hash functions	2024-10-15 11:52:40 +02:00
Balazs Komuves	72e55b22ab	update the nim-poseidon2 dependency	2024-07-12 12:45:21 +02:00
Balazs Komuves	bd0a5e968c	update to use the latest nim-poseidon2	2023-12-18 12:50:54 +01:00
Balazs Komuves	78dcaaa396	improve the nim-cli documentation	2023-12-15 22:33:41 +01:00
Balazs Komuves	cb144df60a	fix some typos	2023-12-15 17:49:11 +01:00
Balazs Komuves	dd95030a39	nim-cli: add --verbose option	2023-12-15 17:21:45 +01:00
Balazs Komuves	2f30a0cef8	Nim: add the missing commas in the JSON export :)	2023-12-15 17:21:34 +01:00
Balazs Komuves	30740a86b5	add generating the main component to the Nim proof input generator	2023-12-15 14:52:26 +01:00
Balazs Komuves	f9af4fa84f	add Nim CLI application to generate proof inputs	2023-12-15 13:13:49 +01:00
Balazs Komuves	fea3d520b4	make cellSize and blockSize global parameters	2023-12-15 12:08:28 +01:00
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	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	950d6c9df9	the Nim and Haskell circuit input generators produces the same input	2023-11-23 14:39:20 +01:00
Balazs Komuves	9e61c14e5d	proof input generation reference impl. in Nim (WIP, untested!)	2023-11-17 18:17:26 +01:00