Skip to content
View danilych's full-sized avatar
🚀
Protect web3 space
🚀
Protect web3 space
22 followers · 10 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Quickdraw

Organizations

@cowchainworkspace @tenset-security @asymptotic-code @raccoon-labs-xyz

Block or report danilych

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
danilych/README.md

🥷 Senior Blockchain Engineer | Security Researcher

Specializing in Protocol Architecture, Applied Cryptography, and Formal Verification. I focus on the mathematical correctness and economic security of decentralized systems.

🛠 Core Expertise

  • Protocol Design & Implementation: Deep understanding of AMMs, Lending Markets, and Cross-chain communication (LayerZero V2).
  • Formal Verification & Rigorous Testing: Leveraging Certora (CVL), Halmos, and Echidna to prove contract invariants.
  • Cryptography & Math: Practical implementation of cryptographic primitives and complex mathematical models in Solidity/Rust.
  • Security Auditing: Comprehensive vulnerability research across EVM and non-EVM chains.

🏗 Languages & Hard Skills

Solidity Yul Rust Move

🔬 Security & Verification Stack

  • Formal Verification: Certora (CVL), Halmos, K-Framework
  • Fuzzing & Symbolic Execution: Echidna, Medusa, Foundry, Kontrol
  • Static Analysis: Slither, Aderyn, Mythril
  • Frameworks: Foundry (Forge/Cast), Hardhat, Soy

📈 Recent Focus: Formal Verification

Over the last 6 months, I have pivoted deeply into Formal Verification. I specialize in:

  • Writing complex Certora Spec (CVL) for hybrid protocols (like ERC404/LayerZero).
  • Implementing Invariant Testing handlers to ensure system-wide state consistency.
  • Using Symbolic Execution to verify edge cases in mathematical libraries (FixedPoint, Bonding Curves).

💼 Protocol Experience

I have hands-on experience deploying, optimizing, or auditing components of:

  • DeFi Giants: Aave, Velodrome V2, PancakeSwap V3, GMX
  • Infrastructure: LayerZero V2, Custom Rollups, Liquid Staking Derivatives
  • Advanced ERCs: ERC404 (Hybrid NFT/FT), ERC4626 (Vaults)

Connect with me

Twitter

Pinned Loading

  1. honeypot-token-erc20 honeypot-token-erc20 Public

    Smart contract of honeypot token

    Solidity 15 1

  2. awesome-mac-privacy awesome-mac-privacy Public

    🔒 Explore the best privacy & security tools for macOS in this curated collection.

    6

  3. solidity-errors-decoder solidity-errors-decoder Public

    CLI tool to decode Solidity custom error selectors

    JavaScript 9

  4. eth-warsaw-2025-monorepo eth-warsaw-2025-monorepo Public

    TypeScript 1

  5. eth-warsaw-2025-stylus eth-warsaw-2025-stylus Public

    Rust

  6. sui-bulloak sui-bulloak Public

    A scaffolding tool for generating Move specification files to speed up formal verification on Sui with sui-prover.

    Rust