Update Carnot-Specs

This commit is contained in:
mjalalzai 2023-02-26 23:21:49 -08:00 committed by GitHub
parent 6bd72fcb3a
commit 71d85dcd78
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -119,7 +119,12 @@ Utilities:
if memberOfLeafCommittee(){ send(vote, parentCommittee)
reset()
tryToCommitGrandParent(block)
}
}
if onlyOneCommittee(){
send(vote, leader(view+1))
reset()
tryToCommitGrandParent(block)
}
}
@ -153,7 +158,12 @@ Utilities:
}
if
if nodeIndx==leader(view){
}
}