Paul-Henry Kajfasz
|
ad0f472708
|
Updated Makefile and Readme
|
2024-08-16 15:07:27 -07:00 |
|
Paul Schoenfelder
|
999a64fca6
|
chore: handle deprecations in winterfell 0.8.3 release
|
2024-03-17 16:18:23 -04:00 |
|
Augusto Hack
|
dbab0e9aa9
|
fix: clippy warnings (#280)
|
2024-02-21 20:55:02 -08:00 |
|
Philippe Laferrière
|
e55b3ed2ce
|
Introduce SmtProof (#270)
* add conversion for `SmtLeaf`
* introduce `SmtProof` scaffolding
* implement `verify_membership()`
* SmtLeaf: knows its index
* `SmtLeaf::index`
* `SmtLeaf::get_value()` returns an Option
* fix `verify_membership()`
* impl `SmtProof::get`
* impl `into_parts()`
* `SmtProof::compute_root`
* use `SmtProof` in `Smt::open`
* `SmtLeaf` constructors
* Vec
* impl `Error` for `SmtLeafError`
* fix std Error
* move Word/Digest conversions to LeafIndex
* `SmtProof::new()` returns an error
* `SparseMerkleTree::path_and_leaf_to_opening`
* `SmtLeaf`: serializable/deserializable
* `SmtProof`: serializable/deserializable
* add tests for SmtLeaf serialization
* move `SmtLeaf` to submodule
* use constructors internally
* fix docs
* Add `Vec`
* add `Vec` to tests
* no_std use statements
* fmt
* `Errors`: make heading
* use `SMT_DEPTH`
* SmtLeaf single case: check leaf index
* Multiple case: check consistency with leaf index
* use `pub(super)` instead of `pub(crate)`
* use `pub(super)`
* `SmtLeaf`: add `num_entries()` accessor
* Fix `SmtLeaf` serialization
* improve leaf serialization tests
|
2024-02-14 11:52:40 -08:00 |
|
Philippe Laferrière
|
9a18ed6749
|
Implement SimpleSmt::set_subtree (#232)
* recompute_nodes_from_indeX_to_root
* MerkleError variant
* set_subtree
* test_simplesmt_set_subtree
* test_simplesmt_set_subtree_entire_tree
* test
* set_subtree: return root
|
2024-02-14 11:52:40 -08:00 |
|
Philippe Laferrière
|
d719cc2663
|
Remove ExactSizeIterator constraint from SimpleSmt::with_leaves() (#228)
* Change InvalidNumEntries error
* max computation
* remove length check
* remove ExactSizeIterator constraint
* fix InvalidNumEntries error condition
* 2_usize
|
2024-02-14 11:52:40 -08:00 |
|
Augusto F. Hack
|
f7e6922bff
|
error: moved to its own module
|
2023-08-15 16:36:46 +02:00 |
|