15 Commits

Author	SHA1	Message	Date
Balazs Komuves	ae3c9827d3	speed up NTT by another almost 10% by using optimized short DFT routines	2025-11-05 17:25:19 +01:00
Balazs Komuves	2adca16e10	improve inverse NTT speed by 10% by doing the rescaling only at the end (instead of at every step)	2025-11-05 17:13:18 +01:00
Balazs Komuves	0edb80b6b6	create a "bundle" from all the C files (better inlining opportunities for the C compiler); also add a simple benchmark for the C FFT implementation	2025-11-05 17:06:24 +01:00
Balazs Komuves	0eb39eb5c9	specialized algorithms for short NTT/INTT (size 4, 8, 16)	2025-11-04 22:40:33 +01:00
Balazs Komuves	bd888d5b57	fixed the (trivial) C NTT bug, and started a refactor towards a unified type-class based interface	2025-11-04 22:17:29 +01:00
Balazs Komuves	a9cb0a96a6	preliminary C implementation of NTT	2025-11-04 10:58:02 +01:00
Balazs Komuves	39be48f67d	flat data and flat arrays	2025-10-21 13:14:39 +02:00
Balazs Komuves	4d65a0b042	add quadratic field extension C implementation (will be useful for vector operations?)	2025-10-21 13:14:07 +02:00
Balazs Komuves	b2d8b577f7	remove .o object files	2025-10-15 13:34:11 +02:00
Balazs Komuves	41b2f60357	incorporate C monolith hash implementation (TODO: fast hashing of flat arrays of field elements)	2025-10-14 20:21:19 +02:00
Balazs Komuves	58756dd824	fast C implementation for Goldilocks field + tests for field implementations	2025-10-14 18:09:30 +02:00
Balazs Komuves	bf75c153b2	minor readability improvements	2025-10-13 09:47:30 +02:00
Balazs Komuves	b9d47b3815	implement the FRI verifier algorithm (not extensively tested)	2025-10-12 22:40:18 +02:00
Balazs Komuves	64753a1fc7	add FRI proof serialization	2025-10-09 16:46:07 +02:00
Balazs Komuves	6a494ff787	initial import	2025-10-06 00:57:05 +02:00