logos-blockchain/logos-blockchain-specs
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-specs.git synced 2026-01-27 01:13:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Safe block

Browse Source
This commit is contained in:
mjalalzai 2023-09-21 19:34:06 -07:00
parent 8d0a1e4701
commit d00eae4c2c
1 changed files with 21 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
carnot/carnot-vote-aggregation.py
View File

@ -236,21 +236,27 @@ class Carnot:
# Return True if both conditions are met
return is_view_incremented and is_standard_qc
def latest_committed_view(self) -> View:
return self.latest_committed_block().view
def latest_committed_view(self) -> View:
return self.latest_committed_block().view
# Return a list of blocks received by a node for a specific view.
# More than one block is returned only in case of a malicious leader.
def blocks_in_view(self, view: View) -> List[Block]:
return [block for block in self.safe_blocks.values() if block.view == view]
# Return a list of blocks received by a node for a specific view.
# More than one block is returned only in case of a malicious leader.
def blocks_in_view(self, view: View) -> List[Block]:
return [block for block in self.safe_blocks.values() if block.view == view]
def genesis_block(self) -> Block:
return self.blocks_in_view(0)[0]
def genesis_block(self) -> Block:
return self.blocks_in_view(0)[0]
def latest_committed_block(self) -> Block:
for view in range(self.current_view, 0, -1):
for block in self.blocks_in_view(view):
if self.can_commit_grandparent(block):
return self.safe_blocks.get(self.safe_blocks.get(block.parent()).parent())
# The genesis block is always considered committed.
return self.genesis_block()
def latest_committed_block(self) -> Block:
for view in range(self.current_view, 0, -1):
for block in self.blocks_in_view(view):
if self.can_commit_grandparent(block):
return self.safe_blocks.get(self.safe_blocks.get(block.parent()).parent())
# The genesis block is always considered committed.
return self.genesis_block()
def block_is_safe(self, block: Block) -> bool:
if isinstance(block.qc, (StandardQc,)):
return block.view_num == block.qc.view() + 1
if isinstance(block.qc, (AggregateQc,)):
return (block.view_num == block.qc.view() + 1) and block.extends(self.latest_committed_block())