logos-blockchain/logos-blockchain-specs
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-specs.git synced 2026-01-16 20:13:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update spec.md

Browse Source
This commit is contained in:
mjalalzai 2023-09-05 07:59:44 -07:00 committed by GitHub
parent f635996d10
commit 796e1963dd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
carnot/spec.md
View File

@ -1,3 +1,13 @@
# Background / Rationale / Motivation
The Carnot protocol is designed to be elastic, responsive, and provide fast finality
Elastic scalability allows the protocol to operate effectively with both small and large networks
All nodes in the Carnot network participate in the consensus of a block
Optimistic responsiveness enables the protocol to operate quickly during periods of synchrony and honest leadership
There is no block generation time in Carnot, allowing for fast finality
Carnot avoids the chain reorg problem, making it compatible with PoS schemes
This enhances the robustness of the protocol, making it a valuable addition to the ecosystem of consensus protocols
# Carnot Specification
This is the pseudocode specification of the Carnot consensus algorithm.
In this specification we will omit any cryptographic material, block validity and proof checks. A real implementation is expected to check those before hitting this code.
@ -333,4 +343,4 @@ def timeout(view: View, msgs: Set[TimeoutMsg]):
```
We need to make sure that qcs can't be removed from aggQc when going up the tree
We need to make sure that qcs can't be removed from aggQc when going up the tree