Cryptographer at heart Β· privacy engineer Β· founder of Umbra
I build privacy infrastructure, and I'm genuinely in love with cryptography.
Give me a zero-knowledge circuit that won't satisfy, a no_std on-chain program with no room to
spare, or a Lean proof that refuses to close β and I'm exactly where I want to be. What pulls me in
is the craft of it: constructions that are provably correct, implementations that are byte-exact,
and the quiet thrill of turning hard mathematics into something real people can rely on.
Umbra β a multi-chain privacy protocol, and the hardest, most
rewarding engineering I've ever taken on. It runs the full stack of applied cryptography:
zero-knowledge circuits (Groth16 Β· Circom), no_std Solana programs, pairing-based BLS aggregation
over BN254, Poseidon commitments, protocol-safety proofs formalized in Lean 4, and hand-written
native crypto for mobile.
Zero-knowledge proofs Β· pairing-based cryptography Β· hash-based commitments Β· secure computation Β· formal verification. I'm not there yet β but I get a little sharper every single day, and that climb is the entire point.
- π EthIndia '24 winner β best on-chain dApp at Polygon zkEVM
- π Google Summer of Code '24 with Haiku
- π Open source with Braidpool
- π Information Technology at NITK Surathkal
- πΉ A mechanical-keyboard habit, and π’ a lasting soft spot for pure maths
umbraprivacy.com Β· LinkedIn Β· cal@umbraprivacy.com Β· calistomathias.work@gmail.com



