15 Commits

Author	SHA1	Message	Date
Piotr Mikołajczyk	e757615571	Insights into input trans	2024-10-15 14:50:22 +02:00
Piotr Mikołajczyk	550d75550e	Include input transformation in a proving step	2024-10-15 14:41:57 +02:00
Piotr Mikołajczyk	2c065a8bd0	Fix NM asymetry	2024-10-15 13:34:46 +02:00
Piotr Mikołajczyk	e12c36f587	Use spans	2024-10-15 13:18:04 +02:00
Piotr Mikołajczyk	7cf536d1ad	Improve logging	2024-10-15 10:43:56 +02:00
Piotr Mikołajczyk	58beac6257	Add logging	2024-10-15 10:20:04 +02:00
Piotr Mikołajczyk	93041985cf	Woohoo - multifolding works!	2024-10-14 18:11:32 +02:00
Piotr Mikołajczyk	23b0dc36ec	Multifolding transformation	2024-10-02 13:03:07 +02:00
Piotr Mikołajczyk	82b20639be	Common inputs	2024-10-02 11:07:24 +02:00
Piotr Mikołajczyk	aeb9919e01	With verification	2024-09-27 13:55:08 +02:00
Piotr Mikołajczyk	58d3c09b96	Prepare for Hypernova	2024-09-27 13:49:56 +02:00
Piotr Mikołajczyk	aabb35a2c8	Small refactor	2024-09-27 11:48:57 +02:00
Piotr Mikołajczyk	e892857a04	folding verification	2024-09-27 10:54:09 +02:00
Piotr Mikołajczyk	ffe3b2e98d	Nova folding	2024-09-27 10:30:05 +02:00
Piotr Mikołajczyk	72724432a9	Rust project structure	2024-09-26 17:09:34 +02:00