7 Commits

Author	SHA1	Message	Date
Balazs Komuves	795227d314	add the option to the workflow script to use the Nim prover	2024-05-17 18:38:47 +02:00
Balazs Komuves	1c120d3e0d	refactor the circuit (separate codex-specific and more generic templates)	2024-03-12 11:48:13 +01:00
Balazs Komuves	c03b43221d	solve the nodejs heap allocation issue (appears around 100 samples)	2023-12-18 14:31:13 +01:00
Balazs Komuves	93608690cc	minor updates	2023-12-15 22:12:37 +01:00
Balazs Komuves	23dbd41be2	more typos	2023-12-15 19:26:08 +01:00
Balazs Komuves	cb144df60a	fix some typos	2023-12-15 17:49:11 +01:00
Balazs Komuves	8b6e8a1402	full proof workflow description and scripts	2023-12-15 17:38:07 +01:00