schaeff 46685b1076 add compressed proof verification, upgrade nova to latest		2023-04-21 23:20:39 +02:00
..
10_cubes.rs	add compressed proof verification, upgrade nova to latest	2023-04-21 23:20:39 +02:00