Update Carnot-Specs

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

View File

@ -133,6 +133,7 @@ Utilities:
if childcommittee(vote.signer) { collection[vote.block].append(vote)}
if supermajority(collection[vote.block]){
send(vote, parentCommittee)
curView++
reset()
tryToCommitGrandParent(block)
}
@ -144,6 +145,7 @@ Utilities:
qc=buildQC(collection[vote.block])
send(qc, leader(curView+1))
send(vote, leader(curView+1))
curView++
reset()
tryToCommitGrandParent(block)
}
@ -151,6 +153,8 @@ Utilities:
}
if
}