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

spec/mempool: First version of a formal specification #612

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
2 tasks done
Tracked by #23
hvanz opened this issue Mar 29, 2023 · 3 comments
Closed
2 tasks done
Tracked by #23

spec/mempool: First version of a formal specification #612

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

Comments

@hvanz
Copy link
Member
hvanz commented Mar 29, 2023 •
edited
Loading

A formal specification of the transaction propagation protocol in the mempool would allow to identify problems in the current implementation, propose optimizations, and help design a future implementation.

Tasks
@hvanz hvanz added mempool spec Specification-related labels Mar 29, 2023
@hvanz hvanz added this to the 2023-Q2 milestone Mar 29, 2023
@hvanz hvanz self-assigned this Mar 29, 2023
@hvanz hvanz mentioned this issue Mar 29, 2023
Open
40 tasks
@sergio-mena
Copy link
Contributor

Will this be done in collaboration with Pierre? Or is it something you would like to do in preparation before he starts?

@hvanz
Copy link
Member Author
hvanz commented Mar 30, 2023

I plan to do this one with Pierre. Before, I would just like to experiment a bit with Quint to have a better understanding of the language.

@hvanz hvanz moved this from Todo to In Progress in CometBFT 2023 May 11, 2023
@otrack otrack mentioned this issue Jun 19, 2023
Merged
3 tasks
@hvanz
Copy link
Member Author
hvanz commented Jun 30, 2023

The results are in the knowledge-base repo:

@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
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
2023-Q2
Development

No branches or pull requests
2 participants
@sergio-mena @hvanz
0