Michal Převrátil @michprev
Ethereum security tooling developer at @ackeeblockchain Joined August 2017-
Tweets54
-
Followers77
-
Following45
-
Likes114
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…
🧩Auditors VSC extensions 101 🔖Inline Bookmarks 🔗marketplace.visualstudio.com/items?itemName… 📍Mark Files 🔗marketplace.visualstudio.com/items?itemName… ⚙️Solidity Visual Developer 🔗marketplace.visualstudio.com/items?itemName… 🧪Solidity Metrics 🔗marketplace.visualstudio.com/items?itemName… 🛡️Wake 🔗marketplace.visualstudio.com/items?itemName…
FV + fuzzing gud
wakehacker dev @wakehacker_hq
289 Followers 551 Following Team building & managing @wakehacker_ai Join our discord https://t.co/0V6xe18ypx
combab0 @combab0
575 Followers 6K Following
TechArch420 @TechArch420
146 Followers 3K Following
VitezOkruglogStonda @97Andrija
38 Followers 294 Following
Andrej @andrej_xyz
269 Followers 144 Following Lead Solana Auditor at @AckeeBlockchain | @TridentSolana dev
Thomas Pani | blltprf... @audithare
63 Followers 150 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
438 Followers 473 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 @chainguardian8
176 Followers 604 Following 🦄 Uniswap v4 maestro. 🕵️♂️ Master of cryptographic warfare, founder at @hitrostsecurity
Alex the Entreprenerd @GalloDaSballo
5K Followers 2K Following Lead Security Researcher | Protecting $1 BLN TVL @getreconxyz | Prevented $20 MLN exploits with fuzzing
Stan @ Routine For Bo... @routineforbots
208 Followers 3K Following Investing in Web3, DeepTech, Longevity and great jokes. Exploring tokenization. Advocating for meaningful projects 🫵 Driven by Public Good.
jimi 🦀 @jimisaiyan
194 Followers 1K Following chief hacker @HAKFLOWsecurity ⧫ Speaker #ETHSofia, #GISEC, Sponsoring 🚀 @Ethereum_JP @Futurist_conf @ETHNA_rocks
Maksym Kupchenko @maxkup19
31 Followers 202 Following
Trish Stratus @Trish1Stratus
164 Followers 7K Following
William X @0xwilliamx
173 Followers 470 Following Ex PM @AckeeBlockchain | Vibing Now hosting guests with fun :)
Auditor-Nate @auditor_nate
225 Followers 639 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
898 Followers 904 Following Building Quint at @informalinc | Born and living in Brazil 🇧🇷
Daonaft @daonaft
4 Followers 100 Following
Petr Korolev 🦇🔊 @skywinder
1K Followers 972 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 @rajkoshik
1K Followers 4K Following ☕️ Barista ( serving perfect crypto accounts via) @brewitmoney @brewithq 🔑 PGP: C4B9 729D B4AB 75BD
vojtechpour @vojtechpour24
202 Followers 575 Following Spoluzakladatel https://t.co/9UFg5X98pM student PF UK
Will Iam @FractalWillie
207 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
774 Followers 1K Following meditationduck.eth/Manually Guided Fuzzing(#MGF)/ SecHack365 '19/SecCamp '20/FIT CTU/Security Researcher at @AckeeBlockchain
weeb3dev @weeb3dev
532 Followers 3K Following onchain baby dev | b/ai curious | @weeb3capital intern | @developer_dao dev #3741 | @devreluni cohort 6 | prev: bd & devrel @kolwaii
Štěpán Šonský @stepansonsky
114 Followers 183 Following Ethical hacker, crypto anarchist, Android developer, FPV drone builder & pilot, amateur music composer, biohacker.
@ @ekincixyz
1K Followers 2K Following
albina @enjojoyy
10K Followers 3K Following lead devrel @MasumiNetwork | prev @Trezor | @EthGlobal finalist | bci/acc
⟠ Anett ⟠ anett.e... @AnettRolikova
9K Followers 3K Following Ethereum Sunshine 🌞 ⟠ Passionate DevRel on the hunt Prev @lastdotnet @Hyperlane_xyz ⏩️ @EthMagicians✨ NFT Standards wiki 🖼 KB4 🌱 (🧱, 🚀) (❤️,🤖) 🦇🔊
wwWave @dolosse_9
136 Followers 1K Following
André @anticustody
2K Followers 977 Following vp of growth @safe | fmr: research fellow @whartonbdap | ex magic circle
Sophia @SophiaJoeass95
42 Followers 225 Following Just a girl trying to make the world a better place with her words and actions. 💗✨🌎
Crypto Talkz @CryptoTalkzInfo
34K Followers 1K Following Let's explore Crypto Space!!! #AMA #SpacesHost | Creator & Affiliate @Binance | Dm us for #AMAs and promotional events!
Vanessa @vanessajulia0x
44 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
Guy | 📍RareWeek Ba... @guy_de
1K Followers 2K Following COO @rareskills_io | Building @raretalent_xyz
Matheesha @realmatheesha
175 Followers 423 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
847 Followers 129 Following Solidity development framework for Ethereum by @AckeeBlockchain with fuzzing, testing, and detectors. Securing smart contracts of Lido, Aave, Axelar & more.
Josef | Ackee Blockch... @jgattermayer
8K Followers 7K Following Co-Founder and CEO @AckeeBlockchain (cybersecurity) :: Assistant Professor and Ph.D. @FIT_CTU
NapulETH 🇮🇹🌋 @NapulETH
4K Followers 853 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 $1 BLN TVL @getreconxyz | Prevented $20 MLN exploits with fuzzing
wakehacker @wakehacker_ai
807 Followers 55 Following AI Auditor for the Vibe Coding Era | @WakeFramework | autonomous on-chain contract scans coming soon | https://t.co/18y0kfKfBL
William X @0xwilliamx
173 Followers 470 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 25 Following @Solana fuzz testing framework by @AckeeBlockchain processing thousands of transactions in seconds. Join School of Solana https://t.co/FjNxF7REW5
ETHPrague @EthPrague
6K Followers 178 Following Conference 🗓️ May 27 - 29, 2025 💬 https://t.co/2EUBfCfEi6 Hackathon by @ETHGlobal 🗓️ May 30 - June 1, 2025
Štěpán Šonský @stepansonsky
114 Followers 183 Following Ethical hacker, crypto anarchist, Android developer, FPV drone builder & pilot, amateur music composer, biohacker.
@ @ekincixyz
1K Followers 2K Following
albina @enjojoyy
10K Followers 3K Following lead devrel @MasumiNetwork | prev @Trezor | @EthGlobal finalist | bci/acc
⟠ Anett ⟠ anett.e... @AnettRolikova
9K Followers 3K Following Ethereum Sunshine 🌞 ⟠ Passionate DevRel on the hunt Prev @lastdotnet @Hyperlane_xyz ⏩️ @EthMagicians✨ NFT Standards wiki 🖼 KB4 🌱 (🧱, 🚀) (❤️,🤖) 🦇🔊
André @anticustody
2K Followers 977 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
847 Followers 129 Following Solidity development framework for Ethereum by @AckeeBlockchain with fuzzing, testing, and detectors. Securing smart contracts of Lido, Aave, Axelar & more.
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
36 Followers 33 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
421 Followers 460 Following #app designers & developers | #web3 enthusiasts | sustainable #digitalization lovely people, lovely apps 💙 handled by recepční 💅
Josef | Ackee Blockch... @jgattermayer
8K Followers 7K Following Co-Founder and CEO @AckeeBlockchain (cybersecurity) :: Assistant Professor and Ph.D. @FIT_CTU
brock @brockjelmore
17K Followers 851 Following building modded inference @concordanceai, venture partner @nascent
Viktor | RockawayX @viktorfischer
3K Followers 3K Following Founder CEO @Rockaway_X 🚀 Prev @McKinsey 🧮 Motto: Be good. Do good. 🤍
Georgios Konstantopou... @gakonst
143K 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 669 Following let's go on an adventure and build something 🦀 @ithacaxyz
Kalis @jaczkal
303 Followers 429 Following tech lead @ackeeblockchain security researcher pursuing phd while touching grass between audits
Ackee Blockchain Secu... @AckeeBlockchain
7K Followers 789 Following Cybersecurity experts | We audit Ethereum and Solana | Creators of @WakeFramework, Solidity (Wake) & @TridentSolana | Educational partner of Solana Foundation
Consensys.eth @Consensys
341K 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
212K Followers 6K Following Threatpost is the first stop for fast-breaking security news, conversations and analysis from around the world.
Dark Reading @DarkReading
342K 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
932K 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 156 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 857 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
