qyriad/miden-crypto
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
850 commits 10 branches 0 tags 2.3 MiB
Commit graph

850 commits

This branch
This branch
All branches
Author SHA1 Message Date
Qyriad
de625fc4ce sort crate:: imports after super:: imports 2025-04-24 13:20:08 +02:00
Qyriad
c210f1d934 smt: change SimpleSmt::open() to return a sparse path 2025-04-24 13:20:08 +02:00
Qyriad
03f30b9b5a SimpleSmt: do not assume that Merkle paths Deref to Vec in tests 
This is in preparation for the next commit, where we change
`SimpleSmt::open()` to return a `SparseMerklePath`, which cannot
dereference to a Vec.
 2025-04-24 13:20:08 +02:00
Qyriad
17dee2edfb smt: add SparseMerklePath, a compact representation of MerklePath 
Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>
 2025-04-24 13:20:08 +02:00
Qyriad
9e7e8a60b4 split out 'sort crate:: imports after super:: imports' 2025-04-24 13:20:05 +02:00
Grzegorz Świrski
750ce32a71 use Cow instead of the additional IntoIter struct 2025-04-24 13:19:48 +02:00
Grzegorz Świrski
4356d11e59 loop over depths in tests 2025-04-24 13:19:48 +02:00
Grzegorz Świrski
0cc404c66f clarify empty_nodes_mask documentation 2025-04-24 13:19:48 +02:00
Grzegorz Świrski
8676326550 clarify that SparseMerklePath can store up to SMT_MAX_DEPTH nodes total 2025-04-24 13:19:48 +02:00
Grzegorz Świrski
5d8e3f0cf8 remove unsafe FromIterator<(NonZero<u8>, Option<RpoDigest>)> 2025-04-24 13:19:48 +02:00
Grzegorz Świrski
3362aeaddb make from_iter_with_depth private, make sure iterators in tests have the same length 2025-04-24 13:19:48 +02:00
Grzegorz Świrski
6eb93aa334 keep at_depth and at_idx consistent wrt ownership 2025-04-24 13:19:48 +02:00
Grzegorz Świrski
92085a75e0 move comment 2025-04-24 13:19:48 +02:00
Grzegorz Świrski
7daabb1964 return a deserialization error if too many empty nodes detected 2025-04-24 13:19:48 +02:00
Grzegorz Świrski
33e2d226a1 move try_from doc to function level for better ide support 2025-04-24 13:19:48 +02:00
Qyriad
a2a315d46d sort crate:: imports after super:: imports 2025-04-24 13:19:48 +02:00
Grzegorz Świrski
2df454c855 clearer assertions in sparse_path tests 2025-04-24 13:19:48 +02:00
Qyriad
a06a7b1b7e squash 'swap test_borrowing_iterator and test_owning_iterator names' into 'add SparseMerklePath' 2025-04-24 13:18:08 +02:00
Qyriad
e5950497f5 smt: change SimpleSmt::open() to return a sparse path 2025-04-24 13:17:37 +02:00
Grzegorz Świrski
98e0d50b71 use Cow instead of the additional IntoIter struct 2025-04-24 13:17:37 +02:00
Qyriad
6b07ac510d SimpleSmt: do not assume that Merkle paths Deref to Vec in tests 
This is in preparation for the next commit, where we change
`SimpleSmt::open()` to return a `SparseMerklePath`, which cannot
dereference to a Vec.
 2025-04-24 13:17:37 +02:00
Grzegorz Świrski
a5e7f14943 loop over depths in tests 2025-04-24 13:17:37 +02:00
Qyriad
45eca087c3 smt: add SparseMerklePath, a compact representation of MerklePath 
Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>
 2025-04-24 13:17:37 +02:00
Grzegorz Świrski
3a62c69d68 clarify empty_nodes_mask documentation 2025-04-24 13:17:37 +02:00
Grzegorz Świrski
0d54e9ed8b clarify that SparseMerklePath can store up to SMT_MAX_DEPTH nodes total 2025-04-24 13:17:37 +02:00
Grzegorz Świrski
7f90141994 remove unsafe FromIterator<(NonZero<u8>, Option<RpoDigest>)> 2025-04-24 13:17:37 +02:00
Grzegorz Świrski
36a3b470b7 make from_iter_with_depth private, make sure iterators in tests have the same length 2025-04-24 13:17:37 +02:00
Grzegorz Świrski
1fd3a38415 keep at_depth and at_idx consistent wrt ownership 2025-04-24 13:17:37 +02:00
Grzegorz Świrski
277d1b3c3b move comment 2025-04-24 13:17:37 +02:00
Grzegorz Świrski
3800e19244 return a deserialization error if too many empty nodes detected 2025-04-24 13:17:37 +02:00
Grzegorz Świrski
db8f9f94bb move try_from doc to function level for better ide support 2025-04-24 13:17:37 +02:00
Grzegorz Świrski
cda565a3fe clearer assertions in sparse_path tests 2025-04-24 13:17:37 +02:00
Qyriad
beee1903e1 squash 'use expect instead of unwrap' into 'add SparseMerklePath' 2025-04-24 13:16:57 +02:00
Grzegorz Świrski
00eea2516f use Cow instead of the additional IntoIter struct 2025-04-24 13:16:21 +02:00
Grzegorz Świrski
c236589b5e loop over depths in tests 2025-04-24 13:16:21 +02:00
Grzegorz Świrski
c60967a21a clarify empty_nodes_mask documentation 2025-04-24 13:16:21 +02:00
Grzegorz Świrski
9b9f454a7c clarify that SparseMerklePath can store up to SMT_MAX_DEPTH nodes total 2025-04-24 13:16:21 +02:00
Grzegorz Świrski
d95d719530 remove unsafe FromIterator<(NonZero<u8>, Option<RpoDigest>)> 2025-04-24 13:16:21 +02:00
Grzegorz Świrski
1aee55779c make from_iter_with_depth private, make sure iterators in tests have the same length 2025-04-24 13:16:21 +02:00
Grzegorz Świrski
97e81bc39b keep at_depth and at_idx consistent wrt ownership 2025-04-24 13:16:21 +02:00
Grzegorz Świrski
a988fb2c8c move comment 2025-04-24 13:16:21 +02:00
Grzegorz Świrski
c9ad4e570d return a deserialization error if too many empty nodes detected 2025-04-24 13:16:21 +02:00
Grzegorz Świrski
68f0b2c9b2 move try_from doc to function level for better ide support 2025-04-24 13:16:21 +02:00
Grzegorz Świrski
b28a31f495 clearer assertions in sparse_path tests 2025-04-24 13:16:21 +02:00
Grzegorz Świrski
ff75b046a6 swap test_borrowing_iterator and test_owning_iterator names 2025-04-24 13:16:21 +02:00
Qyriad
29e21a34ca smt: change SimpleSmt::open() to return a sparse path 2025-04-24 13:16:21 +02:00
Qyriad
d633acdd5b SimpleSmt: do not assume that Merkle paths Deref to Vec in tests 
This is in preparation for the next commit, where we change
`SimpleSmt::open()` to return a `SparseMerklePath`, which cannot
dereference to a Vec.
 2025-04-24 13:16:21 +02:00
Qyriad
3364e59471 smt: add SparseMerklePath, a compact representation of MerklePath 
Co-authored-by: Philipp Gackstatter <PhilippGackstatter@users.noreply.github.com>
 2025-04-24 13:16:21 +02:00
Qyriad
11af2ad57b squash 'strengthen wording in docs' into 'document indexing order of nodes 2025-04-24 13:14:42 +02:00
Qyriad
e56c386f8e MerklePath: add clarity getters for API parity with future SparseMerklePath 
This adds `MerklePath::at_depth()` and `MerklePath::at_idx()`, both for
clarity and for API parity with `SparseMerklePath` in the next commit.
 2025-04-24 13:14:00 +02:00