cypherpunk. hacker. builder. prover.

Rust developer. Working on privacy, cryptography, formal verification, and financial systems.

about · projects · blog