4 Commits

Author SHA1 Message Date
Balazs Komuves
180e00434c
add witness computation graph extraction to the workflow 2025-03-14 17:52:38 +01:00
Balazs Komuves
ad503d4e10
update the workflow scripts and benchmarks 2024-11-15 16:30:35 +01:00
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
8b6e8a1402
full proof workflow description and scripts 2023-12-15 17:38:07 +01:00