Michal Převrátil @michprev
Ethereum security tooling developer at @ackeeblockchain Joined August 2017-
Tweets57
-
Followers77
-
Following45
-
Likes133
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…
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 ↓
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 ↓
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. 👨💻🔍
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. 👨💻🔍
At ProtoLayers: @michprev from @AckeeBlockchain showcasing how Python-based tooling actually works for Solidity with @WakeFramework
📢 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…
New EAO: Wakehacker Manual audits can’t scale. @wakehacker_ai can. Built for the vibe coding era, Wakehacker is an autonomous agent that analyzes smart contract security 24/7—catching threats before hackers do. Powered by @WakeFramework's auditing engine (used on Lido, Safe,…
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. ↓
You can open verified contracts on Sourcify with Wake!
You can open verified contracts on Sourcify with Wake!
Excited to share that Ackee is receiving a grant from @Optimism for ✨ Solidity (Wake) — Code fast and secure Solidity code on Ethereum Benefits: → remix-like testing → real-time static analysis → best devX All within VS Code, available now in the marketplace ↓↓↓
TIL that cmd alt click opens the function definition in a new split tab idk how i lived without this
Ackee is one of the outfits auditing smart contracts on Axelar network. Demonstrating excellence in Web3 security, here 👀👇
Ackee is one of the outfits auditing smart contracts on Axelar network. Demonstrating excellence in Web3 security, here 👀👇
Introducing Solidity for VS Code Code fast and secure Solidity smart contracts Compile, deploy, test, secure and interact with your code on Ethereum — all within Visual Studio Code Try it now👇 marketplace.visualstudio.com/items?itemName…
probably nothing powered by wake sign up to 10x your devX ackee.xyz/solidity
Research track at @tbc_munich today!
rumor has it Wake is about to get 80x faster rm
Solidity for VS Code helps devs to ship secure code to Ethereum👀 Powered by Wake, the extension secured Brahma Console's audit during @AckeeBlockchain fuzz tests! Humble thanks to our frens at Ackee! 🔐 🔗 Check it out, explore more: ackee.xyz/solidity
🚨 Secure Solidity code using differential testing Wake allows us to differentially test Solidity contracts in Python, helping spot differences between the models Comparing both models helps catch hidden bugs. We used this approach in our @ipor_io audit to secure their code
Code fast and secure Solidity smart contracts on Ethereum Inside VS Code: • Test & interact with your contracts on a local node • See vulnerabilities from static analysis in real-time • Best code navigation experience, call-graphs & more Sign up 👇 ackee.xyz/solidity-exten…
wakehacker dev @wakehacker_hq
376 Followers 675 Following Team building & managing @wakehacker_ai Join our discord https://t.co/ikAEEqeyfZ
combab0 @combab0
587 Followers 6K Following
TechArch420 @TechArch420
152 Followers 4K Following
VitezOkruglogStonda @97Andrija
41 Followers 294 Following
Andrej @andrej_xyz
323 Followers 156 Following Lead Solana Auditor at @AckeeBlockchain | @TridentSolana dev
Thomas Pani | blltprf... @audithare
65 Followers 153 Following I help protocol teams ship with confidence using formal methods, fuzzing, and post-deployment security — including smart contracts & distributed systems.
[email protected] | (sp... @k0nn0v
454 Followers 496 Following Independent security and formal methods researcher. Formal specs of Web3 protocols (incl. consensus) in TLA+/Quint/Lean. Fuzzing protocol specs. Writing papers.
Viktor on Web3 @viktoronweb3
180 Followers 637 Following 🦄 Uniswap v4 maestro. 🕵️♂️ Master of cryptographic warfare. Turning "assumptions" into attack vectors
Alex the Entreprenerd @GalloDaSballo
5K Followers 2K Following Lead Security Researcher | Protecting $2 BLN TVL @getreconxyz | Prevented $20 MLN exploits with fuzzing
Stan @routineforbots
216 Followers 3K Following VC investing at @amagi_eth. Exploring tokenization with Routine For Bots. Great jokes are always welcome.
jimi 🦀 @jimisaiyan
206 Followers 1K Following chief hacker @HAKFLOWsecurity ⧫ Speaker #ETHSofia, #GISEC, Sponsoring 🚀 @0xGBS @EncodeClub @Futurist_conf @ETHNA_rocks @Ethereum_JP
Maksym Kupchenko @maxkup19
40 Followers 202 Following
Trish Stratus @Trish1Stratus
165 Followers 7K Following
William X @0xwilliamx
174 Followers 469 Following Ex PM @AckeeBlockchain | Vibing Now hosting guests with fun :)
Auditor-Nate @auditor_nate
228 Followers 653 Following Web 3 Security Researcher || Team PolarziedLight
Tom D - Growth Design... @thomasdunnuk
14K Followers 3K Following Transforming ideas into life changing products people love 🪄 Research/UX/UI/Growth 🛠️ Prev Founding Designer @audit_wizard + Senior Product Designer @Buffer
Meek @msakiart
330 Followers 1K Following Blockchain + AI + DeFi Co-Founder @asyncswap @FormalMindAI. UHI4 alumn @atriumacademy 📚
Gabriela Moreira @bugarela
905 Followers 906 Following Building Quint at @informalinc | Born and living in Brazil 🇧🇷
Daonaft @daonaft
5 Followers 105 Following
Petr Korolev 🦇🔊 @skywinder
1K Followers 971 Following 🚀 R&D and security @0xorio 👾founded (and exit not by choice) @the_matter_labs 🔨buidl web3swift
Raoul @RaoulSaffron
2K Followers 2K Following Head of Developer Tooling @rv_inc Creator of https://t.co/Dcto1PwaRD Building Simbolik: The Solidity Debugger EVM | Solidity | Debugging | Formal Methods
koshik.eth 📍Token2... @rajkoshik
1K Followers 4K Following ☕️ Barista ( serving perfect crypto accounts via) @brewitmoney @brewithq 🔑 PGP: C4B9 729D B4AB 75BD
vojtechpour @vojtechpour24
205 Followers 575 Following Spoluzakladatel https://t.co/9UFg5X98pM student PF UK
Will Iam @FractalWillie
213 Followers 1K Following Reality is not only stranger than we suppose, but stranger than we can suppose.
tantodefi.eth @tantodefi
1K Followers 4K Following 👋Fri3nd to the P3ople 🥷Growth Hacker 🖥️Cyber Security ⬛ Blockchain in @buidlguidl 🏰 cooking https://t.co/y7CbDrvu0x
Naoki Yoshida @meditationduck
792 Followers 1K Following meditationduck.eth/Manually Guided Fuzzing(#MGF)/ SecHack365 '19/SecCamp '20/FIT CTU/Security Researcher at @AckeeBlockchain
weeb3dev @weeb3dev
527 Followers 3K Following onchain baby dev | b/ai curious | @developer_dao dev #3741 | @devreluni cohort 6 | prev: bd & devrel @kolwaii
Štěpán Šonský @stepansonsky
116 Followers 181 Following Ethical hacker, crypto anarchist, Android developer, FPV drone builder & pilot, amateur music composer, biohacker.
@ @ekincixyz
1K Followers 2K Following
albina @enjojoyy
10K Followers 4K Following lead devrel @MasumiNetwork | prev @Trezor | @EthGlobal finalist | bci/acc
⟠ Anett ⟠ anett.e... @AnettRolikova
9K Followers 3K Following Ethereum Sunshine 🌞 ⟠ Soon to be announced Prev @lastdotnet @Hyperlane_xyz ⏩️ @EthMagicians✨ NFT Standards wiki 🖼 KB4 🌱 (🧱, 🚀) (❤️,🤖) 🦇🔊
wwWave @dolosse_9
138 Followers 1K Following
André @anticustody
2K Followers 975 Following vp of growth @safe | fmr: research fellow @whartonbdap | ex magic circle
Sophia @SophiaJoeass95
38 Followers 223 Following Just a girl trying to make the world a better place with her words and actions. 💗✨🌎
Crypto Talkz @CryptoTalkzInfo
33K Followers 1K Following Let's explore Crypto Space!!! #AMA #SpacesHost | Creator & Affiliate @Binance | Dm us for #AMAs and promotional events!
Vanessa @vanessajulia0x
45 Followers 261 Following innovation enthusiast | passionate about psychology and health | exploring new frontiers 💫 | working on https://t.co/beNqzwSEWg
dcbuilder.eth ⚪️ @DCbuild3r
46K Followers 5K Following 🇪🇺🇨🇿. math. Ethereum. ZK. Rust. @worldcoinfnd. accelerating @worldcoin. World Chain⚪️. angeling in friends. Hopeful about humanity.🦀👽
high_byte @high_byte
6K Followers 3K Following AI, Blockchain, Cyber Security and whatever else Breaking: smart contracts, @SpearbitDAO and solo audits; Ex: @ethereum foundation DMs open
Matheesha @realmatheesha
201 Followers 441 Following Team @RareSkills_io | Onboard top web3 devs with @RareTalent_xyz 🛠️
Andrey Babushkin @technoBabushka
378 Followers 976 Following Blockchain Engineer | Web3 Security Researcher | Metalhead | Boxing & AI Enthusiast | https://t.co/HaXBhNbsmR
Wake @WakeFramework
1K Followers 147 Following Wake is a Python-based fuzzing and testing framework for Solidity. It helps you write safer smart contracts for @Ethereum dApps, faster. by @AckeeBlockchain
Josef Gattermayer | A... @jgattermayer
9K Followers 7K Following Co-Founder and CEO @AckeeBlockchain (cybersecurity) :: Assistant Professor and Ph.D. @FIT_CTU
NapulETH 🇮🇹🌋 @NapulETH
4K Followers 860 Following The Neapolitan Ethereum community. Connecting Naples to Ethereum one event at a time.
Alex the Entreprenerd @GalloDaSballo
5K Followers 2K Following Lead Security Researcher | Protecting $2 BLN TVL @getreconxyz | Prevented $20 MLN exploits with fuzzing
wakehacker @wakehacker_ai
1K Followers 1K Following AI Auditor for the Vibe Coding Era | @WakeFramework | audits of deployed Solidity contracts | https://t.co/18y0kfKfBL
William X @0xwilliamx
174 Followers 469 Following Ex PM @AckeeBlockchain | Vibing Now hosting guests with fun :)
Watcher.Guru @WatcherGuru
3.5M Followers 3 Following Watcher Guru gives you unparalleled, unbiased coverage of all-things crypto & finance in real-time | Tweets Are Not Financial Advice | @BTCPrice
Raoul @RaoulSaffron
2K Followers 2K Following Head of Developer Tooling @rv_inc Creator of https://t.co/Dcto1PwaRD Building Simbolik: The Solidity Debugger EVM | Solidity | Debugging | Formal Methods
Trident @TridentSolana
1K Followers 42 Following The first and only manually-guided fuzzing framework for @Solana written in Rust, processing up to 12,000 tx/s. (granted by @solanafndn) by @AckeeBlockchain
ETHPrague @EthPrague
6K Followers 179 Following Hackathon & Conference 🗓️ May 8 - 10, 2026 💬 https://t.co/63PyOv8t1Z
Štěpán Šonský @stepansonsky
116 Followers 181 Following Ethical hacker, crypto anarchist, Android developer, FPV drone builder & pilot, amateur music composer, biohacker.
@ @ekincixyz
1K Followers 2K Following
albina @enjojoyy
10K Followers 4K Following lead devrel @MasumiNetwork | prev @Trezor | @EthGlobal finalist | bci/acc
⟠ Anett ⟠ anett.e... @AnettRolikova
9K Followers 3K Following Ethereum Sunshine 🌞 ⟠ Soon to be announced Prev @lastdotnet @Hyperlane_xyz ⏩️ @EthMagicians✨ NFT Standards wiki 🖼 KB4 🌱 (🧱, 🚀) (❤️,🤖) 🦇🔊
André @anticustody
2K Followers 975 Following vp of growth @safe | fmr: research fellow @whartonbdap | ex magic circle
dcbuilder.eth ⚪️ @DCbuild3r
46K Followers 5K Following 🇪🇺🇨🇿. math. Ethereum. ZK. Rust. @worldcoinfnd. accelerating @worldcoin. World Chain⚪️. angeling in friends. Hopeful about humanity.🦀👽
high_byte @high_byte
6K Followers 3K Following AI, Blockchain, Cyber Security and whatever else Breaking: smart contracts, @SpearbitDAO and solo audits; Ex: @ethereum foundation DMs open
Andrey Babushkin @technoBabushka
378 Followers 976 Following Blockchain Engineer | Web3 Security Researcher | Metalhead | Boxing & AI Enthusiast | https://t.co/HaXBhNbsmR
Wake @WakeFramework
1K Followers 147 Following Wake is a Python-based fuzzing and testing framework for Solidity. It helps you write safer smart contracts for @Ethereum dApps, faster. by @AckeeBlockchain
Risk DAO @Risk_DAO
3K Followers 2 Following Providing research and risk assessments for DeFi lending protocols. Bad Debt Dashboard: https://t.co/BouIkuiqlp Contact: https://t.co/pd5egcwzLP
Passwd - Team Passwor... @PasswdTeam
35 Followers 32 Following Remembers all your team's passwords. Stores them safely on your Google Cloud. Fills them for you.
@bytes032.xyz @bytes032
19K Followers 1K Following chief smart contract security cook @zenith256 tg: https://t.co/fVm8KmTyY2
Ackee @AckeeCZ
426 Followers 460 Following #app designers & developers | #web3 enthusiasts | sustainable #digitalization lovely people, lovely apps 💙 handled by recepční 💅
Josef Gattermayer | A... @jgattermayer
9K Followers 7K Following Co-Founder and CEO @AckeeBlockchain (cybersecurity) :: Assistant Professor and Ph.D. @FIT_CTU
brock @brockjelmore
18K Followers 863 Following applied mech interp @concordanceai, venture partner @nascent
Viktor | RockawayX @viktorfischer
5K Followers 3K Following Founder CEO @Rockaway_X 🚀 Prev @McKinsey 🧮 Motto: Be good. Do good. 🤍
Georgios Konstantopou... @gakonst
144K Followers 2K Following very greek accent. general partner & cto @paradigm. ceo @ithacaxyz. optimist and rustacean 🦀 // team lead of reth, foundry, alloy. join us.
Matt Solomon @msolomon44
5K Followers 1K Following Security at @OPLabsPBC. Formerly built @UmbraCash and more at @ScopeLift
Matthias Seitz @mattsse_
3K Followers 676 Following let's go on an adventure and build something 🦀 @ithacaxyz
Kalis @jaczkal
673 Followers 695 Following tech lead @ackeeblockchain security researcher pursuing phd while touching grass between audits
Ackee Blockchain Secu... @AckeeBlockchain
8K Followers 798 Following Cybersecurity experts | We audit Ethereum and Solana | Creators of @WakeFramework, Solidity (Wake) & @TridentSolana | Educational partner of Solana Foundation
Consensys.eth @Consensys
342K Followers 2K Following A complete suite of trusted products to build anything in web3.
JetBrains Fleet @JetBrains_Fleet
17K Followers 30 Following @JetBrains Fleet – More Than a Code Editor. Free to use during public preview.
Will McGugan @willmcgugan
36K Followers 2K Following Terminal hater. Hyperborean Python expert, PSF fellow, author, humanist, husband, sometimes wildlife photographer. He/him @[email protected]
Threatpost @threatpost
211K Followers 6K Following Threatpost is the first stop for fast-breaking security news, conversations and analysis from around the world.
Dark Reading @DarkReading
343K Followers 48 Following One of the most widely read and trusted cybersecurity news sites, providing IT security professionals informed insights into the latest news and trends.
OffSec @offsectraining
325K Followers 119 Following Empowering the world to fight cyber threats with indispensable cybersecurity skills and resources. Build the path to a secure future with OffSec.
Hackread.com @HackRead
115K Followers 102 Following The Twitter account of the most reliable cybersecurity news platform brings exclusive dark web, tech, hacking news, and much more. Contact: [email protected].
CySecurity News @EHackerNews
121K Followers 13 Following CySecurity News is one of the leading IT security news portal delivers news on #security #hacking #Exploit #CyberCrime & #infosec #Hacker. *
The Hacker News @TheHackersNews
933K Followers 2K Following The #1 trusted source for cybersecurity news, insights, and analysis — built for defenders and trusted by decision-makers.
AbcLinuxu.cz @abclinuxu
2K Followers 6 Following Český linuxový portál. Poradny, databáze hardwaru a softwaru, blogy, články, zprávy a ještě mnohem více.
Root.cz @Rootcz
9K Followers 155 Following Linux, operační systémy, sítě, bezpečnost, svobodný software, licence a další.
CNX Software @cnxsoft
20K Followers 987 Following News about Linux and Android, ARM & RISC-V processors, open-source hardware, embedded systems, single board computers, Arduino, Raspberry Pi and more
SiFive @SiFive
14K Followers 856 Following As the pioneers who introduced RISC-V to the world, SiFive is transforming the future of compute. With SiFive, RISC-V has no limits!
ESP32 @ESP32net
25K Followers 804 Following Wi-Fi & Bluetooth system-on-chip, following in the footsteps of @ESP8266. News & info on the ESP32 SoC, SiP, PCB modules like ESP-WROOM-32, and more!Trends for United States
You might like
