This commit is contained in:
0g-peterzhb 2025-08-11 09:34:03 +08:00 committed by GitHub
parent e41726de78
commit 9a1edae9a2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -205,7 +205,7 @@ impl<E: HashElement> RangeProof<E> {
// Avoid copying the first layer by working directly with the slice // Avoid copying the first layer by working directly with the slice
let mut children_layer = Vec::new(); let mut children_layer = Vec::new();
let mut current_layer = range_leaves; let mut current_layer = range_leaves;
for height in 0..(tree_depth - 1) { for height in 0..(tree_depth - 1) {
let mut parent_layer = Vec::new(); let mut parent_layer = Vec::new();
let start_index = if !self.left_proof.path()[height] { let start_index = if !self.left_proof.path()[height] {
@ -231,7 +231,7 @@ impl<E: HashElement> RangeProof<E> {
children_layer = parent_layer; children_layer = parent_layer;
current_layer = &children_layer; current_layer = &children_layer;
} }
// If no iterations occurred, the root should be computed from the original range_leaves // If no iterations occurred, the root should be computed from the original range_leaves
if children_layer.is_empty() { if children_layer.is_empty() {
ensure_eq!(range_leaves.len(), 1); ensure_eq!(range_leaves.len(), 1);