about

cypherpunk. hacker. anarchist.

I'm a Rust developer focused on privacy, cryptography, and financial systems. I believe in open protocols, individual sovereignty, and building tools that resist surveillance and coercion.

I'm also drawn to the mathematics of correctness: formal verification, proof assistants, logic and the idea that software can be proved right rather than merely tested. Code that can be reasoned about formally is code that can be trusted.

• GitHub: oxarbitrage
• Interests: formal verification, zero-knowledge proofs, proof assistants, cryptography, decentralized finance, privacy tech, hiking, mountains, wilderness

"Privacy is necessary for an open society in the electronic age." — Eric Hughes, A Cypherpunk's Manifesto