E. Glen Weyl

Conducted applied research and collaborative work on the formalization of quadratic funding, proposing mathematical formulas and proofs of mechanism properties that were used in the development of Gitcoin Grants smart contract logic. His academic and practical recommendations helped select parameters that ensured desired fund distribution properties with limited matching pools. Provided consultations and participated in discussions with developers and grant managers on how to interpret and implement theoretical formulas in real-world conditions: how to account for minimum donations, how to mitigate the effect of a single large donor, and what limits to apply to prevent manipulation. These specific recommendations had a direct impact on the code and configurations that Gitcoin deployed in grant queues. Practical contributions included assistance in developing tests and simulations of fund distribution under various donation scenarios and validating the mechanism's resistance to Sybil attacks. This work accelerated the platform's adoption of the quadratic approach and reduced operational risks when setting up matching pools.