schaeff
|
46685b1076
|
add compressed proof verification, upgrade nova to latest
|
2023-04-21 23:20:39 +02:00 |
|
schaeff
|
8015912eab
|
allow continuing an incremental computation, implement final proof compression
|
2023-04-21 21:09:07 +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
|
eef763321a
|
add to book
|
2023-02-14 15:20:25 +01:00 |
|
schaeff
|
fa0ec1150f
|
implement nova for any (public T, U) -> T
|
2023-02-14 14:51:36 +01:00 |
|
schaeff
|
e57211a983
|
wip
|
2023-02-09 16:02:43 +01:00 |
|
schaeff
|
81b7bd9b27
|
upgrade nova, fix conflicts
|
2023-02-06 14:29:05 +01:00 |
|
schaeff
|
111bd73adf
|
fix test, reset cache
|
2022-10-04 20:03:22 +02:00 |
|
schaeff
|
378bc14ac5
|
remove bellperson from default as it does not compile to wasm
|
2022-10-04 16:46:57 +02: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 |
|
schaeff
|
11452adc33
|
implement nova example
|
2022-09-30 00:16:03 +02:00 |
|