15 Commits

Author	SHA1	Message	Date
Balazs Komuves	1f35ef18d2	optimize the preprocessing by using the subgroup structure for the second IFFT-s in the convolution	2026-06-19 01:19:51 +02:00
Balazs Komuves	ed363001e4	V3, using a subgroup for the update. Unfortunately 1 more MSM than i expected...	2026-06-18 18:45:51 +02:00
Balazs Komuves	e532d67046	exporting R1CS files (for row reordering purposes)	2026-06-16 02:38:18 +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	159f8b78c4	some sparse matrix stuff	2026-06-15 14:13:56 +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
Balazs Komuves	eff53fa4eb	convert some of the hack-ish "sanity checks" into regular tests	2026-06-13 15:48:35 +02:00
Balazs Komuves	e6e0ba01b2	move the group_fft module to be more consistent	2026-06-13 14:22:36 +02:00
Balazs Komuves	1116e2791a	improve NTT and add tests	2026-06-13 13:03:06 +02:00
Balazs Komuves	5003f16e49	fix a typo in polySub	2026-04-23 15:52:42 +02:00
Mark Spanbroek	0f2a84ec33	refactor: replace Fp etc shortcuts by full generic type ... reason: compile error deep in constantine, because it will try to determine the field, which it can't when we abbreviate it Co-Authored-By: Dmitriy Ryajov <dryajov@gmail.com>	2025-07-02 14:50:27 +02:00
Mark Spanbroek	e2e1c6b88f	chore: update imports for constantine 0.2.0 ... Co-Authored-By: Dmitriy Ryajov <dryajov@gmail.com>	2025-07-02 14:41:04 +02:00
Balazs Komuves	cfd30a045e	optimized the NTT routines	2024-02-29 20:13:50 +01:00
Balazs Komuves	26f708f908	make it a nimble package	2023-11-17 09:49:35 +01:00