vyorkin
Security Researcher
Tweets about blockchain security, DeFi, statically typed functional programming, compilers, type theory, and formal verification
Emerging Talent
Witness the rise of a future smart-contract security expert with a promising journey ahead.