Ethereum security tooling developer at @ackeeblockchain

Joined August 2017
3 Photos and videos
Honored to own one of these now 👀 Huge thanks to @d_gusakov for bringing me this gem at @EthPrague! 📚🫡
5
2
15
677
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…

Apr 23
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…
1
46
Funding helps bring: • High-quality static analysis for LLMs via MCP • AI-compatible fuzzing for autonomous large-scale audits • AI vuln. explanations fix suggestions in VS Code The goal: better tools for defenders.
23
Michal Převrátil 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
21
8
150
16,585
Time to see how strong GPT-5.4 Cyber really is 👀
5
61
Michal Převrátil retweeted
EVMbench for Solana: Trident Arena, a multi-agent AI security scanning solution. 21 out of 30 critical/high-severity vulnerabilities found across 6 open source Solana code bases in benchmarks. 70% true positive rate. See it in action: During a manual audit, TridentArena helped us find a critical-severity issue (later fixed), making @MetaDAOProject even more secure. Built by the School of Solana senior auditors, securing leading protocols. Time to IBRL of Solana security audits! Launch blog post: ackee.xyz/blog/trident-arena… Request access → tridentarena.xyz/ Follow @TridentSolana for product updates and insights.
124
46
188
1,836,927
Michal Převrátil retweeted
We ran EVMbench on @zellic_io's public dataset, high-severity only. @WakeFramework beat OpenAI by 96%. Looks like AI isn't killing this startup yet. EVMbench (codex-gpt-5.2-xhigh): 22/94 Wake Arena (already tested pre-release): 43/94 github.com/Ackee-Blockchain/… @OpenAI @paradigm @osec_io
new collab from @paradigm and @OpenAI: evmbench is a benchmark and agent harness for exploiting smart contract bugs a few months ago, the best models found <20% of critical, fund-draining @Code4rena bugs in our benchmark. today they find > 70%
7
12
50
11,031
Michal Převrátil retweeted

2
4
10
417
Michal Převrátil retweeted
The AI security trilemma Every AI security tool must solve this: optimize for detection rate, false positive rate, or cost. Can’t have all. Detection rate We focused on what matters most: high-severity and critical vulnerabilities. First benchmark: outperform plain GPT-5. If we can’t beat the best base model, there’s no point building a tool around it. Result: 43/94 vs 24/94. Then benchmark against competition. Zellic V12 - the only AI team to publish reproducible benchmark. Thank you for that. Result: 43/94 vs 41/94. False positives This is where we spent most of our effort. A tool that floods auditors with false positives only steals time. Target: get it under 50%. Cost Aim to generate positive revenue. Could find more issues running more models multiple times with unlimited LLM token budgets. But Wake Arena has to be economically reasonable. → The Result A tool we use ourselves. Wake Arena now runs as the 6th step in Ackee’s manual audit methodology (after fuzzing). A safety net for manual reviews. One that will grow stronger as LLM capabilities evolve.
Wake Arena: multi-agent AI audit with graph-driven reasoning and LLM-tailored static analysis. 43/94 high-severity vulnerabilities found in historical audit competitions. 26 findings, including 5 criticals in 4 production audits by Akcee in Nov 2025. Full benchmarking report: ackee.xyz/blog/wake-arena-mu… Built by senior auditors securing Lido, Aave, Axelar, and Safe. 50% true positive rate. Scan your protocol → ackee.xyz/wake/arena Follow @WakeFramework for product updates and insights.
10
7
173
28,109
Michal Převrátil retweeted
Wake Arena: multi-agent AI audit with graph-driven reasoning and LLM-tailored static analysis. 43/94 high-severity vulnerabilities found in historical audit competitions. 26 findings, including 5 criticals in 4 production audits by Akcee in Nov 2025. Full benchmarking report: ackee.xyz/blog/wake-arena-mu… Built by senior auditors securing Lido, Aave, Axelar, and Safe. 50% true positive rate. Scan your protocol → ackee.xyz/wake/arena Follow @WakeFramework for product updates and insights.
80
62
198
1,997,515
Michal Převrátil retweeted
Just presented "State of Fuzzing: Closing the Circle From Machine to Human and Back" at DeFi Security Summit. The evolution of smart contract testing → from blackbox automation to auditor-guided fuzzing to AI-assisted workflows. Thread ↓
4
5
47
4,868
Michal Převrátil retweeted
22 Oct 2025
The first VS Code extension for Solana is here. Real-time security analysis fuzz coverage visualization. Built by the auditors and educators behind School of Solana. Thread ↓
146
172
480
140,388
Michal Převrátil retweeted
25 Sep 2025
Everything you need for secure Solidity development. In 1 tool. • Slither: Static analysis only • Hardhat/Foundry: Testing some features • Wake: ALL features combined → testing, fuzzing, static analysis, language server New Rust testing core = same syntax, much faster execution ↓
4
5
12
386
Michal Převrátil retweeted
18 Sep 2025
Yesterday, Tim Ferriss released an interview with the world's scariest hacker, Pablos Holman. Here are 6 insights that every Solidity developer and smart contract security researcher should know. Thread ↓
8
2
20
619
Michal Převrátil retweeted
4 Sep 2025
Perfect security. Zero reentrancy, bulletproof access controls, 100% test coverage. Yet, an attacker front-ran and hijacked user assets. Here's how Wake's Manually Guided Fuzzing catches what traditional testing misses: Thread ↓
5
3
8
384
Before diving into manually guided fuzzing, I always start by checking the available contract functions — using the Public Functions Printer in VS Code. Now available to everyone with the Solidity (Wake) extension! Don't skip this step. Know what you're testing. 👨‍💻🔍
Today @Meta_pool lost $27M to a forgotten mint() function. In reaction to the incident, we are open-sourcing our extension's public functions printer to help prevent such vulnerabilities in the future. Thread ↓
95
Michal Převrátil retweeted
At ProtoLayers: @michprev from @ackeeblockchain showcasing how Python-based tooling actually works for Solidity with @WakeFramework
1
2
12
269
Michal Převrátil retweeted
📢 NEW SPEAKER ANNOUNCEMENT Say hi to @michprev, Head of Tooling at @AckeeBlockchain, who’s joining the ETH Belgrade 2025 speaker squad. He’ll drop his take on the State of Python Tooling for Solidity Development. ---------------------------------- ETH Belgrade 3 starts June 3rd – mark your calendar! 🎟 Get tickets  → bit.ly/3EA2Fxb 🤝 Become a sponsor → bit.ly/4jOaMGW 🛠 Apply to hack → bit.ly/3CrRypL
2
12
349
Michal Převrátil retweeted
1/ Fuzzing is a well-known software testing technique, but what is Manually-Guided Fuzzing? This innovative testing approach combines the strengths of stateful and white-box fuzzing to deliver more efficient and targeted vulnerability detection. ↓
1
4
45
13,329
Michal Převrátil retweeted
You can open verified contracts on Sourcify with Wake!
27 Mar 2025
Wake 4.16.0 is live! Most notable changes: 🔹Added support for Solidity 0.8.29 and Osaka EVM 🔹Implemented Foundry compilation config options importing with wake up 🔹Migrated to Sourcify v2 & Etherscan v2 APIs
4
5
15
1,470