runtimeverification/verified-smart-contracts
View on GitHub ↗ ★ 751 Solidity
Smart contracts which are formally verified
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2021-03-24 · latest 2021-12-20
20082026
-
Yep however I don't think I'd consider it to quite the same extreme. No doubt it was bad however proportionally to the size of the platform Cream's exploit was far more damaging. Like the rekt.news post mentions, it was more of a…
comment by jacoblambda · 2021-10-30 · in Cryptocurrency loan platform implodes in $130M hack -
What is effectively a changelog of features for their new version is probably not the best place to start. If you'd like to know more then this [0] is a brief summary of Uniswap and this paper [1] is a good introduction to the formalism of…
comment by qqii · 2021-03-24 · in Uniswap v3