AI Tooling Partner @ack3ai Security Researcher & Tooling Builder
Joined August 2017
- Tweets72
- Following59
- Followers112
- Likes160
Michal Převrátil | ack3▮ retweeted
At @ethbelgrade, @michprev demonstrated how static analysis affected recall in an AI audit.
Three GPT-5.6 models audited the same Go codebase with and without static-analysis MCP tools.
Recall is the percentage of known issues found. Out of 55:
Sol: 38 with MCP tools, 39 without
Terra: 32 vs 34
Luna: 32 vs 32
Static analysis improved recall for 0 of 3 models.
▮
1/ Just finished my talk at @Web3SecSummit during @belgradebw 🫡
Traditional fuzzers: 73/153 bugs after 8h.
AI-guided fuzzing with Wake: 153/153 in 79 min.
Measured on the Daedaluzz benchmark.
So, what are my takeaways? 🧵⬇️
3/ AI likes the easy way out.
Simple flows first. External contracts mocked. Hard integrations postponed.
Getting from a fuzz test that works to one that actually models the full system is the hard part.
Fuzzing isn't dead. Or is it? 👀
SPEAKER ANNOUNCEMENT 📣
AI can already find smart contract bugs by reading code. So, do we still need fuzzing?
@michprev, author and lead developer of Wake, joins Web3 Security Summit to answer exactly that.
See you in Belgrade 🫡
Michal Převrátil | ack3▮ retweeted
We completed the security review of @LidoFinance NEST: automated LDO buybacks and DAO-owned liquidity.
The report is public.
How NEST works, what we found, what shipped ↓
based.
From today, @openAI’s ChatGPT Go is a Revolut benefit.
We’re delivering a subscription used by almost one billion people weekly, directly to our customers, at no extra cost.
Thanks to everyone who supported Wake and the Wake VS Code extension in the Ethereum Security QF round! 🙏
The funds will support ongoing maintenance and development of both projects.
🧵 1/3
Among other things, this includes Glamsterdam support and new detectors for Solidity compiler bugs, including Transient Storage Clearing Helper Collision and Inheritance Order Reversal On Storage End Warning.
2/3
For the upcoming Wake 5.0 release, I’m adding an MCP server that will give AI agents direct access to Wake’s Solidity analysis capabilities, alongside improved support for AI-driven fuzzing.
Big thanks to @TheDAOfund, @wintermute_t, and everyone who contributed! 💙
3/3
Honored to own one of these now 👀
Huge thanks to @d_gusakov for bringing me this gem at @EthPrague! 📚🫡
Wake + Solidity (Wake) VS Code extension are live in QF for Ethereum Security.
It's now more important than ever to equip Solidity devs + whitehats with tools for the AI-powered future.
Even a very small donation helps 👇
qf.giveth.io/project/wake:-s…
qf.giveth.io/project/solidit…
If you’re tired of watching exploits dominate the timeline, this is your moment to act.
The Ethereum Security QF Round is LIVE!
Support the people and projects securing Ethereum and its L2s.
500 ETH (~$1M+) in matching from @thedaofund.
Explore & donate:
qf.giveth.io/qf/ethereum-sec…
Michal Převrátil | ack3▮ retweeted
still can't believe the solidity team hasn't prioritized solving stack too deep at any cost lol, "let's instead let's do a new solidity language nobody asked for" smh
