Antonio Viggiano
@agfviggiano
Taking some time off
ID: 878722023970787329
24-06-2017 21:10:31
3,3K Tweet
2,2K Followers
1,1K Following
We're bringing the receipts🧾 Get ready for an epic dive into formal verification vs fuzzing EthCC - Ethereum Community Conference!
1/ I am excited to talk this Monday at EthCC - Ethereum Community Conference security about how lending protocols, including Aave Labs, Morpho Labs 🦋, Silo Labs, and Euler Labs🛢️🇬🇧 are securing their code via formal verification. Do you know what is the most critical security property of a lending protocol?
Hot fuzz tip inpired by Antonio Viggiano. Wen you fuzz a fork with all fresh USER1, USER2, USER3 setup you may not get as good results as you use some real user addresses. No real users = no coverage of potentially bughy states.
Reuters says Trump loses with 42%, while Polymarket says he wins with 63% What's the conclusion here?