3 Commits

Author SHA1 Message Date
Balazs Komuves
948f6c2c75 add CLI and config for the new hash functions 2024-10-15 11:52:40 +02:00
Balazs Komuves
78dcaaa396
improve the nim-cli documentation 2023-12-15 22:33:41 +01:00
Balazs Komuves
30740a86b5
add generating the main component to the Nim proof input generator 2023-12-15 14:52:26 +01:00