qyriad/miden-crypto
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • 95a164fcf4 feat(smt): implement generic prospective insertions Qyriad 2024-09-04 15:03:24 -06:00
  • 9ac8f2e9f7 add messages for prospective hash asserts Qyriad 2024-09-05 13:01:55 -06:00
  • 6f24007657 feat(smt): implement generic prospective insertions Qyriad 2024-09-04 15:03:24 -06:00
  • e430c3096e feat(smt): export get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • affbcf30ed feat(smt): impl constructing leaves that don't yet exist Qyriad 2024-08-12 15:56:07 -06:00
  • 89fe857ccf fix nostd build Qyriad 2024-09-05 12:30:08 -06:00
  • 862d995b11 feat(smt): implement generic prospective insertions Qyriad 2024-09-04 15:03:24 -06:00
  • 6ae3536fc3 split the prospective hash and prospective insert tests Qyriad 2024-09-04 17:57:37 -06:00
  • 8f8ab4eef5 feat(smt): implement generic prospective insertions Qyriad 2024-09-04 15:03:24 -06:00
  • e7f53e8c04 give test_prospective_hash() a docstring Qyriad 2024-09-04 16:55:10 -06:00
  • 4630093e94 WIP: feat(smt): implement generic prospective insertions Qyriad 2024-09-04 15:03:24 -06:00
  • 7e81a00291 feat(smt): export get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • 1cea08c2ff feat(smt): impl constructing leaves that don't yet exist Qyriad 2024-08-12 15:56:07 -06:00
  • e03ad4e2b1 give prospective leaf commit a real commit message Qyriad 2024-09-04 16:42:19 -06:00
  • 23f8077e05 WIP: feat(smt): implement generic prospective insertions Qyriad 2024-09-04 15:03:24 -06:00
  • 8139cf3034 feat(smt): export get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • e05cb382b7 feat(smt): impl constructing leaves that don't yet exist Qyriad 2024-08-12 15:56:07 -06:00
  • a7f9b701ce fix docstring on get prospective leaf Qyriad 2024-09-04 15:36:09 -06:00
  • a3f6f3c24f WIP: feat(smt): implement generic prospective insertions Qyriad 2024-09-04 15:03:24 -06:00
  • b99402258b feat(smt): export get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • aa9da0bcad feat(smt): impl constructing leaves that don't yet exist (WIP) Qyriad 2024-08-12 15:56:07 -06:00
  • 6e93028387 implement generic prospective insertions Qyriad 2024-09-04 15:27:44 -06:00
  • 2d9317ead1 WIP: feat(smt): implement generic prospective insertions Qyriad 2024-09-04 15:03:24 -06:00
  • 32d96f0dce feat(smt): export get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • 04ef7205d5 feat(smt): make leaf-emptiness knowable at the trait level Qyriad 2024-08-29 16:30:37 -06:00
  • eb407cd8fc feat(smt): impl constructing leaves that don't yet exist (WIP) Qyriad 2024-08-12 15:56:07 -06:00
  • d3ae0a25f6 that rebase had way more conflicts than it needed to Qyriad 2024-08-29 18:26:49 -06:00
  • a02754d94f feat(smt): export get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • 72662c7e09 feat(smt): make leaf-emptiness knowable at the trait level Qyriad 2024-08-29 16:30:37 -06:00
  • e69f7b6973 feat(smt): impl constructing leaves that don't yet exist (WIP) Qyriad 2024-08-12 15:56:07 -06:00
  • 63068b165e about to give up on this branch lol Qyriad 2024-08-29 17:56:53 -06:00
  • 2573f050a3 feat(smt): implement root-checked insertion Qyriad 2024-08-22 19:00:36 -06:00
  • 42d7f6384c change hash pros to get pros as separate commit Qyriad 2024-08-29 17:37:13 -06:00
  • 77511e3a76 WIP: change hash pros to get pros Qyriad 2024-08-29 17:28:50 -06:00
  • 46bd03d329 add is_leaf_empty commit Qyriad 2024-08-29 16:34:33 -06:00
  • c16b747a73 feat(smt): implement root-checked insertion Qyriad 2024-08-22 19:00:36 -06:00
  • 4369743b63 feat(smt): export get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • 4f17c1deb1 feat(smt): make leaf-emptiness knowable at the trait level Qyriad 2024-08-29 16:30:37 -06:00
  • 9b9d2d3a42 reset back to public state Qyriad 2024-08-29 14:26:06 -06:00
  • 76ea4ed6cb cleaned up working state Qyriad 2024-08-29 13:01:46 -06:00
  • 411354fbec cleaned up working state Qyriad 2024-08-29 13:01:41 -06:00
  • 43f19f5933 MULTI INSERTION WORKING STATE Qyriad 2024-08-28 17:21:00 -06:00
  • a86faf68b5 MULTI INSERTION WORKING STATE Qyriad 2024-08-28 17:18:55 -06:00
  • 032e14c0ca feat(smt): implement root-checked insertion Qyriad 2024-08-22 19:00:36 -06:00
  • 1cc9ef892f fix more typos Qyriad 2024-08-27 17:36:35 -06:00
  • 31da24fff3 feat(smt): implement root-checked insertion Qyriad 2024-08-22 19:00:36 -06:00
  • 2ae39fc36b tweak comment in hash_prospective_leaf Qyriad 2024-08-27 16:59:31 -06:00
  • da2856af6c feat(smt): implement root-checked insertion Qyriad 2024-08-22 19:00:36 -06:00
  • 119bb80aac feat(smt): export get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • 731afe30ec feat(smt): impl hashing leaves that don't yet exist Qyriad 2024-08-12 15:56:07 -06:00
  • afe32aa444 the parent node can be handled not specially Qyriad 2024-08-27 16:02:40 -06:00
  • f471ee4086 feat(smt): implement root-checked insertion Qyriad 2024-08-22 19:00:36 -06:00
  • 1402b8dcf7 leaf cloning is acceptable! Qyriad 2024-08-27 14:32:43 -06:00
  • 113832d6a4 feat(smt): implement root-checked insertion Qyriad 2024-08-22 19:00:36 -06:00
  • 2696e4884c feat(smt): export get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • a00a3c3974 feat(smt): impl hashing leaves that don't yet exist Qyriad 2024-08-12 15:56:07 -06:00
  • 78e08626fb fixup SimpleSmt get_value per review Qyriad 2024-08-27 14:10:43 -06:00
  • 52c35b12c3 feat(smt): implement root-checked insertion Qyriad 2024-08-22 19:00:36 -06:00
  • 448e59884f feat(smt): export get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • 7abce338bf wrap hash_prospective_leaf's comments at 100 Qyriad 2024-08-27 14:02:22 -06:00
  • b08196ec9b feat(smt): implement root-checked insertion Qyriad 2024-08-22 19:00:36 -06:00
  • d5e5778ad3 feat(smt): export get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • 5b7d759f89 feat(smt): impl hashing leaves that don't yet exist Qyriad 2024-08-12 15:56:07 -06:00
  • c9fc6325db fix ci Qyriad 2024-08-22 18:57:24 -06:00
  • 5a0a9b1b8f feat(smt): implement root-checked insertion Qyriad 2024-08-22 18:56:59 -06:00
  • 2822b597c3 feat(smt): export get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • abe0cfaa1f feat(smt): impl hashing leaves that don't yet exist Qyriad 2024-08-12 15:56:07 -06:00
  • fb458b1e8e fix warning in first commit Qyriad 2024-08-22 18:28:08 -06:00
  • 5538585506 feat(smt): implement root-checked insertion Qyriad 2024-08-22 18:27:48 -06:00
  • 0433e5bb47 feat: export Merkle get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • 1c26227fc2 feat: impl hashing Merkle leaves that don't yet exist Qyriad 2024-08-12 15:56:07 -06:00
  • 1bd60dd376 fix clippy lint Qyriad 2024-08-22 18:24:34 -06:00
  • aa4356e1a4 feat: implement root-checked Merkle tree insertion Qyriad 2024-08-22 18:24:27 -06:00
  • b55e6b9bf8 delete commented out line Qyriad 2024-08-22 18:23:43 -06:00
  • d46e4c7257 feat: implement root-checked Merkle tree insertion Qyriad 2024-08-22 18:23:17 -06:00
  • 8044e0c49c clarify as initial work Qyriad 2024-08-22 18:14:44 -06:00
  • accda40e4b feat: implement root-checked Merkle tree insertion wip/qyriad/checked-insert Qyriad 2024-08-22 18:13:26 -06:00
  • 38b09a57af give root-checked insertion commit a real commit message Qyriad 2024-08-22 16:19:30 -06:00
  • b2e8ab66bd feat: implement root-checked Merkle tree insertion Qyriad 2024-08-21 14:49:47 -06:00
  • 20894b945c replace iter::once hack with an Option Qyriad 2024-08-22 15:54:35 -06:00
  • 1795ef4ba3 WIP: smt: implement root-checked insertion Qyriad 2024-08-21 14:49:47 -06:00
  • 00e2be79a4 feat: export Merkle get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • 52ab7bca97 feat: impl hashing Merkle leaves that don't yet exist Qyriad 2024-08-12 15:56:07 -06:00
  • 99bac324a3 put 'prospective' first in tests for prospective commit Qyriad 2024-08-22 14:50:24 -06:00
  • 4d1f33ab67 WIP: smt: implement root-checked insertion Qyriad 2024-08-21 14:49:47 -06:00
  • d7af60d037 feat: export Merkle get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • 6178074b9f feat: impl hashing Merkle leaves that don't yet exist Qyriad 2024-08-12 15:56:07 -06:00
  • 91c4260120 mark get_value commit as non-wip Qyriad 2024-08-22 14:42:51 -06:00
  • 0c97562ea2 WIP: smt: implement root-checked insertion Qyriad 2024-08-21 14:49:47 -06:00
  • 70131e892e feat: export Merkle get_value() in the trait Qyriad 2024-08-21 13:22:11 -06:00
  • a4677dd99b remove the redundant prospective test in full/mod.rs Qyriad 2024-08-22 14:17:00 -06:00
  • 1662a0a8da WIP: smt: implement root-checked insertion Qyriad 2024-08-21 14:49:47 -06:00
  • 2eb7a84543 WIP: add and implement get_value() to Smt trait Qyriad 2024-08-21 13:22:11 -06:00
  • 0f67239bd3 feat: impl hashing Merkle leaves that don't yet exist Qyriad 2024-08-12 15:56:07 -06:00
  • 6f1de8c22d give perspective leaf hashing a real commit message Qyriad 2024-08-22 14:12:18 -06:00
  • 6670b94ba7 WIP: smt: implement root-checked insertion Qyriad 2024-08-21 14:49:47 -06:00
  • 1307e2c948 WIP: add and implement get_value() to Smt trait Qyriad 2024-08-21 13:22:11 -06:00
  • 4c19f364ca feat: impl hashing Merkle leaves that don't yet exist Qyriad 2024-08-12 15:56:07 -06:00
  • 6921ba0442 squash the two hash_prospective_leaf commits Qyriad 2024-08-22 13:48:10 -06:00
  • e21b9ab8d3 WIP: smt: implement root-checked insertion Qyriad 2024-08-21 14:49:47 -06:00