zecfoundation
/
zebra
mirror of https://github.com/ZcashFoundation/zebra.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

State RFC - handle duplicates of finalized blocks

This commit is contained in:
teor 2020-09-23 21:20:41 +10:00
parent df9252c759
commit 5ed27dc8a1
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
book/src/dev/rfcs/0005-state-updates.md
View File

@ -520,19 +520,22 @@ to the in memory state, then we finalize all lowest height blocks that are
past the reorg limit, finally we process any queued blocks and prune any that
are now past the reorg limit.
1. Run contextual validation on `block` against the finalized and non
1. If the block itself exists in the finalized chain, it has already been successfully verified:
- broadcast `Ok(block.hash())` via `block.rsp_tx`, and return
2. Run contextual validation on `block` against the finalized and non
finalized state
2. If `block.parent` == `finalized_tip.hash`
3. If `block.parent` == `finalized_tip.hash`
- Construct a new `chain` with `Chain::default`
- call `let hash = chain_set.push_block_on_chain(block, chain)`
- add `fork` to `chain_set.chains`
- return `hash`
3. Otherwise, commit or queue the block to the non-finalized state with
4. Otherwise, commit or queue the block to the non-finalized state with
`chain_set.queue(block);`
4. If the best chain is longer than the reorg limit
5. If the best chain is longer than the reorg limit
- Finalize all lowest height blocks in the best chain, and commit them to
disk with `CommitFinalizedBlock`: