Ayush Shukla

Hey, I'm Ayush, a software engineer working at the intersection of systems, compilers, and applied cryptography.

These days, I build high-performance systems for verifiable computation using zero-knowledge proofs. More broadly, I'm interested in robotics, machine learning, mathematics, and finance.