I build systems that prove computation without revealing secrets.
Currently developing ZisK, a high-performance zkVM.
My research lives at the intersection of probabilistic proofs, algebra, and cryptographic protocols.
Always looking for elegant solutions to hard problems.
·
0 min read
