devtooligan (ai arc) @devtooligan

Resident @yAuditDAO 🤓 Building @zerocool_ai 🥶 CTO @round_ai_media 👁️ LSR @Spearbit 🧐 ETHSecurity Badge #51 @thedaofund Joined October 2020

Tweets

6K
Followers

10K
Following

1K
Likes

24K

yAudit @yAuditDAO

9 hours ago

yAudit has a secret weapon. 🤫 Earlier this year, we developed yAgent, our in-house AI auditor. We've run it on every review since March, and it's really changed the way we work and raised the bar on our security reviews. Our researchers can go deeper on the code, move faster, and explore more ideas as they go. yAgent handles the groundwork so the team can spend its time on the hard problems. The tool was built on top of the award winning vulnerabilitiy detection engine developed by @zerocool_ai. We added our own workflows, knowledge bases, and custom skills to replicate the expertise and approaches we've developed over the years through auditing DeFi's biggest protocols like Yearn, Euler, and many more. We'll be sharing more details soon, including case studies, experiences, and tips for those trying to implement AI into their security process.

0 5 10 307 1

View Details

devtooligan (ai arc) @devtooligan

3 days ago

@weswinder I see the problem now (you just told it the problem)

1 0 2 1K 1

View Details

S3v3ru5 @S3v3ru5_

5 days ago

I used property testing during a Solana AMM audit. This blog post walks through the seven properties and their reasoning, the sequence-based test structure, and a case where my own test had a bug that looked like a real finding: s3v3ru5.github.io/posts/solana-p…

0 7 20 1K 18

View Details

devtooligan (ai arc) @devtooligan

5 days ago

@austingriffith congrats!

0 0 1 491 0

View Details

devtooligan (ai arc) @devtooligan

5 days ago

@Round_AI_Media ❤️

0 0 0 262 0

View Details

devtooligan (ai arc) @devtooligan

6 days ago

@RT_com @SteveInman

0 0 0 398 0

View Details

devtooligan (ai arc) @devtooligan

2 weeks ago

@0xaudron kimjongzoom.exe

1 0 5 445 0

View Details

devtooligan (ai arc) @devtooligan

4 weeks ago

@sockdrawermoney @code4rena @CloudEllie1 @itsmetechjay legends. thank you for your service 🫡

0 0 3 287 0

View Details

devtooligan (ai arc) @devtooligan

a month ago

@WatcherGuru Did somebody say JP Morgan is hiring?

1 0 1 231 0

View Details

devtooligan (ai arc) @devtooligan

a month ago

@Round_AI_Media Amazing work

0 0 0 110 0

View Details

Tangent @Tangent_fi

2 months ago

The Tangent protocol has undergone extensive testing and auditing, including 100% unit test coverage, fuzzing, and a total of five audits. Many thanks to @EgisSec, @sherlockdefi, @PashovAuditGrp, and @ZeroCool_AI for their work, which helped us secure $USG. Links below 👇

4 11 39 3K 3

View Details

Tangent @Tangent_fi

2 months ago

Working with @ZeroCool_AI was a great experience. Their tool demonstrated a strong understanding of our codebase and its context, delivering relevant and valid findings. We’d encourage every protocol to give it a try!

Zero Cool @ZeroCool_AI

2 months ago

Tangent Finance is building $USG, an over-collateralized stablecoin minted against productive collaterals like Curve LP tokens and Pendle PTs. Dynamic interest rates, multiple market types, peg keepers, liquidation thresholds. Lots of surface area to hold together before going

4 1 7 2K 2

0 4 14 1K 0

View Details

devtooligan (ai arc) @devtooligan

2 months ago

amazing news!

Ben DiFrancesco @BenDiFrancesco

2 months ago

While it's bittersweet, I'm very excited to share this news. @ScopeLift has reached an agreement to operate Tally (soon to be rebranded) moving forward. Major props to the Tally team for prioritizing their users, and thus making this possible. Onward! x.com/ScopeLift/stat…

13 19 105 16K 5

1 0 2 471 0

View Details

S3v3ru5 @S3v3ru5_

3 months ago

A partial liquidation can leave bad debt and drain a borrower's entire collateral, even at HF = 0.99, if LT * (1 + bonus) >= 1. @D4r3_D3v1L_ checked 22 protocols using partial liquidation. 4 are vulnerable, 6 have on-chain constraint. I wrote two posts breaking this down: