Confirmation Rule

configs/mainnet.yaml

@@ -101,6 +101,13 @@ REORG_PARENT_WEIGHT_THRESHOLD: 160
 REORG_MAX_EPOCHS_SINCE_FINALIZATION: 2
 
 
+# Confirmation rule
+# ---------------------------------------------------------------
+# 20%
+CONFIRMATION_BYZANTINE_THRESHOLD: 20
+# 0 Gwei
+CONFIRMATION_SLASHING_THRESHOLD: 0
+
 # Deposit contract
 # ---------------------------------------------------------------
 # Ethereum PoW Mainnet

configs/minimal.yaml

@@ -100,6 +100,12 @@ REORG_PARENT_WEIGHT_THRESHOLD: 160
 # `2` epochs
 REORG_MAX_EPOCHS_SINCE_FINALIZATION: 2
 
+# Confirmation rule
+# ---------------------------------------------------------------
+# 20%
+CONFIRMATION_BYZANTINE_THRESHOLD: 20
+# 0 Gwei
+CONFIRMATION_SLASHING_THRESHOLD: 0
 
 # Deposit contract
 # ---------------------------------------------------------------

setup.py

@@ -391,6 +391,10 @@ def finalize_options(self):
             print("no paths were specified, using default markdown file paths for pyspec"
                   " build (spec fork: %s)" % self.spec_fork)
             self.md_doc_paths = get_md_doc_paths(self.spec_fork)
+            if self.spec_fork not in ('phase0', 'altair'):
+                self.md_doc_paths += """
+                    fork_choice/confirmation-rule.md
+                """
             if len(self.md_doc_paths) == 0:
                 raise Exception('no markdown files specified, and spec fork "%s" is unknown', self.spec_fork)
 

specs/phase0/fork-choice.md

@@ -129,6 +129,9 @@ class Store(object):
     unrealized_justified_checkpoint: Checkpoint
     unrealized_finalized_checkpoint: Checkpoint
     proposer_boost_root: Root
+    highest_confirmed_block_current_epoch: Root
+    highest_confirmed_block_previous_epoch: Root
+    leaves_last_slot_previous_epoch: Set[Root]    
     equivocating_indices: Set[ValidatorIndex]
     blocks: Dict[Root, BeaconBlock] = field(default_factory=dict)
     block_states: Dict[Root, BeaconState] = field(default_factory=dict)
@@ -173,7 +176,10 @@ def get_forkchoice_store(anchor_state: BeaconState, anchor_block: BeaconBlock) -
         blocks={anchor_root: copy(anchor_block)},
         block_states={anchor_root: copy(anchor_state)},
         checkpoint_states={justified_checkpoint: copy(anchor_state)},
-        unrealized_justifications={anchor_root: justified_checkpoint}
+        unrealized_justifications={anchor_root: justified_checkpoint},
+        highest_confirmed_block_current_epoch=justified_checkpoint.root,
+        highest_confirmed_block_previous_epoch=justified_checkpoint.root,
+        leaves_last_slot_previous_epoch=set()
     )
 ```
 
@@ -551,7 +557,7 @@ def on_tick_per_slot(store: Store, time: uint64) -> None:
     # If this is a new slot, reset store.proposer_boost_root
     if current_slot > previous_slot:
         store.proposer_boost_root = Root()
-
+            
     # If a new epoch, pull-up justification and finalization from previous epoch
     if current_slot > previous_slot and compute_slots_since_epoch_start(current_slot) == 0:
         update_checkpoints(store, store.unrealized_justified_checkpoint, store.unrealized_finalized_checkpoint)