7 Commits

Author SHA1 Message Date
Balazs Komuves
b8052dbf34
update README 2025-03-18 12:52:32 +01:00
Balazs Komuves
4651602cb6
implement the Nim witness generator (some operations are missing, because... constantine) 2025-03-16 20:09:36 +01:00
Balazs Komuves
ec327944e2
Nim: parse the circuit input JSON files 2025-03-15 13:53:42 +01:00
Balazs Komuves
8fcef5c1c4
export the witness (Haskell) 2025-03-14 17:24:05 +01:00
Balazs Komuves
b7f036848d
parse JSON input files (in Haskell) 2025-03-14 17:05:39 +01:00
Balazs Komuves
60b4d8d8f4
update the readme 2025-03-14 12:29:39 +01:00
Balazs Komuves
de29a073da
initial import the Haskell WIP code (parser + interpreter works on a simple example) 2025-03-13 17:55:37 +01:00