×
Grow Open Source Bounties Hackathons Grants Quests Kudos
Back to Grants

Curve and Vyper research

MATCH ROUND 6

26 DAI

MATCH ESTIMATE

ROUND

81 DAI
20 contributors

Description

{"ops":[{"insert":"Curve is a non-custodial automatic market maker for stablecoins and similar assets.\nCurve contracts are written in "},{"attributes":{"link":"https://vyper.readthedocs.io/en/latest/"},"insert":"Vyper"},{"insert":": an Ethereum smart contract language which allows to write new contracts quickly while not sacrificing on safety.\nCurrently, Vyper requires some more love than it gets.\n\nThe purpose of this grant is to fund engineering work either going to help Vyper "},{"attributes":{"link":"https://github.com/vyperlang/vyper/issues"},"insert":"directly"},{"insert":", or for more fundamental Vyper-related research, such as bringing "},{"attributes":{"link":"https://ethz.ch/content/dam/ethz/special-interest/infk/chair-program-method/pm/documents/Education/Theses/Robin_Sierra_MA_Report.pdf"},"insert":"formal verification for Vyper contracts"},{"insert":" to the state when every developer can use it.\n"}]}

Activity Feed