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

646 commits

This branch
This branch
All branches
Author SHA1 Message Date
Qyriad
52713f6895 add some comments to test_sparse_bits 2025-04-06 15:03:03 +02:00
Qyriad
25cfe91cc0 smt: change SimpleSmt::open() to return a sparse path 2025-04-06 15:02:45 +02:00
Qyriad
9fa2038ca8 add docstring to test_sparse_bits() 2025-04-04 15:49:45 +02:00
Qyriad
2feed75022 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-04 15:49:32 +02:00
Qyriad
93a0ca0891 smt: change SimpleSmt::open() to return a sparse path 2025-04-04 15:49:32 +02:00
Qyriad
d3aedfa731 smt: add SparseMerklePath, a compact representation of MerklePath 2025-04-04 15:49:32 +02:00
Qyriad
d255b806cb cleanup tests 2025-04-04 15:41:58 +02:00
Qyriad
69db897e8a smt: change SimpleSmt::open() to return a sparse path 2025-04-04 15:41:52 +02:00
Qyriad
30a7ec112a 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-04 15:41:52 +02:00
Qyriad
7538681a13 smt: add SparseMerklePath, a compact representation of MerklePath 2025-04-04 15:41:52 +02:00
Qyriad
fd664a4264 remove test_sparse_indices() 2025-04-04 15:24:16 +02:00
Qyriad
20c490c46f smt: change SimpleSmt::open() to return a sparse path 2025-04-04 15:24:05 +02:00
Qyriad
842ef50428 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-04 15:24:05 +02:00
Qyriad
a3b9f3dd21 smt: add SparseMerklePath, a compact representation of MerklePath 2025-04-04 15:24:05 +02:00
Qyriad
10f3f61fd2 remove outdated comment reference to next_back() 2025-04-04 15:23:44 +02:00
Qyriad
66237007e5 smt: change SimpleSmt::open() to return a sparse path 2025-04-04 15:23:33 +02:00
Qyriad
d36243cc39 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-04 15:23:33 +02:00
Qyriad
68b043cbaf smt: add SparseMerklePath, a compact representation of MerklePath 2025-04-04 15:23:33 +02:00
Qyriad
3b4c2c36dc move commit 'PartialSmt: fix misleading variable names' to the earliest 2025-04-04 15:17:48 +02:00
Qyriad
22c19983ac 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-04 15:17:21 +02:00
Qyriad
b43afcd2ce smt: change SimpleSmt::open() to return a sparse path 2025-04-04 15:17:21 +02:00
Qyriad
d524543899 MerklePath: document indexing order of nodes 
I've left the iteration order of `MerklePath::inner_nodes()`
unspecified, but other methods of iteration and indexing are now
specified to be in order of deepest to shallowest.
 2025-04-04 15:17:21 +02:00
Qyriad
b31a50de2a 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-04 15:17:21 +02:00
Qyriad
aa386c67a4 MerkleTree: use new NodeIndex::proof_indices() to resolve TODO 2025-04-04 15:17:21 +02:00
Qyriad
5febc5798f smt: add SparseMerklePath, a compact representation of MerklePath 2025-04-04 15:17:21 +02:00
Qyriad
07bda60233 smt: refactor MerklePath logic 
Computation of the correct node indices to get is moved to
`NodeIndex::proof_indices()`, and getting a node's index based on its
parent is generalized into `SparseMerkleTree::get_hash()`.
 2025-04-04 15:17:21 +02:00
Qyriad
5eb9a14c40 PartialSmt: fix misleading variable names 2025-04-04 15:17:21 +02:00
Qyriad
a27be8db4f fix clippy lints 2025-04-04 15:17:18 +02:00
Qyriad
4d0b507e77 smt: change SimpleSmt::open() to return a sparse path 2025-04-04 15:17:06 +02:00
Qyriad
980e1615bf 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-04 15:17:06 +02:00
Qyriad
9ee094703c smt: add SparseMerklePath, a compact representation of MerklePath 2025-04-04 15:17:06 +02:00
Qyriad
2fc25c028b re-add SimpleSmt::open() commit 2025-04-04 15:16:02 +02:00
Qyriad
1c39f38c9c smt: change SimpleSmt::open() to return a sparse path 2025-04-04 15:14:27 +02:00
Qyriad
c28a9d1c30 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-04 15:12:40 +02:00
Qyriad
f018fcb2aa smt: add SparseMerklePath, a compact representation of MerklePath 2025-04-04 15:12:40 +02:00
Qyriad
a09ce394ae SQUASH ALL THE THINGS 2025-04-04 14:54:34 +02:00
Qyriad
7f2fef41d0 smt: add SparseMerklePath 
SparseMerklePath: implement random access


SparseMerklePath: implement iterators


SparseMerklePath: implement Serializable and Deserializable


SparseMerklePath: impl From/Into conversions


SparseMerklePath: add SparseValuePath container


<git index>
 2025-04-04 14:54:05 +02:00
Qyriad
0961cfb227 add MerkleTree proof_indices commit 2025-04-04 14:53:15 +02:00
Qyriad
d46aa998be PartialSmt: fix misleading variable names 2025-04-04 14:52:31 +02:00
Qyriad
fb5a865dfc Revert "smt: impl SimpleSmt::get_path() which returns a sparse path" 
This reverts commit 3bcd8cfe82e1b09d974c8bd6b0b5b16bd6bcfbfe.
 2025-04-04 14:52:31 +02:00
Qyriad
7bc5527d45 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-04 14:52:31 +02:00
Qyriad
7f4b2b326c smt: impl SimpleSmt::get_path() which returns a sparse path 2025-04-04 14:52:31 +02:00
Qyriad
52a653f492 MerklePath: document indexing order of nodes 
I've left the iteration order of `MerklePath::inner_nodes()`
unspecified, but other methods of iteration and indexing are now
specified to be in order of deepest to shallowest.
 2025-04-04 14:52:31 +02:00
Qyriad
cc6981de7f SparseMerklePath: add SparseValuePath container 2025-04-04 14:52:31 +02:00
Qyriad
055c95f32a MerkleTree: use new NodeIndex::proof_indices() to resolve TODO 2025-04-04 14:52:31 +02:00
Qyriad
c45d9682eb SparseMerklePath: impl From/Into conversions 2025-04-04 14:52:31 +02:00
Qyriad
067f5d1062 SparseMerklePath: implement Serializable and Deserializable 2025-04-04 14:52:31 +02:00
Qyriad
9122935685 SparseMerklePath: implement iterators 2025-04-04 14:52:31 +02:00
Qyriad
f8771549ea SparseMerklePath: implement random access 2025-04-04 14:52:31 +02:00
Qyriad
129f81eb4b smt: add SparseMerklePath 2025-04-04 14:52:31 +02:00