22 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Balazs Komuves	89679e2f05	add missing LICENSE files	2025-11-14 11:50:44 +01:00
Balazs Komuves	fbe833d515	update the Nim parser too	2025-11-13 20:11:31 +01:00
Balazs Komuves	1289d9b7ad	update the Haskell parser to the format change in 94fc740080	2025-11-13 19:51:01 +01:00
Balazs Komuves	2420269dc4	update the README	2025-03-18 17:25:06 +01:00
Balazs Komuves	a597168daf	add Pow operation	2025-03-18 12:52:54 +01:00
Balazs Komuves	b8052dbf34	update README	2025-03-18 12:52:32 +01:00
Balazs Komuves	dfe5239fcb	Haskell: minor refactoring to help debugging (by which I mean debugging the Nim one...)	2025-03-16 20:10:19 +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	b832b20442	Nim: export witness file	2025-03-15 14:06:24 +01:00
Balazs Komuves	ec327944e2	Nim: parse the circuit input JSON files	2025-03-15 13:53:42 +01:00
Balazs Komuves	28b368d92a	BN254 mini-lib (using constantine under the hood)	2025-03-15 13:53:27 +01:00
Balazs Komuves	51ada29712	add some error messages when something goes wrong	2025-03-15 13:51:39 +01:00
Balazs Komuves	4a8f564ba9	update Haskell to handle the "new" (previously missing from upstream) unary operations	2025-03-15 13:50:56 +01:00
Balazs Komuves	87316bb87b	update messages.proto to reflect upstream improvement	2025-03-15 13:48:54 +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	dcdfa24ca4	put the haskell code under a subdirectory	2025-03-14 12:06:32 +01:00
Balazs Komuves	9a698aac30	add Nim parser	2025-03-14 12:06:13 +01:00
Balazs Komuves	53582a45e4	add the protobuf files from the iden3 repo for reference	2025-03-13 17:56:06 +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
Balazs Komuves	0fc22c2a27	initial commit	2025-03-13 17:55:37 +01:00