11 Commits

Author	SHA1	Message	Date
Balazs Komuves	257e2e20f0	preparation for multiple versions of the dynamic prover	2026-06-16 12:29:54 +02:00
Balazs Komuves	e532d67046	exporting R1CS files (for row reordering purposes)	2026-06-16 02:38:18 +02:00
Balazs Komuves	f3f8a0a82b	first working (if not very efficient :) version of dynark-style dynamic proofs	2026-06-15 22:40:00 +02:00
Balazs Komuves	67d0126cf4	row permutations (so that the final witness delta's image can be in a subgroup)	2026-06-15 19:25:45 +02:00
Balazs Komuves	c189df8a15	more WIP dynark stuff; the cross-term coefficients seem to work	2026-06-15 01:00:13 +02:00
Balazs Komuves	4a9fd030bd	some refactor, useful additions, tests; as a preparation for dynamic proofs	2026-06-13 23:20:28 +02:00
munna0908	7d5826e9c0	fix tests	2026-05-05 19:27:17 +05:30
munna0908	afd479e822	use SharedBuf to facilitate safe cross-GC boundary task spawning	2026-05-03 20:38:07 +05:30
Balazs Komuves	fd2fc6c153	remove some legacy code lines left over by accident	2026-01-16 14:13:02 +01:00
Balazs Komuves	73b5ae2734	another convenience function ... (man, nim namespacing and scoping fucking sucks...)	2026-01-16 12:08:25 +01:00
Balazs Komuves	3ddf4948f9	initial support for "partial proofs" (precalculating based on a partial witness)	2026-01-15 22:41:56 +01:00