[Peras 23] wFA^LS and EveryoneVotes voting committee implementations#1975
Open
agustinmista wants to merge 5 commits intoperas/generic-voting-committee-apifrom
Open
[Peras 23] wFA^LS and EveryoneVotes voting committee implementations#1975agustinmista wants to merge 5 commits intoperas/generic-voting-committee-apifrom
agustinmista wants to merge 5 commits intoperas/generic-voting-committee-apifrom
Conversation
This was referenced Apr 13, 2026
agustinmista
requested review from
bladyjoker,
dnadales,
geo2a,
jasagredo and
nfrisby
as code owners
agustinmista
force-pushed
the
peras/wfals-everyonevotes-implementations
branch
from
4fcfdf3 to
19f3766
Compare
agustinmista
force-pushed
the
peras/generic-voting-committee-api
branch
from
d6a1575 to
8ead4f4
Compare
agustinmista
force-pushed
the
peras/wfals-everyonevotes-implementations
branch
from
19f3766 to
9c10f37
Compare
agustinmista
force-pushed
the
peras/generic-voting-committee-api
branch
from
8ead4f4 to
7381729
Compare
This commit implements the deterministic core of the weighted Fait-Accompli algorithm using a precomputed extended stake distribution, shareable across multiple voting committees running on the same epoch. The implementation includes a tiebreaker mechanism to allow altering the order of pools with the same stake when the threshold index between persistent and non-persistent voters would land between them. This can later be instantiated to allow for a fair split across epochs. Co-authored-by: Nicolas BACQUEY <[email protected]> Co-authored-by: Thomas BAGREL <[email protected]> Co-authored-by: Agustin Mista <[email protected]>
This commit implements the local sortition fallback scheme needed by wFA^LS to allocate non-persistent voters. Each non-persistent voter provides a VRF output that gets normalized and compared against the output of a numerically-stable stake-weighted Poisson distribution. Co-authored-by: Nicolas BACQUEY <[email protected]> Co-authored-by: Thomas BAGREL <[email protected]> Co-authored-by: Agustin Mista <[email protected]>
This commit defined the weighted Fait-Accompli with local soritition voting scheme (WFALS) using the separate WFA and LS components. This includes the definition of both persistent and non-pesistent abstract votes and abstract certificates. NOTE: it is the job of the low-level vote and certificate implementation to provide the plumbing needed to convert between abstract and concrete values, possibly allowing the same concrete definitions to work with multiple voting commitee implementations. Co-authored-by: Nicolas BACQUEY <[email protected]> Co-authored-by: Thomas BAGREL <[email protected]> Co-authored-by: Agustin Mista <[email protected]>
This commit implements EveryoneVotes a simpler alternative to WFALS where every voter with non-negative stake is entitled to vote. This exists as a baseline to run benchmarks against later on. Co-authored-by: Nicolas BACQUEY <[email protected]> Co-authored-by: Thomas BAGREL <[email protected]> Co-authored-by: Agustin Mista <[email protected]>
Co-authored-by: Nicolas BACQUEY <[email protected]> Co-authored-by: Thomas BAGREL <[email protected]> Co-authored-by: Agustin Mista <[email protected]>
agustinmista
force-pushed
the
peras/wfals-everyonevotes-implementations
branch
from
9c10f37 to
9bd7727
Compare
agustinmista
force-pushed
the
peras/generic-voting-committee-api
branch
from
7381729 to
047702c
Compare
1 task
This was
linked to
issues
Apr 16, 2026
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
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.
This PR implements two concrete voting committee strategies:
WFALS), andEveryoneVotes)While Peras will use
WFALSat the beginning,EveryoneVotesserves as a baseline for future benchmarks, as well as a starting point for Leios shall they end up opting for a simpler approach.NOTES:
WFALSdepends on two separate sub-componenents:WFA: the pure weighted Fait-Accompli seat split algorithm, which relies on an "extended stake distribution"ExtWFAStakeDistr(a sorted array of pools with cumulative stake). The latter can be precomputed at the beginning of an epoch and shared across multiple voting committees (e.g. shared between Leios and Peras).LS: the Local Sortition check for non-persistent voters, mapping their VRF outputs into seats sampled through a Poisson distribution.For simplicity,
EveryoneVotesreuses the sameExtWFAStakeDistras WFALS. This way, if Leios is instantiated withEveryoneVotes, it could still use the same precomputed data as Peras.Both voting committee implementations defined their own abstract vote and certificate type and it's up to the clients to marshal between these types and their concrete ones (possibly using the same underlying representation and serialization routines)