logos-co/roadmap
1
0
Fork 0
mirror of https://github.com/logos-co/roadmap.git synced 2025-02-03 03:43:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update Carnot-Specs

Browse Source
This commit is contained in:
mjalalzai 2023-02-26 11:07:58 -08:00 committed by GitHub
parent 6a2deaecb9
commit 8bea2b4ab5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 15 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -47,6 +47,7 @@ Utilities:
extends(block, ancestor): returns true if block is descendant of the ancestor in the chain. extends(block, ancestor): returns true if block is descendant of the ancestor in the chain.
download(view): Download missing block for the view. download(view): Download missing block for the view.
getMaxViewQC(qcs): returns the qc with the highest view number. 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
@ -80,7 +81,7 @@ Utilities:
download(curView) download(curView)
} }
} }
reset() #reset()
} }
if aggQC != Null { # Unhappy case if aggQC != Null { # Unhappy case
@ -91,7 +92,7 @@ Utilities:
download(curView) download(curView)
} }
} }
reset() #reset()
} }
} }
@ -110,8 +111,19 @@ Utilities:
if block.aggQC.highQC.view <= latestCommittedBlock.view {return} if block.aggQC.highQC.view <= latestCommittedBlock.view {return}
} }
if safeBlock(block){
update_higQC(block.qc, block.aggQC)
if memberOfLeafCommittee(){ send(vote, parentCommittee)
reset()
}
}
} }