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

Verifying committee member

Browse Source
This commit is contained in:
mjalalzai 2023-10-04 15:11:03 -07:00
parent 1a0d66a2bc
commit ceea890abf
1 changed files with 12 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -15,7 +15,7 @@ def int_to_id(i: int) -> Id:
class StandardQc:
block: Id
view_num: View # Changed the variable name to avoid conflict with the class name
root_qc: bool # Determines if the QC is build by the leader and is collection of 2/3+1 votes.
Comm_No: int # This committee position in the set of committees
# If it is false then the QC is built by the committees with 2/3 collection of votes from subtree of the collector
# committee.
@ -24,6 +24,9 @@ class StandardQc:
return self.view_num # Changed the method name to view_num
@dataclass
class AggregateQc:
qcs: List[View]
@ -314,13 +317,17 @@ class Carnot:
def approve_block(self, block: Block, votes: Set[Vote]) -> Event:
# Assertions for input validation
assert block.id() in self.safe_blocks
assert len(votes) == self.overlay.super_majority_threshold(self.id)
assert all(self.overlay.is_member_of_child_committee(self.id, vote.voter) for vote in votes)
# This assertion will be moved outside as the approve_block will be called in two cases:
#1st the fast path when len(votes) == self.overlay.super_majority_threshold(self.id) and the second
#When there is the first timeout t1 for the fast path and the protocol operates in the slower path
# in this case the node will prepare a QC from votes it has received.
# assert len(votes) == self.overlay.super_majority_threshold(self.id)
assert all(self.overlay.is_member_of_my_committee(self.id, vote.voter) for vote in votes)
assert all(vote.block == block.id() for vote in votes)
assert self.highest_voted_view < block.view
# Create a QC based on committee membership
qc = self.build_qc(block.view, block, None) if self.overlay.is_member_of_root_committee(self.id) else None
qc = self.build_qc(block.view, block, None) #if self.overlay.is_member_of_root_committee(self.id) else None
# Create a new vote
vote = Vote(
@ -341,3 +348,4 @@ class Carnot:
# Return a Send event to the appropriate recipient
return Send(to=recipient, payload=vote)