verisync-blog.rs

// This is pseudo-code of downloading a snapshot.
roots <- set { state_root }
while let Some(root) = roots.pop_any() {
  c = download_chunk(root);
  assert root == merklize(c)
  store(c)
  roots.insert(all children of terminal Branches in c)
}