7d5b1e3
(HEAD -> main)
upgrade to latest Sonobe version by
2024-12-26 10:54:24 +0100
a119b54
Raport by
2024-10-15 23:02:03 +0200
9865095
Do what I can with 720 inputs by
2024-10-15 16:48:30 +0200
bb00087
Plot M vs N by
2024-10-15 15:21:52 +0200
f592c45
Improve reporting by
2024-10-15 15:01:01 +0200
e757615
Insights into input trans by
2024-10-15 14:50:22 +0200
550d755
Include input transformation in a proving step by
2024-10-15 14:41:57 +0200
2c065a8
Fix NM asymetry by
2024-10-15 13:34:46 +0200
a22f754
Analyse logs by
2024-10-15 13:18:15 +0200
e12c36f
Use spans by
2024-10-15 13:18:04 +0200
7cf536d
Improve logging by
2024-10-15 10:43:56 +0200
58beac6
Add logging by
2024-10-15 10:20:04 +0200
9304198
Woohoo - multifolding works! by
2024-10-14 18:11:32 +0200
29de063
Current state by
2024-10-02 13:07:47 +0200
6a1e58e
Simplify circuit by
2024-10-02 13:03:19 +0200
23b0dc3
Multifolding transformation by
2024-10-02 13:03:07 +0200
82b2063
Common inputs by
2024-10-02 11:07:24 +0200
aeb9919
With verification by
2024-09-27 13:55:08 +0200
58d3c09
Prepare for Hypernova by
2024-09-27 13:49:56 +0200
aabb35a
Small refactor by
2024-09-27 11:48:57 +0200
e892857
folding verification by
2024-09-27 10:54:09 +0200
ffe3b2e
Nova folding by
2024-09-27 10:30:05 +0200
0506675
gitignore by
2024-09-26 17:19:12 +0200
ce134a2
Makefile by
2024-09-26 17:17:42 +0200
4bb2ea0
Bring grayscale circuit from vimz by
2024-09-26 17:12:44 +0200
7272443
Rust project structure by
2024-09-26 17:09:34 +0200
8b85ab8
Initial commit by
2024-09-26 16:08:40 +0200