Blockchain protocol engineer exploring behavioral verification, cryptography, and quirky tools that occasionally break reality (but never the chain).