[ZKS-08][HackerOne-2289066] Make leader election tamper resistant #2378
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
@randomsleep This should address the leader manipulation concerns you mentioned. Let us know if you do not believe this is the case. |
howardwu
approved these changes
Mar 8, 2024
raychu86
changed the title
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Motivation
This PR updates the leader election algorithm to be tamper resistant by removing mutable fields (
starting_roundandtotal_stake) from the seed and changing the committee sorting to be based on the address x-coordinate.Leader election will now be more predictable (if the committee sets do not change), but should no longer be able to be manipulated by changing stake via
bond/unbonds.Discussion can be found here: AleoHQ/snarkOS#2986 (comment)
Test Plan
The current tests indicate that this approach is still stake weighted properly.
Audit Finding: [zksecurity 08] Potentially Biased Leader Election