8000 spec/mempool: First formal spec of the mempool implementation · Issue #614 · cometbft/cometbft · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

spec/mempool: First formal spec of the mempool implementation #614

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.

Sign up for GitHub

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

Jump to bottom
Closed
Tracked by #612
hvanz opened this issue Mar 30, 2023 · 3 comments
Closed
Tracked by #612

spec/mempool: First formal spec of the mempool implementation #614

hvanz opened this issue Mar 30, 2023 · 3 comments
Assignees
@hvanz
Labels
mempool spec Specification-related

Comments

@hvanz
Copy link
Member
hvanz commented Mar 30, 2023

No description provided.

@hvanz hvanz mentioned this issue Mar 30, 2023
Closed
2 tasks
@hvanz hvanz added mempool spec Specification-related labels Mar 30, 2023
@hvanz hvanz added this to the 2023-Q2 milestone Mar 30, 2023
@hvanz hvanz self-assigned this Mar 30, 2023
@hvanz hvanz changed the title mempool: First Quint spec of the transaction propagation protocol spec/mempool: First Quint spec of the transaction propagation protocol Mar 30, 2023
@hvanz hvanz moved this from Todo to In Progress in CometBFT 2023 May 5, 2023
@hvanz hvanz changed the title spec/mempool: First Quint spec of the transaction propagation protocol spec/mempool: First formal spec of the transaction propagation protocol May 5, 2023
@hvanz hvanz mentioned this issue May 5, 2023
Closed
2 tasks
@hvanz hvanz removed this from the 2023-Q2 milestone Jun 8, 2023
@hvanz hvanz mentioned this issue Jun 12, 2023
Merged
@hvanz
Copy link
Member Author
hvanz commented Jun 30, 2023

We now have two specs of the mempool written in Quint in the knowledge-base repo. One is a high-level spec, which can apply to any implementation of the mempool. Another is for the v0 implementation, closer to the current code.

@hvanz hvanz closed this as completed Jun 30, 2023
@github-project-automation github-project-automation bot moved this from In Progress to Done in CometBFT 2023 Jun 30, 2023
@cason
Copy link
Contributor
cason commented Jul 5, 2023

I am afraid that this spec does not cover the propagation of transactions. It is about the mempool as a data structure and how it relates with the other components (application, consensus).

@lasarojc lasarojc mentioned this issue Jul 5, 2023
Closed
3 tasks
@lasarojc lasarojc reopened this Jul 5, 2023
@lasarojc lasarojc closed this as completed Jul 5, 2023
@hvanz hvanz changed the title spec/mempool: First formal spec of the transaction propagation protocol spec/mempool: First formal spec of the mempool implementation Jul 5, 2023
@hvanz
Copy link
Member Author
hvanz commented Jul 5, 2023

I am afraid that this spec does not cover the propagation of transactions. It is about the mempool as a data structure and how it relates with the other components (application, consensus).

I changed the title to properly reflect what happened here. The original intention was to spec the implementation (data structures). A new issue will track the work on specifying the propagation protocol (see #1076).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hvanz hvanz

Labels
mempool spec Specification-related
Projects
No open projects
CometBFT 2023
Status: Done
Milestone
No milestone
Development

No branches or pull requests
3 participants
@cason @lasarojc @hvanz
0