Smart contract security researcher focused on Ethereum and EVM systems.

I work on audit-quality vulnerability research, fuzzing workflows, and testing infrastructure for smart contracts. I am especially interested in making security testing more practical and reproducible for everyone.

• Smart contract security reviews and vulnerability research
• Manually Guided Fuzzing (MGF) for Solidity projects
• DeFi protocol security, including vaults, AMMs, and oracle design
• Automated research on optimization tasks

• Ethereum / EVM security
• Solidity and Python-based testing
• Fuzzing and stateful testing
• Automated research
• Security tooling and research automation

Solidity Python Wake Foundry Echidna Rust GitHub Actions

I like security work that is both technically deep and operationally useful. Finding bugs is great. Making them easier to reproduce, understand, and fix is even better.

I enjoy turning technical security ideas into clearer tools, writeups, and workflows. A lot of my recent work sits at the intersection of:

• smart contract auditing
• fuzzing research
• developer experience
• practical debugging

Selected work:

• Enhancing Manually Guided Fuzz Testing with Fuzz Shrinking for EVM Smart Contracts — Bachelor's thesis, CTU Prague (2025)
• Smart contract security articles on Ackee Blockchain — Solidity, Wake, fuzzing, and exploit analysis writeups

• GitHub: @meditationduck
• X / Twitter: @meditationduck