Antonio Viggiano (@agfviggiano) 's Twitter Profile
Antonio Viggiano

@agfviggiano

Taking some time off

ID: 878722023970787329

calendar_today24-06-2017 21:10:31

3,3K Tweet

2,2K Followers

1,1K Following

Alex the Entreprenerd (@gallodasballo) 's Twitter Profile Photo

Join me today for a unique office hours! Today we're sharing our first attempt at "Ecosystem Fuzzing", we spent a lot of time scaffolding an invariant testing setup that will: - Reach High Coverage - Is easy to fork - Is easy to get started with This one is for Eigenlayer

Join me today for a unique office hours!

Today we're sharing our first attempt at "Ecosystem Fuzzing", we spent a lot of time scaffolding an invariant testing setup that will:

- Reach High Coverage
- Is easy to fork
- Is easy to get started with

This one is for Eigenlayer
guhu (@guhu95) 's Twitter Profile Photo

[High] Conditional contest pots are bad and stupid. Problem is that skilled participation is low because of low EV. ## POC - Euler at Cantina 🪐 1. A lot of prior audits, with few findings. Even 50% of no new high means the contest EV is now 670K instead of 1.15M. But wait..

Mooly Sagiv (@sagivmooly) 's Twitter Profile Photo

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?

1/ I am excited to talk this Monday at <a href="/EthCC/">EthCC - Ethereum Community Conference</a> security about how lending protocols, including <a href="/aave/">Aave Labs</a>, <a href="/MorphoLabs/">Morpho Labs 🦋</a>, <a href="/SiloFinance/">Silo Labs</a>, and <a href="/eulerfinance/">Euler Labs🛢️🇬🇧</a> are securing their code via formal verification.

Do you know what is the most critical security property of a lending protocol?
Antonio Viggiano (@agfviggiano) 's Twitter Profile Photo

LLMs have already passed the Turing test, there's no way QA issues will still exist in audit competitions by the end of the year I think moving that pot to judging may be more sensible than to H/M, though

FORKFORK DOG (@forkforkdog) 's Twitter Profile Photo

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.

Rappie (@rappie_eth) 's Twitter Profile Photo

Reproducing the $41M Curve reentrancy hacks with Echidna demonstrates the simplicity and effectiveness of external on-chain fuzzing. It highlights how even basic reentrancy checks in fuzzing suites can uncover complex vulnerabilities and illustrates the critical role of

Reproducing the $41M Curve reentrancy hacks with Echidna demonstrates the simplicity and effectiveness of external on-chain fuzzing.

It highlights how even basic reentrancy checks in fuzzing suites can uncover complex vulnerabilities and illustrates the critical role of
Trust (@trust__90) 's Twitter Profile Photo

Found myself one click away from falling to a spear phishing attack today! If you're giving services in the web3 space, be VERY careful with who you interact and how the initial exchanges of information are done. 2 weeks ago, 超级图狗王.eth approached for security services for

Found myself one click away from falling to a spear phishing attack today! If you're giving services in the web3 space, be VERY careful with who you interact and how the initial exchanges of information are done.

2 weeks ago, <a href="/nftbigsummer/">超级图狗王.eth</a> approached for security services for
Recon (@getreconxyz) 's Twitter Profile Photo

In this written article nican0r talks about the Eigenlayer Fuzzing starter kit we just released! You can use it to run invariant tests when building on top of Eigenlayer Let me know what you think! -Alex

In this written article <a href="/nican0r/">nican0r</a>  talks about the Eigenlayer Fuzzing starter kit we just released!

You can use it to run invariant tests when building on top of Eigenlayer

Let me know what you think!

-Alex
Code4rena (@code4rena) 's Twitter Profile Photo

🐳 The results of the Size competitive audit are in! Big congrats to everyone who submitted valid findings, especially to MT for an impressive $36k+ win in their 4th competition! Respect to Size Credit for their unwavering commitment to the highest security outcomes Full

🐳 The results of the Size competitive audit are in!

Big congrats to everyone who submitted valid findings, especially to <a href="/mt030d/">MT</a> for an impressive $36k+ win in their 4th competition!

Respect to <a href="/SizeCredit/">Size Credit</a> for their unwavering commitment to the highest security outcomes

Full