57 Commits

Author	SHA1	Message	Date
M Alghazwi	9e9c2f3462	add monolith merkle tests	2025-07-08 13:38:11 +02:00
M Alghazwi	ef058ac6f0	switch H to Hasher	2025-07-08 13:37:58 +02:00
M Alghazwi	91213b3d44	add sponge tests for Monolith	2025-07-08 11:41:52 +02:00
M Alghazwi	d8b585b1b3	add key compress tests for Monolith	2025-07-08 11:04:58 +02:00
M Alghazwi	5e36fdff51	import monolith	2025-07-08 11:04:41 +02:00
M Alghazwi	4188fe282a	update proof-input README.md	2025-07-03 13:43:50 +02:00
M Alghazwi	3fa0f25873	rename circuit_trait	2025-07-03 10:33:29 +02:00
M Alghazwi	8d46b2e381	add tree circuit tests	2025-07-03 10:30:04 +02:00
M Alghazwi	ff03ebb880	add sponge tests	2025-07-03 10:29:56 +02:00
M Alghazwi	bea3d8c825	add serialization tests	2025-07-03 10:29:50 +02:00
M Alghazwi	da89f7e7cb	add sampling tests	2025-07-03 10:29:40 +02:00
M Alghazwi	f39c3717c6	add merkle_tree tests	2025-07-03 10:29:34 +02:00
M Alghazwi	d8a8275bc1	add key_compress tests	2025-07-03 10:29:24 +02:00
M Alghazwi	08c8c7fea8	organize and refactor proof-input	2025-07-03 10:20:38 +02:00
M Alghazwi	26a0a6b675	improve circuit input generation and refactor	2025-06-23 15:43:26 +02:00
M Alghazwi	7948d6538d	add wrap test	2025-06-17 12:32:13 +02:00
M Alghazwi	9168425bc7	refactor tests	2025-05-22 13:34:27 +02:00
M Alghazwi	bda28a874a	rename tree test	2025-05-21 10:08:17 +02:00
M Alghazwi	644c369aed	add proof tracking tests	2025-04-24 20:56:35 +02:00
M Alghazwi	905c0acd6b	update readme.	2025-04-10 12:41:32 +02:00
M Alghazwi	47f831c727	fix and improve the proof generation and serialization.	2025-04-10 10:55:36 +02:00
M Alghazwi	937610d8c4	improve serialization or circuit data, targets, and proofs.	2025-04-09 16:33:48 +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	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	798d53ba12	add uniform recursion tests	2025-01-30 13:47:26 +01:00
M Alghazwi	e83d4eb869	refactor tests	2025-01-30 10:29:48 +01:00
M Alghazwi	1f85bd8d5f	add hybrid tests and refactor	2025-01-17 10:06:09 +01:00
M Alghazwi	6641199f78	update readme	2025-01-17 10:05:39 +01:00
M Alghazwi	af1c337555	fix and refactor benches	2025-01-14 23:03:00 +01:00
M Alghazwi	209eda8240	refactor tests to follow changes in circuit impl	2025-01-14 11:13:51 +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	72cc4699f3	refactor and improve code readability	2025-01-10 11:30:04 +01:00
M Alghazwi	a2113ac44b	add error handling and refactor	2025-01-10 11:29:03 +01:00
M Alghazwi	c717ab2770	add tree recursion approach2	2024-12-30 11:40:13 +03:00
M Alghazwi	9a8e0000ee	add recursion tests and refactor	2024-12-13 16:38:05 +03:00
M Alghazwi	9b7a551543	update plonky2_maybe_rayon to ver 1.0.0	2024-12-06 20:41:48 +01:00
M Alghazwi	afe7d7dac6	clean up circ data	2024-12-06 20:37:49 +01: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	d8cf1e0af5	test proof serialization	2024-11-26 11:35:47 +01:00
M Alghazwi	3a1d87d450	change entropy to hashout	2024-11-26 11:04:22 +01:00
M Alghazwi	f139d70a5f	add circuit data serialization	2024-11-26 09:53:47 +01:00
M Alghazwi	0a5bc23bd6	add non-circuit ceiling_log2	2024-11-14 12:46:18 +01:00