Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

spec/consensus: Draft specification of the P2P/Gossip/Consensus interaction #16

Closed
lasarojc opened this issue Dec 23, 2022 · 0 comments
Closed
Assignees

Comments

@lasarojc
Copy link
Contributor

lasarojc commented Dec 23, 2022

This issue addressed the first tasks of #15.

The following description of the work done here. This task will be closed and new ones will be open to deal with remaining tasks, in small chunks.

The work so far It consisted of an exploratory study of the interaction between Consensus and Gossip, which delved into the discrepancy between what the Tendermint algorithm uses to prove progress (defined as Gossip Communication) what it actually needs. Initially this work explored communication with supersession of messages (which may be dropped) and then on eventual consistent state replication, in the form of a 2P-Set CRDT.

The artifacts produced were

  • the English specification of the GOSSIP-I interface and its corresponding Quint specification
  • a mock "implementation" of GOSSIP, to test GOSSIP-I using Quint, which achieves eventual consistency instantaneously,
  • an abstract specification of GOSSIP, to test GOSSIP-I using Quint, which achieves uses P2P-I to send and receive messages,
  • the English specification of P2P-I and its corresponding Quint specification
  • a mock "implementation" of P2P, to test P2P-I using Quint, which delivers messages instantaneously,
  • an abstract specification of P2P, which a delivers messages with some delay.
@lasarojc lasarojc self-assigned this Dec 23, 2022
@lasarojc lasarojc added major-priority A major, long-running priority for the team and removed major-priority A major, long-running priority for the team labels Dec 23, 2022
@lasarojc lasarojc changed the title Draft specification of the P2P/Gossip/Consensus interaction spec/consensus: Draft specification of the P2P/Gossip/Consensus interaction Mar 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Status: Done
Development

No branches or pull requests

1 participant