5 commits

Author	SHA1	Message	Date
schaeff	46685b1076	add compressed proof verification, upgrade nova to latest	2023-04-21 23:20:39 +02:00
dark64	8de32bd5e4	refactor	2023-04-21 02:59:16 +02:00
schaeff	fa2a8ad3b6	add bellperson	2023-02-21 10:25:28 +01:00
schaeff	bcade1a76c	fix issues	2022-10-04 15:12:18 +02:00
schaeff	24f8b1ceb9	implement cli command for toy nova computation in absence of serialization	2022-10-04 13:38:34 +02:00