Security Researcher
Formal Verification @FormalLand | Solidity & Rust Smart Contract Auditor 🦀 — Interest in Blockchain, Cryptography, ZKP — Building https://severum.xyz/
Witness the rise of a future smart-contract security expert with a promising journey ahead.