rim dinov

Languages: Solidity, Go, Python, Clojure.
Tools: Foundry, Hardhat, Geth internals, Slither, Echidna.
Specialization: I am a Specialist in Web3 Security and Smart Contract Auditing. I focus on

Advanced zero-knowledge proof (ZKP) implementations and Rust-based blockchain clients (Reth). Always digging deeper into EVM internals and non-deterministic execution edge cases.

BSC-Halt-PoC: Developing a reproduction environment for a deterministic node panic in the BSC Geth client.

Web3 Security Research: Documenting unique vulnerability patterns in DeFi protocols,

Security audits, protocol invariant testing, and collaborations on high-impact vulnerability research. If you have a complex technical challenge or need a deep dive into your codebase — say Hey!