Sign up
Sign In
proud Coq user
Research fellow, privacy activist and a decent systems engineer.
Cryptographer, climber, explorer. Previously working on ZK proofs at Chain/Interstellar, now on Googleβs cryptography security team.
Help
Status
Writers
Blog
Careers
Privacy
Terms
About
Text to speech
Teams
