Verify OP Round 3 Voting Rule

[AngelaKTE]

Status:

✅ Our specification: https://www.overleaf.com/project/667bebbdb70211dfcff39701

✅ Implemented in our model: https://github.com/GovXS/OP-Evaluating-Voting-Design-Tradeoffs-for-Retro-Funding-RESEARCH-/blob/main/model/VotingRules.py

✅ Verification Model Input/Output: https://github.com/GovXS/OP-Evaluating-Voting-Design-Tradeoffs-for-Retro-Funding-RESEARCH-/blob/main/voting_rule_verification/verification.ipynb / Source: https://github.com/ethereum-optimism/op-analytics/blob/main/rpgf/rpgf3/rpgf_calculator/core/allocator.py

Formal Model

see: https://www.overleaf.com/project/667bebbdb70211dfcff39701

References

Methodology: https://github.com/ethereum-optimism/op-analytics/blob/main/rpgf/rpgf3/rpgf_calculator/core/allocator.py

Input

Anonymized voter data:

rpgf3_anon_walletlevel_data.csv

Output Round 3 results https://github.com/ethereum-optimism/op-analytics/blob/main/rpgf/rpgf3/results/rpgf3_results.csv

Public Documentation

https://community.optimism.io/citizens-house/rounds/retropgf-3

---

Notes:

[linear[bot]]

GOV-19 Verify OP Round 3 Voting Rule

#### Description Specify how we calculate the vote distribution applying … **Specification (add Overleaf)** see: [https://www.overleaf.com/project/667bebbdb70211dfcff39701](https://www.overleaf.com/project/667bebbdb70211dfcff39701) #### References (links) --- #### Notes: Notes in Discord if needed

[AngelaKTE]

@idrees535 let's check if we can verify based on this data sample:

• The input is an anonymized samle that provides dictionaries structured like {"amount":"300000","projectId":"fakeID_2"}
• these "fakeIDs" does not allow us to link it to the actual output and verify our implementation

… am I missing sth here?