28 Commits

Author	SHA1	Message	Date
M Alghazwi	d89753a802	fix pi_verifier	2025-05-22 13:33:27 +02:00
M Alghazwi	5b7efc0e0c	remove N from leaf. only N-to-1 is supported at node level	2025-05-22 13:31:45 +02:00
M Alghazwi	07bc66bac4	remove todo	2025-05-22 13:28:50 +02:00
M Alghazwi	c150525f15	fix compression and refactor	2025-05-21 10:06:35 +02:00
M Alghazwi	1808143987	implement proof tracking and refactor	2025-04-24 20:54:59 +02:00
M Alghazwi	76374f084b	use the circuit helper, clean up, and small refactoring.	2025-04-08 12:02:22 +02:00
M Alghazwi	c4eefceba8	add generic circuit helper and refactor.	2025-04-03 14:27:54 +02:00
M Alghazwi	aa13ff3253	change hashing of VerifierData to constants.	2025-03-20 10:45:03 +01:00
M Alghazwi	190c6063f5	impl compression and public input verification circuits.	2025-03-10 14:53:59 +01:00
M Alghazwi	db4653a2a4	archive recursion experiments and refactor	2025-02-07 11:00:29 +01:00
M Alghazwi	db9bc823e2	add support N-to-1 leaf and node aggregation	2025-02-07 10:27:04 +01:00
M Alghazwi	5acbcf1f06	add hashing for verifierData	2025-01-31 12:18:14 +01:00
M Alghazwi	9a57b660f2	impl uniform recursion circuits	2025-01-30 13:46:37 +01:00
M Alghazwi	46c947828f	add support for any generic hash function	2025-01-30 10:28:33 +01:00
M Alghazwi	00ee710354	add hybrid recursion	2025-01-17 10:05:04 +01:00
M Alghazwi	eaf7e65c3d	optimize hash selection	2025-01-15 21:59:17 +01:00
M Alghazwi	c8a8ec0f5e	refactor aggregation circuits and add error handling	2025-01-14 10:54:43 +01:00
M Alghazwi	d63a309e02	remove the hardcoded circuit params and refactor	2025-01-10 12:32:45 +01:00
M Alghazwi	a2113ac44b	add error handling and refactor	2025-01-10 11:29:03 +01:00
M Alghazwi	563ba77a8c	add prove_tree fn	2025-01-09 10:36:38 +01:00
M Alghazwi	7d44d8b15c	add comments	2025-01-09 10:36:05 +01:00
M Alghazwi	5d2237cea8	clean up params	2025-01-09 10:35:25 +01:00
M Alghazwi	1a46bd085d	add tree recursion approach2	2025-01-09 10:35:10 +01:00
M Alghazwi	3f2d8cc88c	common data fn for inner-circuit	2025-01-09 10:34:13 +01:00
M Alghazwi	b69b682df2	re-organize simple recursion	2025-01-09 10:32:14 +01:00
M Alghazwi	e61a17800d	add leaf circuit	2025-01-09 10:30:39 +01:00
M Alghazwi	e5985184df	add cyclic and tree recursion and refactor	2024-12-13 16:36:26 +03:00
M Alghazwi	64bc34b218	add simple tree recursion	2024-12-06 09:23:32 +01:00