mirror of
https://github.com/sigp/lighthouse.git
synced 2026-03-20 21:34:46 +00:00
Implement failing cache hash test
This commit is contained in:
@@ -13,58 +13,87 @@ impl CachedTreeHash for Inner {
|
||||
type Item = Self;
|
||||
|
||||
fn build_cache_bytes(&self) -> Vec<u8> {
|
||||
let cache_a = self.a.build_cache_bytes();
|
||||
let cache_b = self.b.build_cache_bytes();
|
||||
let cache_c = self.c.build_cache_bytes();
|
||||
let cache_d = self.d.build_cache_bytes();
|
||||
|
||||
let mut leaves = vec![];
|
||||
leaves.extend_from_slice(&cache_a[0..32].to_vec());
|
||||
leaves.extend_from_slice(&cache_b[0..32].to_vec());
|
||||
leaves.extend_from_slice(&cache_c[0..32].to_vec());
|
||||
leaves.extend_from_slice(&cache_d[0..32].to_vec());
|
||||
|
||||
leaves.append(&mut self.a.build_cache_bytes());
|
||||
leaves.append(&mut self.b.build_cache_bytes());
|
||||
leaves.append(&mut self.c.build_cache_bytes());
|
||||
leaves.append(&mut self.d.build_cache_bytes());
|
||||
let mut merkle = merkleize(leaves);
|
||||
|
||||
merkleize(leaves)
|
||||
let num_leaves = 4;
|
||||
let num_nodes = num_nodes(num_leaves);
|
||||
let num_internal_nodes = num_nodes - num_leaves;
|
||||
|
||||
let mut next_hash = num_internal_nodes * HASHSIZE;
|
||||
merkle.splice(next_hash..next_hash + HASHSIZE, cache_a);
|
||||
next_hash += HASHSIZE;
|
||||
merkle.splice(next_hash..next_hash + HASHSIZE, cache_b);
|
||||
next_hash += HASHSIZE;
|
||||
merkle.splice(next_hash..next_hash + HASHSIZE, cache_c);
|
||||
next_hash += HASHSIZE;
|
||||
merkle.splice(next_hash..next_hash + HASHSIZE, cache_d);
|
||||
|
||||
merkle
|
||||
}
|
||||
|
||||
fn num_bytes(&self) -> usize {
|
||||
let mut bytes = 0;
|
||||
|
||||
bytes += self.a.num_bytes();
|
||||
bytes += self.b.num_bytes();
|
||||
bytes += self.c.num_bytes();
|
||||
bytes += self.d.num_bytes();
|
||||
|
||||
bytes
|
||||
}
|
||||
|
||||
fn num_child_nodes(&self) -> usize {
|
||||
let mut children = 0;
|
||||
let leaves = 4;
|
||||
|
||||
children += self.a.num_child_nodes();
|
||||
children += self.b.num_child_nodes();
|
||||
children += self.c.num_child_nodes();
|
||||
children += self.d.num_child_nodes();
|
||||
|
||||
num_nodes(leaves) + children - 1
|
||||
}
|
||||
|
||||
fn cached_hash_tree_root(
|
||||
&self,
|
||||
other: &Self,
|
||||
cache: &mut TreeHashCache,
|
||||
chunk: usize,
|
||||
) -> Option<usize> {
|
||||
let mut num_leaves: usize = 0;
|
||||
num_leaves += num_unsanitized_leaves(self.a.num_bytes());
|
||||
num_leaves += num_unsanitized_leaves(self.b.num_bytes());
|
||||
num_leaves += num_unsanitized_leaves(self.c.num_bytes());
|
||||
num_leaves += num_unsanitized_leaves(self.d.num_bytes());
|
||||
|
||||
let num_nodes = num_nodes(num_leaves);
|
||||
let num_internal_nodes = num_nodes - num_leaves;
|
||||
let mut offsets = vec![];
|
||||
offsets.push(self.a.num_child_nodes() + 1);
|
||||
offsets.push(self.b.num_child_nodes() + 1);
|
||||
offsets.push(self.c.num_child_nodes() + 1);
|
||||
offsets.push(self.d.num_child_nodes() + 1);
|
||||
let offset_handler = OffsetHandler::from_lengths(chunk, offsets);
|
||||
|
||||
// Skip past the internal nodes and update any changed leaf nodes.
|
||||
{
|
||||
let chunk = chunk + num_internal_nodes;
|
||||
let chunk = offset_handler.first_leaf_node()?;
|
||||
let chunk = self.a.cached_hash_tree_root(&other.a, cache, chunk)?;
|
||||
let chunk = self.b.cached_hash_tree_root(&other.b, cache, chunk)?;
|
||||
let chunk = self.c.cached_hash_tree_root(&other.c, cache, chunk)?;
|
||||
let _chunk = self.d.cached_hash_tree_root(&other.d, cache, chunk)?;
|
||||
}
|
||||
|
||||
// Iterate backwards through the internal nodes, rehashing any node where it's children
|
||||
// have changed.
|
||||
for chunk in (chunk..chunk + num_internal_nodes).into_iter().rev() {
|
||||
if cache.children_modified(chunk)? {
|
||||
cache.modify_chunk(chunk, &cache.hash_children(chunk)?)?;
|
||||
for (&parent, children) in offset_handler.iter_internal_nodes().rev() {
|
||||
if cache.either_modified(children)? {
|
||||
cache.modify_chunk(parent, &cache.hash_children(children)?)?;
|
||||
}
|
||||
}
|
||||
|
||||
Some(chunk + num_nodes)
|
||||
Some(offset_handler.next_node())
|
||||
}
|
||||
}
|
||||
|
||||
@@ -79,53 +108,79 @@ impl CachedTreeHash for Outer {
|
||||
type Item = Self;
|
||||
|
||||
fn build_cache_bytes(&self) -> Vec<u8> {
|
||||
let cache_a = self.a.build_cache_bytes();
|
||||
let cache_b = self.b.build_cache_bytes();
|
||||
let cache_c = self.c.build_cache_bytes();
|
||||
|
||||
let mut leaves = vec![];
|
||||
leaves.extend_from_slice(&cache_a[0..32].to_vec());
|
||||
leaves.extend_from_slice(&cache_b[0..32].to_vec());
|
||||
leaves.extend_from_slice(&cache_c[0..32].to_vec());
|
||||
|
||||
leaves.append(&mut self.a.build_cache_bytes());
|
||||
leaves.append(&mut self.b.build_cache_bytes());
|
||||
leaves.append(&mut self.c.build_cache_bytes());
|
||||
let mut merkle = merkleize(leaves);
|
||||
|
||||
merkleize(leaves)
|
||||
let num_leaves = 4;
|
||||
let num_nodes = num_nodes(num_leaves);
|
||||
let num_internal_nodes = num_nodes - num_leaves;
|
||||
|
||||
let mut next_hash = num_internal_nodes * HASHSIZE;
|
||||
merkle.splice(next_hash..next_hash + HASHSIZE, cache_a);
|
||||
next_hash += (self.a.num_child_nodes() + 1) * HASHSIZE;
|
||||
merkle.splice(next_hash..next_hash + HASHSIZE, cache_b);
|
||||
next_hash += (self.b.num_child_nodes() + 1) * HASHSIZE;
|
||||
merkle.splice(next_hash..next_hash + HASHSIZE, cache_c);
|
||||
|
||||
merkle
|
||||
}
|
||||
|
||||
fn num_bytes(&self) -> usize {
|
||||
let mut bytes = 0;
|
||||
bytes += self.a.num_bytes();
|
||||
bytes += self.b.num_bytes();
|
||||
bytes += self.c.num_bytes();
|
||||
bytes
|
||||
}
|
||||
|
||||
fn num_child_nodes(&self) -> usize {
|
||||
let mut children = 0;
|
||||
let leaves = 3;
|
||||
|
||||
children += self.a.num_child_nodes();
|
||||
children += self.b.num_child_nodes();
|
||||
children += self.c.num_child_nodes();
|
||||
|
||||
num_nodes(leaves) + children - 1
|
||||
}
|
||||
|
||||
fn cached_hash_tree_root(
|
||||
&self,
|
||||
other: &Self,
|
||||
cache: &mut TreeHashCache,
|
||||
chunk: usize,
|
||||
) -> Option<usize> {
|
||||
let mut num_leaves: usize = 0;
|
||||
num_leaves += num_unsanitized_leaves(self.a.num_bytes());
|
||||
num_leaves += num_unsanitized_leaves(self.b.num_bytes());
|
||||
num_leaves += num_unsanitized_leaves(self.c.num_bytes());
|
||||
|
||||
let num_nodes = num_nodes(num_leaves);
|
||||
let num_internal_nodes = num_nodes - num_leaves;
|
||||
let mut offsets = vec![];
|
||||
offsets.push(self.a.num_child_nodes() + 1);
|
||||
offsets.push(self.b.num_child_nodes() + 1);
|
||||
offsets.push(self.c.num_child_nodes() + 1);
|
||||
let offset_handler = OffsetHandler::from_lengths(chunk, offsets);
|
||||
|
||||
// Skip past the internal nodes and update any changed leaf nodes.
|
||||
{
|
||||
let chunk = chunk + num_internal_nodes;
|
||||
let chunk = offset_handler.first_leaf_node()?;
|
||||
let chunk = self.a.cached_hash_tree_root(&other.a, cache, chunk)?;
|
||||
let chunk = self.b.cached_hash_tree_root(&other.b, cache, chunk)?;
|
||||
let _chunk = self.c.cached_hash_tree_root(&other.c, cache, chunk)?;
|
||||
}
|
||||
|
||||
// Iterate backwards through the internal nodes, rehashing any node where it's children
|
||||
// have changed.
|
||||
for chunk in (chunk..chunk + num_internal_nodes).into_iter().rev() {
|
||||
if cache.children_modified(chunk)? {
|
||||
cache.modify_chunk(chunk, &cache.hash_children(chunk)?)?;
|
||||
for (&parent, children) in offset_handler.iter_internal_nodes().rev() {
|
||||
if cache.either_modified(children)? {
|
||||
dbg!(parent);
|
||||
dbg!(children);
|
||||
cache.modify_chunk(parent, &cache.hash_children(children)?)?;
|
||||
}
|
||||
}
|
||||
|
||||
Some(chunk + num_nodes)
|
||||
Some(offset_handler.next_node())
|
||||
}
|
||||
}
|
||||
|
||||
@@ -163,15 +218,30 @@ fn partial_modification_to_outer() {
|
||||
|
||||
// Perform a differential hash
|
||||
let mut cache_struct = TreeHashCache::from_bytes(original_cache.clone()).unwrap();
|
||||
modified_outer.cached_hash_tree_root(&original_outer, &mut cache_struct, 0);
|
||||
|
||||
modified_outer
|
||||
.cached_hash_tree_root(&original_outer, &mut cache_struct, 0)
|
||||
.unwrap();
|
||||
|
||||
let modified_cache: Vec<u8> = cache_struct.into();
|
||||
|
||||
// Generate reference data.
|
||||
let mut data = vec![];
|
||||
data.append(&mut int_to_bytes32(0));
|
||||
data.append(&mut inner.build_cache_bytes());
|
||||
data.append(&mut int_to_bytes32(42));
|
||||
let merkle = merkleize(data);
|
||||
let inner_bytes = inner.build_cache_bytes();
|
||||
data.append(&mut int_to_bytes32(5));
|
||||
|
||||
let leaves = vec![
|
||||
int_to_bytes32(0),
|
||||
inner_bytes[0..32].to_vec(),
|
||||
int_to_bytes32(5),
|
||||
vec![0; 32], // padding
|
||||
];
|
||||
let mut merkle = merkleize(join(leaves));
|
||||
merkle.splice(4 * 32..5 * 32, inner_bytes);
|
||||
|
||||
assert_eq!(merkle.len() / HASHSIZE, 13);
|
||||
assert_eq!(modified_cache.len() / HASHSIZE, 13);
|
||||
|
||||
assert_eq!(merkle, modified_cache);
|
||||
}
|
||||
@@ -197,13 +267,33 @@ fn outer_builds() {
|
||||
// Generate reference data.
|
||||
let mut data = vec![];
|
||||
data.append(&mut int_to_bytes32(0));
|
||||
data.append(&mut inner.build_cache_bytes());
|
||||
let inner_bytes = inner.build_cache_bytes();
|
||||
data.append(&mut int_to_bytes32(5));
|
||||
let merkle = merkleize(data);
|
||||
|
||||
assert_eq!(merkle, cache);
|
||||
let leaves = vec![
|
||||
int_to_bytes32(0),
|
||||
inner_bytes[0..32].to_vec(),
|
||||
int_to_bytes32(5),
|
||||
vec![0; 32], // padding
|
||||
];
|
||||
let mut merkle = merkleize(join(leaves));
|
||||
merkle.splice(4 * 32..5 * 32, inner_bytes);
|
||||
|
||||
assert_eq!(merkle.len() / HASHSIZE, 13);
|
||||
assert_eq!(cache.len() / HASHSIZE, 13);
|
||||
|
||||
for (i, chunk) in cache.chunks(HASHSIZE).enumerate() {
|
||||
assert_eq!(
|
||||
merkle[i * HASHSIZE..(i + 1) * HASHSIZE],
|
||||
*chunk,
|
||||
"failed on {}",
|
||||
i
|
||||
);
|
||||
}
|
||||
// assert_eq!(merkle, cache);
|
||||
}
|
||||
|
||||
/*
|
||||
#[test]
|
||||
fn partial_modification_u64_vec() {
|
||||
let n: u64 = 50;
|
||||
@@ -272,6 +362,7 @@ fn vec_of_u64_builds() {
|
||||
|
||||
assert_eq!(expected, cache);
|
||||
}
|
||||
*/
|
||||
|
||||
#[test]
|
||||
fn merkleize_odd() {
|
||||
|
||||
Reference in New Issue
Block a user