52 Commits

Author	SHA1	Message	Date
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	7b2c084339	add hash as type to circuit so we don't hardcode it.	2025-01-10 11:56:06 +01:00
M Alghazwi	a2113ac44b	add error handling and refactor	2025-01-10 11:29:03 +01:00
M Alghazwi	59e054554c	clean up and improve with comments	2025-01-09 10:37:54 +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	b280a5252c	add select hash helper fn	2024-12-13 16:37:26 +03:00
M Alghazwi	e5985184df	add cyclic and tree recursion and refactor	2024-12-13 16:36:26 +03:00
M Alghazwi	cf75968473	add circuit with pub input	2024-12-13 16:33:53 +03:00
M Alghazwi	64bc34b218	add simple tree recursion	2024-12-06 09:23:32 +01:00
M Alghazwi	18560d13df	update to plonky2 1.0.0	2024-11-28 10:20:01 +01:00
M Alghazwi	e8ec09dd58	seperate public input	2024-11-26 12:10:17 +01:00
M Alghazwi	3a1d87d450	change entropy to hashout	2024-11-26 11:04:22 +01:00
M Alghazwi	31d8cb1447	fix benchmarks	2024-11-14 12:26:37 +01:00
M Alghazwi	01f13df605	add ceiling_log2 and refactor	2024-11-12 13:06:28 +01:00
M Alghazwi	2b2aaab749	add no-padding hash and refactor	2024-11-12 12:03:56 +01:00
M Alghazwi	67ff54c3f6	add json support, proof-input, and refactor	2024-11-08 12:22:36 +01:00
M Alghazwi	cc14498c71	move proof-input and refactor	2024-11-07 09:32:29 +01:00
M Alghazwi	7a24f7d081	add testing params	2024-11-05 13:19:00 +01:00
M Alghazwi	645b30fa96	major refactor	2024-11-05 12:57:49 +01:00
M Alghazwi	4c3f2043ee	add bit mask	2024-11-03 11:50:46 +01:00
M Alghazwi	4d723f8c7f	add key_compress and refactor	2024-11-03 11:48:35 +01:00
M Alghazwi	c725043c4d	remove phantom date and refactor	2024-11-03 11:45:20 +01:00
M Alghazwi	cba274b64b	fix ctr	2024-11-03 11:43:07 +01:00
M Alghazwi	e65586241f	move last_bits out of loop	2024-11-03 11:41:21 +01:00
M Alghazwi	911dc38f30	change entropy to digest	2024-11-03 11:39:59 +01:00
M Alghazwi	76ed312e2c	add entropy to cell sampling	2024-10-22 13:56:39 +02:00
M Alghazwi	3c5a130a70	add dataset level proof	2024-10-21 13:31:54 +02:00
M Alghazwi	e986e8ffb9	refactor for testing	2024-10-18 12:34:31 +02:00
M Alghazwi	3b80809fb4	add sample_cells bench	2024-10-18 12:01:01 +02:00
M Alghazwi	494cb8a248	refactor dataset sampling	2024-10-18 10:09:41 +02:00
M Alghazwi	9eefa78c24	refactor circuits	2024-10-17 21:38:14 +02:00
M Alghazwi	5a13ac3650	refactor utils and params	2024-10-17 09:12:27 +02:00
M Alghazwi	b1c13a9bc1	add test	2024-10-16 11:31:43 +02:00
M Alghazwi	cadac4bb64	add sample_cells	2024-10-16 11:21:33 +02:00
M Alghazwi	19789fd112	add proving cells circuit and clean up	2024-10-15 14:03:46 +02:00
M Alghazwi	79904f9251	add safe circuit	2024-10-10 13:33:05 +02:00