Commit graph

Select branches

Hide pull requests

edu/review-milp-split

main

Mono Color

• 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