logos-blockchain/logos-blockchain-specs
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-specs.git synced 2026-01-05 22:53:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update spec.md

Browse Source
This commit is contained in:
mjalalzai 2023-09-10 19:57:43 -07:00 committed by GitHub
parent dd3154d61a
commit d32e353c5a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
carnot/spec.md
View File

@ -49,20 +49,15 @@ As for ordering between events, there are some constraints (e.g. can't process a
# Alias Data Types:
## Id: TypeAlias = bytes
### Explanation:
Id is an alias data type representing an identifier, which is essentially a sequence of bytes. It is used to uniquely identify various entities within the protocol. This includes node identity and block Id or block hash.
## View: TypeAlias = int
### Explanation:
View is an alias data type representing a view, which is a monotonically increasing integer. Views are used to represent different phases or stages within the protocol. It is also called round.
## Committee: TypeAlias = Set[Id]
### Explanation:
A committee is an alias data type representing a set of Id values. It is used to define a committee, which is a group of participants in the protocol.
## Qc: TypeAlias = StandardQc | AggregateQc
### Explanation:
Qc is an alias data type representing a quorum certificate. It can either be a StandardQc or an AggregateQc, depending on the context. Quorum certificates are used to denote agreement on certain protocol-related actions. AggregateQc is a set of StandardQcs collected during a specific view after failure.
## Payload:
TypeAlias = Block | Vote | Timeout | NewView | TimeoutQc
## Explanation:
Payload is an alias data type representing the payload of messages exchanged within the protocol. It can be one of several types, including Block, Vote, Timeout, NewView, or TimeoutQc, each serving a specific purpose in the protocol.
## Messages