48 Commits

Author SHA1 Message Date
M Alghazwi
1723b182c7
remove todo. 2025-07-09 18:15:15 +02:00
M Alghazwi
3fa0f25873
rename circuit_trait 2025-07-03 10:33:29 +02:00
M Alghazwi
74d0467480
refactor utils 2025-07-03 10:28:44 +02:00
M Alghazwi
44cf8ad361
remove redundant mask_bits 2025-07-03 10:28:07 +02:00
M Alghazwi
fa0bc48855
fix comment 2025-07-03 09:23:53 +02:00
M Alghazwi
85651c0a23
improve and add documentation 2025-06-23 15:41:48 +02:00
M Alghazwi
c9224bf48f
add serialization to circuit data. 2025-06-17 12:29:20 +02:00
M Alghazwi
6a119c3d4c
add serialization to circuit targets. 2025-04-09 16:32:40 +02:00
M Alghazwi
c4eefceba8
add generic circuit helper and refactor. 2025-04-03 14:27:54 +02:00
M Alghazwi
190c6063f5
impl compression and public input verification circuits. 2025-03-10 14:53:59 +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
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
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
M Alghazwi
e326630e7b add safe MT 2024-10-08 14:21:12 +02:00
M Alghazwi
8c1489b273 init 2024-10-07 10:36:11 +02:00