Qyriad qyriad · she/her
  • Joined on 2024-05-19
qyriad pushed to git-series/parallel-subtrees at qyriad/miden-crypto 2024-11-13 13:48:49 -07:00
262ad8137b fix the entries-generation of the first 'impl simple subtree8 hashing' commit
f977584c65 add a parallel subtree criterion benchmark
d9c9a25a54 smt: add build_subtrees() to coordinate subtree building
b15ec356ba add a parallel construction benchmark to src/main.rs
8b4ddc9da9 improve docs for build_subtree()
Compare 10 commits »
qyriad created branch wip/qyriad/parallel-subtrees in qyriad/miden-crypto 2024-11-12 14:59:36 -07:00
qyriad pushed to wip/qyriad/parallel-subtrees at qyriad/miden-crypto 2024-11-12 14:59:36 -07:00
8b0d7bd7b4 parallel-subtrees WORKING STATE
3817ddbec3 WIP: add experimental parallel subtree support
aa88e29f2c WIP: remove unused helpers for NodeIndex
1ca498b346 WIP(smt): allow leaves to be wrapped in an Arc for async
1632ec54aa WIP: add many helper methods on NodeIndex
Compare 5 commits »
qyriad created branch wip/qyriad/parallel-construction in qyriad/miden-crypto 2024-11-12 14:53:53 -07:00
qyriad pushed to wip/qyriad/parallel-construction at qyriad/miden-crypto 2024-11-12 14:53:53 -07:00
849f182246 add a parallel subtree criterion benchmark
3337177432 smt: add build_subtrees() to coordinate subtree building
5c931185c5 add a parallel construction benchmark to src/main.rs
29a45d2b49 improve docs for build_subtree()
803cd31f3b smt: add from_raw_parts() to trait interface
Compare 10 commits »
qyriad created branch wip/qyriad/bench-subtree in qyriad/miden-crypto 2024-10-16 09:25:30 -06:00
qyriad pushed to wip/qyriad/bench-subtree at qyriad/miden-crypto 2024-10-16 09:25:30 -06:00
6addcd0226 WIP(smt): add simple benchmark for single subtree computation
a35c11abfe WIP(smt): allow leaves to be wrapped in an Arc for async
e7ee6b53ba WIP: add many helper methods on NodeIndex
b289e7ed73 feat(smt): impl lowest common ancestor for leaf indices
c414a875f3 feat(merkle): impl constructing NodeIndex from scalar index
Compare 9 commits »
qyriad pushed to git-series/checked-insert at qyriad/miden-crypto 2024-09-09 17:11:29 -06:00
2415173510 change mutationset commit to use impl IntoIterator
d182138844 feat(smt): implement generic prospective insertions
Compare 2 commits »
qyriad pushed to git-series/checked-insert at qyriad/miden-crypto 2024-09-05 15:40:08 -06:00
1554eba3ee call out construct_prospective_leaf invariant
f0eaf046e2 feat(smt): implement generic prospective insertions
4dc276a1d2 feat(smt): export get_value() in the trait
e7c36fd4fc feat(smt): impl constructing leaves that don't yet exist
d8da407d4a rename get_prospective_leaf -> construct_prospective_leaf
Compare 12 commits »
qyriad pushed to git-series/checked-insert at qyriad/miden-crypto 2024-09-05 14:13:55 -06:00
5332b49bbb rustfmt
965c3f3c16 feat(smt): implement generic prospective insertions
1410ee4afa add docs to CompletedMutationSet's fields
d7f50821f1 feat(smt): implement generic prospective insertions
63a4b50837 tweak comments in insertion commit
Compare 18 commits »
qyriad pushed to git-series/checked-insert at qyriad/miden-crypto 2024-09-04 17:57:45 -06:00
6ae3536fc3 split the prospective hash and prospective insert tests
8f8ab4eef5 feat(smt): implement generic prospective insertions
e7f53e8c04 give test_prospective_hash() a docstring
7e81a00291 feat(smt): export get_value() in the trait
4630093e94 WIP: feat(smt): implement generic prospective insertions
Compare 6 commits »
qyriad pushed to git-series/checked-insert at qyriad/miden-crypto 2024-09-04 16:42:42 -06:00
e03ad4e2b1 give prospective leaf commit a real commit message
23f8077e05 WIP: feat(smt): implement generic prospective insertions
8139cf3034 feat(smt): export get_value() in the trait
e05cb382b7 feat(smt): impl constructing leaves that don't yet exist
a7f9b701ce fix docstring on get prospective leaf
Compare 39 commits »
qyriad pushed to git-series/checked-insert at qyriad/miden-crypto 2024-08-27 14:33:08 -06:00
1402b8dcf7 leaf cloning is acceptable!
113832d6a4 feat(smt): implement root-checked insertion
2696e4884c feat(smt): export get_value() in the trait
a00a3c3974 feat(smt): impl hashing leaves that don't yet exist
78e08626fb fixup SimpleSmt get_value per review
Compare 23 commits »
qyriad pushed to git-series/checked-insert at qyriad/miden-crypto 2024-08-22 18:19:12 -06:00
8044e0c49c clarify as initial work
accda40e4b feat: implement root-checked Merkle tree insertion
38b09a57af give root-checked insertion commit a real commit message
b2e8ab66bd feat: implement root-checked Merkle tree insertion
20894b945c replace iter::once hack with an Option
Compare 8 commits »
qyriad pushed to wip/qyriad/checked-insert at qyriad/miden-crypto 2024-08-22 18:18:55 -06:00
accda40e4b feat: implement root-checked Merkle tree insertion
qyriad pushed to wip/qyriad/checked-insert at qyriad/miden-crypto 2024-08-22 15:57:04 -06:00
1795ef4ba3 WIP: smt: implement root-checked insertion
00e2be79a4 feat: export Merkle get_value() in the trait
52ab7bca97 feat: impl hashing Merkle leaves that don't yet exist
Compare 3 commits »
qyriad pushed to git-series/checked-insert at qyriad/miden-crypto 2024-08-22 14:51:00 -06:00
99bac324a3 put 'prospective' first in tests for prospective commit
4d1f33ab67 WIP: smt: implement root-checked insertion
d7af60d037 feat: export Merkle get_value() in the trait
6178074b9f feat: impl hashing Merkle leaves that don't yet exist
91c4260120 mark get_value commit as non-wip
Compare 7 commits »
qyriad created branch wip/qyriad/checked-insert in qyriad/miden-crypto 2024-08-22 14:23:14 -06:00
qyriad pushed to wip/qyriad/checked-insert at qyriad/miden-crypto 2024-08-22 14:23:14 -06:00
qyriad created branch git-series/checked-insert in qyriad/miden-crypto 2024-08-22 14:22:23 -06:00