Verify OP Round 2 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

Description

According to Jonas:

Step 1/Input: Every voter assigns their full voting power among projects

Step 2/Output: Project scores are calculated by using the simple average

Formal Model

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

References

Input Anonymized sample of the voting data (votes are secret in this round): https://docs.google.com/spreadsheets/d/109tbjk7x6Lk5di8GKtRZkT_dVGq7EtewrDslRrDfdfY/edit?gid=0#gid=0

Output/logic https://docs.google.com/spreadsheets/d/185QXV1V6Q4mF41MG2qycYgxj9bkHQO1qCTilAfceF2k/edit?usp=sharing

Public docs:
https://community.optimism.io/citizens-house/rounds/retropgf-2

---

Notes:

[linear[bot]]

GOV-18 Verify OP Round 2 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