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

feat(spec): Requirements for the proposer selection algorithm #739

Merged
merged 23 commits into from
Jan 13, 2025

Conversation

cason
Copy link
Contributor

@cason cason commented Jan 6, 2025

Closes #396.

Since some discussion in #388 have driven this requirements discussion, I have made some small changes to the misbehavior.md file as well, in order to fully address the referenced issue.


PR author checklist

For all contributors

For external contributors

@cason cason added the spec Related to specifications label Jan 6, 2025
@cason cason self-assigned this Jan 6, 2025
Base automatically changed from cason/367-consensus-overview to main January 7, 2025 09:48
@cason cason marked this pull request as ready for review January 9, 2025 18:22
@cason cason requested a review from josef-widder as a code owner January 9, 2025 18:22
Copy link
Member

@josef-widder josef-widder left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. I just left a comment wondering whether we should mention priorities in the proposer selection algorithm...

Comment on lines 483 to 484
The [proposer selection procedure of CometBFT][cometbft-proposer], a Tendermint
implementation in Go, is a useful reference of how fairness can be achieved.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should we mention (not explain) that Comet's proposer selection maintains priorities (I guess as part of the validator set) to achieve fairness?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is a good point. Refer to the quoted block that I have added with the reference to Comet and a minimal discussion regarding determinism and internal state of the algorithm.

I am trying to keep implementation details aside of this documentation, that is why I added this quoted block.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for adding the paragraph. I contains just the right level of detail.

@cason cason added this pull request to the merge queue Jan 13, 2025
Merged via the queue into main with commit 304c8ee Jan 13, 2025
2 checks passed
@cason cason deleted the cason/396-proposer-selection branch January 13, 2025 11:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
spec Related to specifications
Projects
None yet
Development

Successfully merging this pull request may close these issues.

spec: Define the requirements for the proposer selection algorithm
2 participants