Abhiram Kothapalli

概要

My research develops fundamental technologies aimed at scaling expressive privacy and integrity guarantees across the internet. I am currently focused on designing performant zero-knowledge proofs, which are are short certificates that attest to the correctness of a computation without revealing any secret inputs.

Today, zero-knowledge proofs enable a wide variety of applications such as anonymous credentials, verifiable databases, and private cryptocurrencies, making them a central tool in modern secure systems. I am best known for my work on bringing memory-efficient zero-knowledge proofs (opens in new tab) to practice, overcoming a key bottleneck in the last decade. Memory-efficient proofs have the potential to significantly scale secure computation due to their unique ability to handle large computations with dynamic control flow.