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 20:24:43 -08:00 committed by GitHub
parent 804b63e547
commit 4d261d7392
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -48,8 +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
ifmemberOfInternalComExceptRoot(): returns true if a node is member of internal committees within the committee tree overlay
childcommittee(nodeIndx): returns true if the node id in the nodeIndx is member internal node (but not root) of the overlay
supermajority(votes): returns if the number of distinctive signers of votes for a block is above threshold or returns if the qourum size is correct.
@ -128,7 +128,7 @@ 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 ifmemberOfInternalComExceptRoot(nodeIndx) {
if childcommittee(vote.signer) { collection[vote.block].append(vote)}
if supermajority(collection[vote.block]){
send(vote, parentCommittee)