Commit graph

  • a2bcb501e8
    Improve formatting of SignedPods: show keys as strings (#95) tideofwords 2025-02-27 10:23:23 -08:00
  • 423605f867
    Featurize middleware types that are actually defined by the backend (#94) arnaucube 2025-02-27 14:15:31 +01:00
  • af46ab7a8d
    feat: implement custom op check (#92) Ahmad Afuni 2025-02-27 22:53:23 +10:00
  • a37b96ab4f
    Serialize and hash custom predicates (#90) tideofwords 2025-02-26 11:28:27 -08:00
  • 05c21ebe6a
    feat: partial incorporation of custom predicates into statement and operation structures in middleware (#84) Ahmad Afuni 2025-02-26 00:44:27 +10:00
  • 538353a701
    Frontend: simplify custom predicates interfaces (#83) arnaucube 2025-02-25 05:15:08 +01:00
  • d3bc892906
    Aard custom (#49) tideofwords 2025-02-24 09:05:30 -08:00
  • c101d94530
    implement the specified sparse merkletree (#82) arnaucube 2025-02-21 02:13:58 +01:00
  • 2e9719a1ca
    Prototype custom predicates (#74) Eduard S. 2025-02-21 01:55:36 +01:00
  • c2d23b0b1b
    chore: enums for statement and op types (#69) Ahmad Afuni 2025-02-20 19:08:29 +10:00
  • 83a4f8969f
    feat: add bool frontend type (#63) Richard Liu 2025-02-18 10:16:46 -08:00
  • 2d4d31dce9
    feat: add architecture doc (#73) Eduard S. 2025-02-18 16:31:39 +01:00
  • 1b6e0c9395
    feat: unify SignedPod and MainPod traits (#64) Eduard S. 2025-02-18 13:00:54 +01:00
  • 452bda8087
    small fixes for various todos (#62) Richard Liu 2025-02-17 10:54:37 -08:00
  • bb865a4fea
    Implement Containers (Dictionary,Set,Array) on top of MerkleTree. And restructure the code. (#55) arnaucube 2025-02-12 12:06:40 +01:00
  • f2575d1524
    Add great boy example (#48) Eduard S. 2025-02-11 13:54:26 +01:00
  • 90e9782e62
    feat: Basic verification logic for mock MainPOD (#43) Ahmad Afuni 2025-02-11 04:07:41 +10:00
  • dc6b5553e8
    Merge changes to docs (#41) tideofwords 2025-02-10 10:06:45 -08:00
  • 34a223ac76
    add mdbook compilation check to CI (#45) arnaucube 2025-02-10 12:39:56 +01:00
  • 5236b46214
    Migrate fmt to use Display trait (#44) arnaucube 2025-02-10 12:37:11 +01:00
  • f23a78dcb8
    Add Plonky2 string hash definition (#32) Ahmad Afuni 2025-02-07 04:55:38 +10:00
  • ca1be65b85
    compute MainPod.id from pub_statements; and introduce the trait ToFields (#35) arnaucube 2025-02-06 11:35:57 +01:00
  • 8945d7f8a1
    Partial implementation of the MockMainPod (#33) Eduard S. 2025-02-05 16:50:00 +01:00
  • e074d34078
    Extend merkletree spec, init SignedPod section, add typos checker in CI (#31) arnaucube 2025-02-05 16:37:16 +01:00
  • d85e1b7c78
    docs: add native operation table (#22) Ahmad Afuni 2025-02-05 21:25:34 +10:00
  • 085d5fff2c
    feat: integrate mt in mock_sign (#23) Eduard S. 2025-02-05 11:24:35 +01:00
  • 4d16647d10
    docs: add native statement table (#21) Ahmad Afuni 2025-02-05 12:02:44 +10:00
  • 3445bd98bd
    feat: add middleware and signer traits (#18) Eduard S. 2025-02-04 12:35:32 +01:00
  • caa91cb615
    docs: add POD value types (#19) Ahmad Afuni 2025-02-04 21:33:43 +10:00
  • aafebfbcd5
    add SignerPod.id computation (integrate kvs with MerkleTree) (#17) arnaucube 2025-02-03 18:22:18 +01:00
  • 5b455acbd6
    add initial MerkleTree implementation (#13) arnaucube 2025-02-03 18:03:45 +01:00
  • bf2fa090a3
    change println to writeln (#14) gubsheep 2025-02-03 08:08:13 -05:00
  • 62a140569e
    add initial spec of the merkletree (#10) arnaucube 2025-01-31 17:21:18 +01:00
  • ef3dd308e8
    feat: move code here (#11) Eduard S. 2025-01-31 16:20:57 +01:00
  • 5bb98e2645 add gh-pages action to autodeploy rendered site arnaucube 2025-01-31 10:29:04 +01:00
  • f8cd1ed0b6
    Merge pull request #9 from 0xPARC/edu arnaucube 2025-01-31 10:21:01 +01:00
  • 3c6ccd7c31 feat: add examples Eduard S. 2025-01-30 20:39:10 +01:00
  • ceeddba2b5 init repo, add initial structure arnaucube 2025-01-30 17:32:09 +01:00