Jacobi

Building on Midnight Network. Privacy tech, ZK proofs, formal verification. I write about cryptography, math, philosophy, and the things that make me think.