34 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
44cf8ad361
remove redundant mask_bits 2025-07-03 10:28:07 +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
c8a8ec0f5e
refactor aggregation circuits and add error handling 2025-01-14 10:54:43 +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
cf75968473
add circuit with pub input 2024-12-13 16:33:53 +03: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
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