Update Carnot-Specs

This commit is contained in:
mjalalzai 2023-02-27 00:01:05 -08:00 committed by GitHub
parent 71d85dcd78
commit 82188efee1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -161,7 +161,12 @@ Utilities:
if nodeIndx==leader(view){
collection[vote.block].append(vote)
if supermajority(collection[vote.block]){
qc=buildQC(collection[vote.block])
block=buildBlock()
Broadcast(block)
}
}