Pith. sign in

REVIEW 4 major objections 3 minor 34 references

A Social Choice Analysis of Optimism's Retroactive Project Funding

T0 review · 4 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The abstract argues RetroPGF should switch to a moving-phantoms vote rule to raise L1 social welfare and block strategic voting, but the supplied body never analyzes RetroPGF.

desk verdict Promising abstract, but the delivered file is an unrelated topology preprint and the domain gap for moving phantoms is load-bearing—not reviewable as submitted. read the letter →

arxiv 2508.16285 v1 pith:SVYTEYZX submitted 2025-08-22 cs.GT

Eyal Briman , Nimrod Talmon , Angela Kreitenweis , Muhammad Idrees This is my paper
classification cs.GT
keywords RetroPGFOptimismDAOgovernancemovingphantomsstrategyproofnessL1socialwelfarepublicgoodsfundingcomputationalchoice
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper points to Optimism's Retroactive Project Funding (RetroPGF), a DAO program that has already allocated more than $100M in OP tokens over four rounds with $1.3B reserved, and proposes changing how voters' opinions are aggregated. The proposal is to adopt a utilitarian moving phantoms mechanism, originally introduced by Freeman et al. 2019, which the paper says improves L1-norm social welfare while satisfying strategyproofness. A sympathetic reader would care because this is a test of whether formal mechanism design can improve real decentralized governance at scale. The manuscript supplied with this abstract, however, is an expository topology text on homotopy classification of closed polygonal lines; it contains no analysis of RetroPGF, so the recommendation is not supported in the provided body.

What carries the argument

The moving phantoms mechanism: a voting rule (from Freeman et al. 2019) in which each voter's report is represented on a line and 'phantoms' are placed on that line to determine the outcome; it is built to guarantee strategyproofness and to optimize social welfare under the L1 norm. In the abstract, it is the machinery claimed to improve RetroPGF. The body of the provided manuscript provides no description of this mechanism; instead its machinery is the winding number and cyclic Poincaré words for homotopy classification of polygonal lines.

What would settle it

Gather the ballots from a completed RetroPGF round, encode each voter's reported support for projects as points on a line, and test whether the utilitarian moving phantoms outcome beats the realized allocation under L1 utility; also run a manipulation test by simulating misreports. If the mechanism's outcome does not dominate, or if the preference profiles are not single-peaked, the central claim collapses.

Watch

Extended reading notes

Core claim

The central discovery the authors state is that the current RetroPGF allocation system has significant shortcomings and that a utilitarian moving phantoms mechanism can fix them: the mechanism maximizes L1-norm social welfare and is strategyproof, both properties aligned with the governance requirements. The moving phantoms mechanism is the carrying object; it is imported from Freeman et al. (2019) and proposed as the aggregation rule for RetroPGF ballots. What is missing in the full text provided is any connection between these two claims: the body develops winding numbers and homotopy classification of polygonal lines, not voting mechanisms. Thus the abstract's recommendation stands alone

Load-bearing premise

The load-bearing premise is that RetroPGF voters' preferences over projects can be represented as single-peaked preferences on a line, the domain where the moving phantoms mechanism's strategyproofness and L1-welfare guarantees are proven; the manuscript supplies no evidence that real multi-project RetroPGF preferences satisfy this.

Editorial extensions

If this is right

  • If the claim is correct, RetroPGF's next rounds would allocate OP tokens according to a rule under which no voter can gain by misreporting, removing strategic maneuvering.
  • Adoption would be expected to increase L1-norm social welfare relative to the current aggregation, meaning larger total reported utility across voters for the same budget.
  • The same framework could be applied to other DAO funding rounds or any public-goods allocation that uses preference ballots.
  • The paper's formal treatment gives DAO designers a template for checking a mechanism for strategyproofness before deployment.
  • A corollary is that the current mechanism is suboptimal and should be replaced; the paper expects this to matter at the more than $100M scale.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A testable extension would be to simulate moving phantoms against RetroPGF's actual ballots and compare L1-welfare against the realized allocations; if the abstract's claim holds, the simulated outcome should dominate on that metric.
  • The guarantee probably depends on RetroPGF voters' preferences being representable in a single-dimensional single-peaked domain; if preferences are multidimensional, the same rule may not be strategyproof, and a different mechanism (e.g., sequential per-project votes or multidimensional medians) would be needed.
  • Choosing L1 social welfare as the objective is a governance value judgment; the paper assumes it is the right metric, but a DAO might instead weight minority projects or use budget constraints.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 3 minor

Summary. The manuscript as submitted consists of an abstract claiming that Optimism's RetroPGF has significant shortcomings and that adopting the utilitarian moving phantoms mechanism of Freeman et al. (2019) would improve L1-norm social welfare while satisfying strategyproofness, together with a full text titled 'Homotopy Classification of Closed Polygonal Lines: Results and Problems'. The full text is an expository topology paper on winding numbers, homotopy invariants, and related combinatorial group theory; it contains no mention of RetroPGF, DAOs, voting, social choice, or the moving phantoms mechanism. No formulation of the claimed framework, no theorem, no proof, no data analysis, and no comparison with the current RetroPGF allocation rule appears anywhere in the supplied manuscript.

Significance. The application of strategyproof, welfare-maximizing mechanisms to large-scale DAO funding is a timely and practically important question, and the abstract identifies a real allocation problem involving substantial funds. If the claimed result were properly derived, it could inform governance design in the blockchain ecosystem. However, as submitted, none of these claims can be evaluated: the supporting content is absent, and the central theoretical transfer from a single-peaked, single-dimensional mechanism to the multidimensional RetroPGF setting is unstated and unproved. The significance of the work cannot be assessed from the supplied text.

major comments (4)
  1. [Full text (all sections)] The full text of the submission is arXiv:2508.16287v2, 'Homotopy Classification of Closed Polygonal Lines', an expository paper in algebraic topology. It contains no material about Optimism, RetroPGF, DAOs, voting, or social choice. Consequently, the abstract's central assertions — that the current system has 'significant shortcomings', that a 'formal framework' is provided, and that adopting moving phantoms 'enhance[s] social welfare (using the L1 norm) while satisfying strategyproofness' — have no supporting derivation, proof, data, or error analysis in the manuscript. This is a load-bearing gap: there is no way to verify or falsify the paper's central claim from the submitted body.
  2. [Abstract, recommendation sentence] The recommendation to adopt the utilitarian moving phantoms mechanism silently imports the mechanism's guarantees from Freeman et al. (2019). That mechanism is defined for single-peaked preferences over a linear order of alternatives. RetroPGF ballots are naturally multidimensional: voters allocate scores or OP tokens across many independent projects rather than reporting a single point on a line. The abstract gives no argument, and the body contains no argument, that real RetroPGF preference profiles lie in the domain where the moving-phantoms strategyproofness and L1-welfare theorems hold. Without such a domain transfer, the claimed guarantees do not follow from the cited prior work; the central recommendation is therefore unsupported.
  3. [Abstract, formal framework claim] The abstract promises 'a formal framework for designing improved funding mechanisms for DAOs', but the manuscript provides no formal model of voters, projects, the current allocation rule, or the proposed mechanism. There is no definition of the L1 social welfare objective in the RetroPGF context, no theorem stating the conditions under which moving phantoms dominates the existing rule, and no treatment of the multi-project, multi-round features that distinguish RetroPGF from a single-dimensional social-choice problem. This is not a presentation issue but a missing central derivation.
  4. [Abstract, shortcomings claim] The abstract asserts that the current RetroPGF allocation system has 'significant shortcomings' and references four completed rounds allocating over 100M dollars, but provides no data, empirical analysis, or even a qualitative description of the specific flaws being addressed. While this is an empirical claim rather than a formal one, it is load-bearing for the motivation: without a documented baseline, the claimed welfare improvement relative to the current system cannot be assessed.
minor comments (3)
  1. [Title and metadata] The paper's title, authors, and abstract in the submission metadata refer to a social-choice analysis of Optimism RetroPGF, while the full-text article has a different title and different authors. This is a severe metadata mismatch; at minimum the manuscript needs to be recompiled or resubmitted with the correct body.
  2. [References] The abstract cites Freeman et al. (2019) by name but the body contains no bibliography entry for it. No sources are given for the claim that four RetroPGF rounds allocated over 100M dollars or that 1.3B dollars are reserved for future rounds.
  3. [Related work] The manuscript does not discuss existing work on DAO voting mechanisms, quadratic funding, or the extensive literature on multi-winner and participatory budgeting, all of which are directly relevant to the claimed contribution.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity detected; the recommendation is an explicit import of an external mechanism and the supplied full text contains no derivation to reduce.

full rationale

The abstract's central recommendation is to adopt the utilitarian moving phantoms mechanism 'originally introduced by Freeman et al. in 2019'. The strategyproofness and L1-welfare properties are explicitly attributed to that mechanism, not derived in the present paper. Importing a known mechanism into a new application is not circular unless the paper re-derives the target from the same assumptions or fits the target into the input. No equations or derivations appear in the supplied text; the 'full text' is a homotopy-classification expository preprint (arXiv:2508.16287v2) unrelated to RetroPGF, so there is no derivation chain on which a circular reduction could be exhibited. The absence of domain analysis (whether RetroPGF ballots satisfy the moving-phantoms single-peaked domain) is a substantive correctness/evidence gap, but it is not a self-referential or definitional equivalence. No self-citations, no fitted parameters, and no uniqueness claims appear. Hence the circularity score is 0.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

All entries are inferred from the abstract only, because the provided full text is a different paper. The recommendation to adopt the moving phantoms mechanism imports its guarantees from Freeman et al. 2019; whether those guarantees survive in RetroPGF depends on the preference domain and the welfare objective. No free parameters or invented entities are identifiable at the abstract level. If the full paper fits a tradeoff parameter, such as a phantom budget or an efficiency/strategyproofness knob, to the four RetroPGF rounds, that parameter would belong here.

assumptions (2)
  • domain assumption RetroPGF voter preferences are representable in the preference domain required by the moving phantoms mechanism (single-peaked style preferences on a line or equivalent structured domain)
    The abstract recommends the moving phantoms mechanism, whose welfare and strategyproofness guarantees only hold on its restricted preference domain. RetroPGF voters evaluate many projects at once, which is multidimensional, and the abstract gives no evidence that the preference profiles satisfy the mechanism's domain.
  • domain assumption Social welfare measured by the L1 norm is the correct governance objective for RetroPGF
    The abstract asserts that enhancing L1-norm social welfare is a key property 'aligned with the application's governance requirements'. This is a normative choice presented without justification or comparison to alternative objectives such as fairness or quadratic utility.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Social Choice Analysis of Optimism's Retroactive Project Funding." pith.science (2026). https://pith.science/paper/SVYTEYZX

@misc{pith2026250816285,
  author       = {Pith},
  title        = {Pith review of: A Social Choice Analysis of Optimism's Retroactive Project Funding},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SVYTEYZX}},
  note         = {Machine review of arXiv:2508.16285}
}
read the original abstract

The Optimism Retroactive Project Funding (RetroPGF) is a key initiative within the blockchain ecosystem that retroactively rewards projects deemed valuable to the Ethereum and Optimism communities. Managed by the Optimism Collective, a decentralized autonomous organization (DAO), RetroPGF represents a large-scale experiment in decentralized governance. Funding rewards are distributed in OP tokens, the native digital currency of the ecosystem. As of this writing, four funding rounds have been completed, collectively allocating over 100M dollars, with an additional 1.3B dollars reserved for future rounds. However, we identify significant shortcomings in the current allocation system, underscoring the need for improved governance mechanisms given the scale of funds involved. Leveraging computational social choice techniques and insights from multiagent systems, we propose improvements to the voting process by recommending the adoption of a utilitarian moving phantoms mechanism. This mechanism, originally introduced by Freeman et al. in 2019, is designed to enhance social welfare (using the L1 norm) while satisfying strategyproofness -- two key properties aligned with the application's governance requirements. Our analysis provides a formal framework for designing improved funding mechanisms for DAOs, contributing to the broader discourse on decentralized governance and public goods allocation.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

34 extracted references · 33 canonical work pages

  1. [1]

    Portioning using ordinal preferences: Fairness and efficiency

    St \'e phane Airiau, Haris Aziz, Ioannis Caragiannis, Justin Kruger, J \'e r \^o me Lang, and Dominik Peters. Portioning using ordinal preferences: Fairness and efficiency. Artificial Intelligence , 314:103809, 2023

    work page 2023

  2. [2]

    Participatory budgeting: Models and approaches

    Haris Aziz and Nisarg Shah. Participatory budgeting: Models and approaches. Pathways Between Social Science and Computational Social Science: Theories, Methods, and Interpretations , NA(NA):215--236, 2021

    work page 2021

  3. [3]

    Putting a Compass on the Map of Elections

    Niclas Boehmer, Robert Bredereck, Piotr Faliszewski, Rolf Niedermeier, and Stanis aw Szufa. Putting a compass on the map of elections. arXiv preprint arXiv:2105.07815 , NA(NA):NA, 2021

    work page Pith review arXiv 2021

  4. [4]

    Handbook of computational social choice

    Felix Brandt, Vincent Conitzer, Ulle Endriss, J \'e r \^o me Lang, and Ariel D Procaccia. Handbook of computational social choice . Cambridge University Press, Cambridge, UK, 2016

    work page 2016

  5. [5]

    Aggregation over metric spaces: Proposing and voting in elections, budgeting, and legislation

    Laurent Bulteau, Gal Shahaf, Ehud Shapiro, and Nimrod Talmon. Aggregation over metric spaces: Proposing and voting in elections, budgeting, and legislation. Journal of Artificial Intelligence Research , 70:1413--1439, 2021

    work page 2021

  6. [6]

    A flexible design for funding public goods

    Vitalik Buterin, Zo \"e Hitzig, and E Glen Weyl. A flexible design for funding public goods. Management Science , 65(11):5171--5187, 2019

    work page 2019

  7. [7]

    When do noisy votes reveal the truth? ACM Transactions on Economics and Computation (TEAC) , 4(3):1--30, 2016

    Ioannis Caragiannis, Ariel D Procaccia, and Nisarg Shah. When do noisy votes reveal the truth? ACM Transactions on Economics and Computation (TEAC) , 4(3):1--30, 2016

    work page 2016

  8. [8]

    An epistemic conception of democracy

    Joshua Cohen. An epistemic conception of democracy. Ethics , 97(1):26--38, 1986

    work page 1986

Show all 34 references
  1. [9]

    Proxy voting for revealing ground truth

    Gal Cohensius and Reshef Meir. Proxy voting for revealing ground truth. In Proceedings of the 4th Workshop on Exploring Beyond the Worst Case in Computational Social Choice (EXPLORE) , page NA, NA, 2017. NA

    2017

  2. [10]

    Retropgf round 2, 2022

    Optimism Collective. Retropgf round 2, 2022. Accessed: 2024-10-07

    2022

  3. [11]

    Retropgf round 4, 2023

    Optimism Collective. Retropgf round 4, 2023. Accessed: 2024-10-07

    2023

  4. [12]

    Truthful budget aggregation: Beyond moving-phantom mechanisms

    Mark de Berg, Rupert Freeman, Ulrike Schmidt-Kraepelin, and Markus Utke. Truthful budget aggregation: Beyond moving-phantom mechanisms. arXiv preprint arXiv:2405.20303 , NA(NA):NA, 2024

    2024 arXiv

  5. [13]

    Blockchain reputation-based consensus: A scalable and resilient mechanism for distributed mistrusting applications

    Marcela T de Oliveira, L \'u cio HA Reis, Dianne SV Medeiros, Ricardo C Carrano, S \' lvia D Olabarriaga, and Diogo MF Mattos. Blockchain reputation-based consensus: A scalable and resilient mechanism for distributed mistrusting applications. Computer Networks , 179:107367, 2020

    2020

  6. [14]

    Quadratic voting in blockchain governance

    Nicola Dimitri. Quadratic voting in blockchain governance. Information , 13(6):305, 2022

    2022

  7. [15]

    Participatory budgeting designs for the real world

    Roy Fairstein, Gerdus Benad \`e , and Kobi Gal. Participatory budgeting designs for the real world. In Proceedings of the AAAI Conference on Artificial Intelligence , volume 37, pages 5633--5640, Palo Alto, CA, USA, 2023. AAAI

    2023

  8. [16]

    Truthful aggregation of budget proposals

    Rupert Freeman, David M Pennock, Dominik Peters, and Jennifer Wortman Vaughan. Truthful aggregation of budget proposals. In Proceedings of the 2019 ACM Conference on Economics and Computation , pages 751--752, 2019

    2019

  9. [17]

    Fixed-budget and multiple-issue quadratic voting

    Laura Georgescu, James Fox, Anna Gautier, and Michael Wooldridge. Fixed-budget and multiple-issue quadratic voting. arXiv preprint arXiv:2409.06614 , NA(NA):NA, 2024

    2024 arXiv

  10. [18]

    Retropgf 3 round design, 2023

    Optimism Collective Governance. Retropgf 3 round design, 2023. Accessed: 2024-10-07

    2023

  11. [19]

    Retro funding 5: Op stack round details, 2024

    Optimism Collective Governance. Retro funding 5: Op stack round details, 2024. Accessed: 2024-10-07

    2024

  12. [20]

    Social choice around the block: On the computational social choice of blockchain

    Davide Grossi. Social choice around the block: On the computational social choice of blockchain. arXiv preprint arXiv:2203.07777 , NA(NA):NA, 2022

    2022 arXiv

  13. [21]

    Blockchain in or as governance? evolutions in experimentation, social impacts, and prefigurative practice in the blockchain and dao space

    Kristopher Jones. Blockchain in or as governance? evolutions in experimentation, social impacts, and prefigurative practice in the blockchain and dao space. Information Polity , 24(4):469--486, 2019

    2019

  14. [22]

    Quadratic voting: How mechanism design can radicalize democracy

    Steven P Lalley and E Glen Weyl. Quadratic voting: How mechanism design can radicalize democracy. In AEA Papers and Proceedings , volume 108, pages 33--37, Nashville, TN, USA, 2018. American Economic Association, NA

    2018

  15. [23]

    Weighted voting on the blockchain: Improving consensus in proof of stake protocols

    Stefanos Leonardos, Dani \"e l Reijsbergen, and Georgios Piliouras. Weighted voting on the blockchain: Improving consensus in proof of stake protocols. International Journal of Network Management , 30(5):e2093, 2020

    2020

  16. [24]

    Allocating public goods via the midpoint rule

    Klaus Nehring, Clemens Puppe, and T Linder. Allocating public goods via the midpoint rule. Preprint , NA(NA):NA, 2008

    2008

  17. [25]

    The retropgf experiment, 2021

    Optimism. The retropgf experiment, 2021. Accessed: 2024-10-07

    2021

  18. [26]

    Quadratic funding and matching funds requirements

    Ricardo A Pasquini. Quadratic funding and matching funds requirements. arXiv preprint arXiv:2010.01193 , 2020

    2010 arXiv

  19. [27]

    Improving end-to-end verifiable voting systems with blockchain technologies

    Anthony J Perez and Ebrima N Ceesay. Improving end-to-end verifiable voting systems with blockchain technologies. In 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Co...

    2018

  20. [28]

    A bayesian truth serum for subjective data

    Drazen Prelec. A bayesian truth serum for subjective data. Science , 306(5695):462--466, 2004

    2004

  21. [29]

    A solution to the single-question crowd wisdom problem

    Dra z en Prelec, H Sebastian Seung, and John McCoy. A solution to the single-question crowd wisdom problem. Nature , 541(7638):532--535, 2017

    2017

  22. [30]

    Drawing a map of elections in the space of statistical cultures

    Stanis aw Szufa, Piotr Faliszewski, Piotr Skowron, Arkadii Slinko, and Nimrod Talmon. Drawing a map of elections in the space of statistical cultures. In Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems , pages 1341--1349, New York, ...

    2020

  23. [31]

    Social choice around decentralized autonomous organizations: on the computational social choice of digital communities

    Nimrod Talmon. Social choice around decentralized autonomous organizations: on the computational social choice of digital communities. In Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems , pages 1768--1773, New York, NY, USA, 2023. ACM

    2023

  24. [32]

    Strategy-proof budgeting via a vcg-like mechanism

    Jonathan Wagner and Reshef Meir. Strategy-proof budgeting via a vcg-like mechanism. In International Symposium on Algorithmic Game Theory , pages 401--418, NA, 2023. Springer

    2023

  25. [33]

    Distribution aggregation via continuous thiele's rules

    Jonathan Wagner and Reshef Meir. Distribution aggregation via continuous thiele's rules. arXiv preprint arXiv:2408.01054 , NA(NA):NA, 2024

    2024 arXiv

  26. [34]

    Likestarter: a smart-contract based social dao for crowdfunding

    Mirko Zichichi, Michele Contu, Stefano Ferretti, and Gabriele D'Angelo. Likestarter: a smart-contract based social dao for crowdfunding. In IEEE INFOCOM 2019-IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) , pages 313--318, Piscataway, NJ, USA, 2019. IEEE

    2019

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.