8 Commits

Author	SHA1	Message	Date
Álex	104acb8f47	fix(build): Fix symbol resolution conflicts between circuits (#22)	2026-05-19 14:48:58 +02:00
Álex	64ec496067	feat: Circuits as libraries (#16)	2026-05-14 15:03:27 +02:00
David Rusu	b79e0ff754	rename arm64 to aarch64	2026-01-21 15:45:54 +04:00
David Rusu	7ebee1bf89	use arm64 runner to generate native builds	2026-01-21 14:30:15 +04:00
David Rusu	df27d2781a	another attempt at GMP fixes	2026-01-21 13:56:55 +04:00
David Rusu	b5caecaadc	fix GMP compilation problems for RPI	2026-01-21 13:41:02 +04:00
David Rusu	3973af3e63	add linux_aarch64 builds for RPI	2026-01-21 13:11:32 +04:00
Alejandro Cabeza Romero	37570240e6	Migrate circuits from nomos-pocs.	2025-10-02 17:55:20 +02:00