logos-co/roadmap
1
0
Fork 0
mirror of https://github.com/logos-co/roadmap.git synced 2025-01-24 06:59:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update Carnot-Specs

Browse Source
This commit is contained in:
mjalalzai 2023-02-26 13:29:36 -08:00 committed by GitHub
parent 210ab75ee2
commit 92c255ee48
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
content/roadmap/consensus/candidates/carnot/Carnot-Specs
View File

@ -48,6 +48,8 @@ Utilities:
download(view): Download missing block for the view.
getMaxViewQC(qcs): returns the qc with the highest view number.
memberOfLeafCommittee(): returns true if a node is in the leaf committee of the committee overlay
ifmemberOfInternalnodes(): returns true if a node is member of internal committees within the committee tree overlay
childcommittee(nodeIndx): returns if the node id in the nodeIndx is member of the child committee
@ -100,7 +102,7 @@ Utilities:
func receive(block){
Func receive(block){
if block.hash is known OR block.view <= latestCommittedBlock.view {return}
if block.parent missing{ download(block.parent)}
if block.qc != Null
@ -121,4 +123,15 @@ Utilities:
}
}
Func receive(vote){
if vote.block missing {download(vote.block)}
if vote.block.view < curView - 1{ return}
if ifmemberOfInternalnodes(nodeIndx) && nodeIndx=!leader(curViewSeed) {
if childcommittee(vote.signer) { collection[vote.block].append(vote)}
}
}