Commit Graph

  • 02850e63c3
    include monolith in README.md master M Alghazwi 2025-07-10 12:44:26 +02:00
  • 077616c731
    update README.md M Alghazwi 2025-07-10 12:30:18 +02:00
  • aa9740a98d
    move test types and refactor. M Alghazwi 2025-07-10 12:26:04 +02:00
  • 9c703dcf2a
    add config to fn params. M Alghazwi 2025-07-10 12:14:37 +02:00
  • 623bc65dba
    improve circuit description. M Alghazwi 2025-07-10 12:13:49 +02:00
  • 0c40b2e338
    add more proof tracking tests. M Alghazwi 2025-07-10 09:41:01 +02:00
  • 29a1a2fbb1
    add utils description. M Alghazwi 2025-07-09 18:15:50 +02:00
  • 1723b182c7
    remove todo. M Alghazwi 2025-07-09 18:15:15 +02:00
  • 013c2bac81
    add leaf circuit description. M Alghazwi 2025-07-09 18:15:03 +02:00
  • 0b7561d814
    add monolith serialization tests M Alghazwi 2025-07-09 10:06:03 +02:00
  • fb668429ec
    add import_circuit_data function M Alghazwi 2025-07-09 10:05:42 +02:00
  • 29a0b1cb3d
    add monolith sampling tests M Alghazwi 2025-07-08 18:57:27 +02:00
  • 27e081d7df
    remove H and C types M Alghazwi 2025-07-08 18:56:12 +02:00
  • 21989b89fe
    add generic Hasher M Alghazwi 2025-07-08 18:55:47 +02:00
  • 517f2d6ea4
    switch H to Hasher M Alghazwi 2025-07-08 18:55:27 +02:00
  • 9e9c2f3462
    add monolith merkle tests M Alghazwi 2025-07-08 13:38:11 +02:00
  • ef058ac6f0
    switch H to Hasher M Alghazwi 2025-07-08 13:37:58 +02:00
  • 91213b3d44
    add sponge tests for Monolith M Alghazwi 2025-07-08 11:41:52 +02:00
  • d8b585b1b3
    add key compress tests for Monolith M Alghazwi 2025-07-08 11:04:58 +02:00
  • 5e36fdff51
    import monolith M Alghazwi 2025-07-08 11:04:41 +02:00
  • b7d831bdd8
    fix fn signature M Alghazwi 2025-07-07 22:33:04 +02:00
  • ab3fe856e2
    update monolith dependencies M Alghazwi 2025-07-07 22:01:56 +02:00
  • 794d1b1361
    add workspace member M Alghazwi 2025-07-07 21:57:14 +02:00
  • 3d6b65a54b
    add monolith hash M Alghazwi 2025-07-07 21:56:39 +02:00
  • 5f438ed86a
    update circuits README.md M Alghazwi 2025-07-03 13:51:35 +02:00
  • 4188fe282a
    update proof-input README.md M Alghazwi 2025-07-03 13:43:50 +02:00
  • 7bf138a31b
    update workflow README.md M Alghazwi 2025-07-03 13:36:11 +02:00
  • 5520a52f8c
    fix imports M Alghazwi 2025-07-03 10:37:44 +02:00
  • 3fa0f25873
    rename circuit_trait M Alghazwi 2025-07-03 10:33:29 +02:00
  • 8d46b2e381
    add tree circuit tests M Alghazwi 2025-07-03 10:30:04 +02:00
  • ff03ebb880
    add sponge tests M Alghazwi 2025-07-03 10:29:56 +02:00
  • bea3d8c825
    add serialization tests M Alghazwi 2025-07-03 10:29:50 +02:00
  • da89f7e7cb
    add sampling tests M Alghazwi 2025-07-03 10:29:40 +02:00
  • f39c3717c6
    add merkle_tree tests M Alghazwi 2025-07-03 10:29:34 +02:00
  • d8a8275bc1
    add key_compress tests M Alghazwi 2025-07-03 10:29:24 +02:00
  • 74d0467480
    refactor utils M Alghazwi 2025-07-03 10:28:44 +02:00
  • dabca56c51
    remove tests M Alghazwi 2025-07-03 10:28:25 +02:00
  • 44cf8ad361
    remove redundant mask_bits M Alghazwi 2025-07-03 10:28:07 +02:00
  • 5044ae115e
    remove tests M Alghazwi 2025-07-03 10:26:41 +02:00
  • 08c8c7fea8
    organize and refactor proof-input M Alghazwi 2025-07-03 10:20:38 +02:00
  • bb2f44a914
    add gen_dummy_common_data M Alghazwi 2025-07-03 09:25:14 +02:00
  • fa0bc48855
    fix comment M Alghazwi 2025-07-03 09:23:53 +02:00
  • 659d0bd145
    fix typo M Alghazwi 2025-06-23 15:46:40 +02:00
  • 26a0a6b675
    improve circuit input generation and refactor M Alghazwi 2025-06-23 15:43:26 +02:00
  • d29c19b221
    update .gitignore M Alghazwi 2025-06-23 15:42:04 +02:00
  • 85651c0a23
    improve and add documentation M Alghazwi 2025-06-23 15:41:48 +02:00
  • 717c9ee4d7
    update README.md M Alghazwi 2025-06-23 09:14:38 +02:00
  • 06ae6ffd30
    remove old experiments M Alghazwi 2025-06-20 18:33:29 +02:00
  • a4b4089fc3
    update Cargo.toml M Alghazwi 2025-06-17 13:05:40 +02:00
  • 35ee544e68
    improve workflow bash script, and update readme M Alghazwi 2025-06-17 12:43:53 +02:00
  • 3c3de2b26d
    improve cli bash script, and update readme M Alghazwi 2025-06-17 12:32:54 +02:00
  • 7948d6538d
    add wrap test M Alghazwi 2025-06-17 12:32:13 +02:00
  • c9224bf48f
    add serialization to circuit data. M Alghazwi 2025-06-17 12:29:20 +02:00
  • ccbf63447b
    add getter for compression vd M Alghazwi 2025-06-17 12:25:52 +02:00
  • ea8ad2f824
    update gnark dependency M Alghazwi 2025-06-04 11:49:29 +02:00
  • a56030d9ac
    add gnark-plonky2-verifier cli M Alghazwi 2025-06-02 12:31:07 +02:00
  • ab1da40461
    add bn254 wrapper M Alghazwi 2025-05-22 14:10:16 +02:00
  • 507c91c06c
    fix N in aggregation script M Alghazwi 2025-05-22 14:08:56 +02:00
  • 39957e98b2
    Merge pull request #1 from codex-storage/tracking-proofs M Alghazwi 2025-05-22 13:37:33 +02:00
  • 8ba97aa95b
    refactor aggregation script tracking-proofs M Alghazwi 2025-05-22 13:34:50 +02:00
  • 9168425bc7
    refactor tests M Alghazwi 2025-05-22 13:34:27 +02:00
  • d89753a802
    fix pi_verifier M Alghazwi 2025-05-22 13:33:27 +02:00
  • 5b7efc0e0c
    remove N from leaf. only N-to-1 is supported at node level M Alghazwi 2025-05-22 13:31:45 +02:00
  • 07bc66bac4
    remove todo M Alghazwi 2025-05-22 13:28:50 +02:00
  • bda28a874a
    rename tree test M Alghazwi 2025-05-21 10:08:17 +02:00
  • ca069105d1
    refactor aggregate bin M Alghazwi 2025-05-21 10:07:52 +02:00
  • c150525f15
    fix compression and refactor M Alghazwi 2025-05-21 10:06:35 +02:00
  • 644c369aed
    add proof tracking tests M Alghazwi 2025-04-24 20:56:35 +02:00
  • 1808143987
    implement proof tracking and refactor M Alghazwi 2025-04-24 20:54:59 +02:00
  • c4c0d4f445
    fix readme layout. M Alghazwi 2025-04-10 12:42:11 +02:00
  • 905c0acd6b
    update readme. M Alghazwi 2025-04-10 12:41:32 +02:00
  • bfed76e46f
    improve recursion bench. M Alghazwi 2025-04-10 10:55:57 +02:00
  • 47f831c727
    fix and improve the proof generation and serialization. M Alghazwi 2025-04-10 10:55:36 +02:00
  • 5e7d210322
    fix and improve the workflow scripts and bench. M Alghazwi 2025-04-10 10:54:56 +02:00
  • 950cd6bd0d
    add verify script. M Alghazwi 2025-04-09 16:34:37 +02:00
  • 17c8cfe746
    refactor with the improved serialization. M Alghazwi 2025-04-09 16:34:15 +02:00
  • 937610d8c4
    improve serialization or circuit data, targets, and proofs. M Alghazwi 2025-04-09 16:33:48 +02:00
  • 6a119c3d4c
    add serialization to circuit targets. M Alghazwi 2025-04-09 16:32:40 +02:00
  • b2bb9ebf52
    clean up to avoid rust warnings. M Alghazwi 2025-04-08 12:39:38 +02:00
  • 1daf2dc0ea
    clean up, and refactor to use the circuit helper. M Alghazwi 2025-04-08 12:02:59 +02:00
  • 76374f084b
    use the circuit helper, clean up, and small refactoring. M Alghazwi 2025-04-08 12:02:22 +02:00
  • c4eefceba8
    add generic circuit helper and refactor. M Alghazwi 2025-04-03 14:27:54 +02:00
  • 65508f3da9
    clean up tests and bench M Alghazwi 2025-04-03 11:15:09 +02:00
  • f49d5c5218
    clean up code - remove unnecessary imports M Alghazwi 2025-04-03 10:43:21 +02:00
  • 9ce15d8e00
    update plonky2 and fix serialization. M Alghazwi 2025-04-03 10:14:45 +02:00
  • aa13ff3253
    change hashing of VerifierData to constants. M Alghazwi 2025-03-20 10:45:03 +01:00
  • 190c6063f5
    impl compression and public input verification circuits. M Alghazwi 2025-03-10 14:53:59 +01:00
  • 0a5bb1b52e
    Add benchmark scripts and refactor. M Alghazwi 2025-03-10 14:49:13 +01:00
  • 30b7a6ae03
    add goldibear experiments M Alghazwi 2025-02-07 11:25:50 +01:00
  • 8bc9e71fdc
    default-features M Alghazwi 2025-02-07 11:00:59 +01:00
  • db4653a2a4
    archive recursion experiments and refactor M Alghazwi 2025-02-07 11:00:29 +01:00
  • db9bc823e2
    add support N-to-1 leaf and node aggregation M Alghazwi 2025-02-07 10:27:04 +01:00
  • 6cdd8a43f1
    fix typo in cargo.toml M Alghazwi 2025-01-31 12:37:24 +01:00
  • 5acbcf1f06
    add hashing for verifierData M Alghazwi 2025-01-31 12:18:14 +01:00
  • 69983cd2dd
    fix N param M Alghazwi 2025-01-30 13:49:41 +01:00
  • 709a78a673
    add uniform recursion bench M Alghazwi 2025-01-30 13:47:59 +01:00
  • 798d53ba12
    add uniform recursion tests M Alghazwi 2025-01-30 13:47:26 +01:00
  • 9a57b660f2
    impl uniform recursion circuits M Alghazwi 2025-01-30 13:46:37 +01:00
  • cb9523969d
    add bench results for recursion M Alghazwi 2025-01-30 10:30:10 +01:00
  • e83d4eb869
    refactor tests M Alghazwi 2025-01-30 10:29:48 +01:00