160 Commits

Author SHA1 Message Date
M Alghazwi
5e36fdff51
import monolith 2025-07-08 11:04:41 +02:00
M Alghazwi
b7d831bdd8
fix fn signature 2025-07-07 22:33:04 +02:00
M Alghazwi
ab3fe856e2
update monolith dependencies 2025-07-07 22:01:56 +02:00
M Alghazwi
794d1b1361
add workspace member 2025-07-07 21:57:14 +02:00
M Alghazwi
3d6b65a54b
add monolith hash 2025-07-07 21:56:39 +02:00
M Alghazwi
5f438ed86a
update circuits README.md 2025-07-03 13:51:35 +02:00
M Alghazwi
4188fe282a
update proof-input README.md 2025-07-03 13:43:50 +02:00
M Alghazwi
7bf138a31b
update workflow README.md 2025-07-03 13:36:11 +02:00
M Alghazwi
5520a52f8c
fix imports 2025-07-03 10:37:44 +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
74d0467480
refactor utils 2025-07-03 10:28:44 +02:00
M Alghazwi
dabca56c51
remove tests 2025-07-03 10:28:25 +02:00
M Alghazwi
44cf8ad361
remove redundant mask_bits 2025-07-03 10:28:07 +02:00
M Alghazwi
5044ae115e
remove tests 2025-07-03 10:26:41 +02:00
M Alghazwi
08c8c7fea8
organize and refactor proof-input 2025-07-03 10:20:38 +02:00
M Alghazwi
bb2f44a914
add gen_dummy_common_data 2025-07-03 09:25:14 +02:00
M Alghazwi
fa0bc48855
fix comment 2025-07-03 09:23:53 +02:00
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