137 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
M Alghazwi	659d0bd145	fix typo	2025-06-23 15:46:40 +02:00
M Alghazwi	26a0a6b675	improve circuit input generation and refactor	2025-06-23 15:43:26 +02:00
M Alghazwi	d29c19b221	update .gitignore	2025-06-23 15:42:04 +02:00
M Alghazwi	85651c0a23	improve and add documentation	2025-06-23 15:41:48 +02:00
M Alghazwi	717c9ee4d7	update README.md	2025-06-23 09:14:38 +02:00
M Alghazwi	06ae6ffd30	remove old experiments	2025-06-20 18:33:29 +02:00
M Alghazwi	a4b4089fc3	update Cargo.toml	2025-06-17 13:05:40 +02:00
M Alghazwi	35ee544e68	improve workflow bash script, and update readme	2025-06-17 12:43:53 +02:00
M Alghazwi	3c3de2b26d	improve cli bash script, and update readme	2025-06-17 12:32:54 +02:00
M Alghazwi	7948d6538d	add wrap test	2025-06-17 12:32:13 +02:00
M Alghazwi	c9224bf48f	add serialization to circuit data.	2025-06-17 12:29:20 +02:00
M Alghazwi	ccbf63447b	add getter for compression vd	2025-06-17 12:25:52 +02:00
M Alghazwi	ea8ad2f824	update gnark dependency	2025-06-04 11:49:29 +02:00
M Alghazwi	a56030d9ac	add gnark-plonky2-verifier cli	2025-06-02 12:31:07 +02:00
M Alghazwi	ab1da40461	add bn254 wrapper	2025-05-22 14:10:16 +02:00
M Alghazwi	507c91c06c	fix N in aggregation script	2025-05-22 14:08:56 +02:00
M Alghazwi	39957e98b2	Merge pull request #1 from codex-storage/tracking-proofs ... Tracking proofs	2025-05-22 13:37:33 +02:00
M Alghazwi	8ba97aa95b	refactor aggregation script	2025-05-22 13:34:50 +02:00
M Alghazwi	9168425bc7	refactor tests	2025-05-22 13:34:27 +02:00
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	bda28a874a	rename tree test	2025-05-21 10:08:17 +02:00
M Alghazwi	ca069105d1	refactor aggregate bin	2025-05-21 10:07:52 +02:00
M Alghazwi	c150525f15	fix compression and refactor	2025-05-21 10:06:35 +02:00
M Alghazwi	644c369aed	add proof tracking tests	2025-04-24 20:56:35 +02:00
M Alghazwi	1808143987	implement proof tracking and refactor	2025-04-24 20:54:59 +02:00
M Alghazwi	c4c0d4f445	fix readme layout.	2025-04-10 12:42:11 +02:00
M Alghazwi	905c0acd6b	update readme.	2025-04-10 12:41:32 +02:00
M Alghazwi	bfed76e46f	improve recursion bench.	2025-04-10 10:55:57 +02:00
M Alghazwi	47f831c727	fix and improve the proof generation and serialization.	2025-04-10 10:55:36 +02:00
M Alghazwi	5e7d210322	fix and improve the workflow scripts and bench.	2025-04-10 10:54:56 +02:00
M Alghazwi	950cd6bd0d	add verify script.	2025-04-09 16:34:37 +02:00
M Alghazwi	17c8cfe746	refactor with the improved serialization.	2025-04-09 16:34:15 +02:00
M Alghazwi	937610d8c4	improve serialization or circuit data, targets, and proofs.	2025-04-09 16:33:48 +02:00
M Alghazwi	6a119c3d4c	add serialization to circuit targets.	2025-04-09 16:32:40 +02:00
M Alghazwi	b2bb9ebf52	clean up to avoid rust warnings.	2025-04-08 12:39:38 +02:00
M Alghazwi	1daf2dc0ea	clean up, and refactor to use the circuit helper.	2025-04-08 12:02: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	65508f3da9	clean up tests and bench	2025-04-03 11:15:09 +02:00
M Alghazwi	f49d5c5218	clean up code - remove unnecessary imports	2025-04-03 10:43:21 +02:00
M Alghazwi	9ce15d8e00	update plonky2 and fix serialization.	2025-04-03 10:14:45 +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	0a5bb1b52e	Add benchmark scripts and refactor.	2025-03-10 14:49:13 +01:00
M Alghazwi	30b7a6ae03	add goldibear experiments	2025-02-07 11:25:50 +01:00
M Alghazwi	8bc9e71fdc	default-features	2025-02-07 11:00: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