Arasu Arun
My email: arasu@nyu.edu
I recently finished my PhD at New York University, where I was fortunate to be advised by Joseph Bonneau.
My PhD work focused on building efficient zero-knowledge proofs to verify real-world systems. My most notable project is the Jolt zero-knowledge virtual machine.
I now research verifiable computing and its applications to machine learning at Gensyn AI.
Publications
Verde: Verification via Refereed Delegation for Machine Learning Programs
Arasu Arun,
Adam St. Arnaud,
Alexey Titov,
Brian Wilcox,
Viktor Kolobaric,
Marc Brinkmann,
Oguzhan Ersoy,
Ben Fielding,
Joseph Bonneau
(under submission)
Nebula: Efficient read-write memory and switchboard circuits for folding schemes
Arasu Arun,
Srinath Setty
IEEE S&P 2026
Jolt: SNARKs for Virtual Machines via Lookups
Arasu Arun,
Srinath Setty,
Justin Thaler
Eurocrypt 2024
We implemented Jolt as an open-source repository. Blogs: Overview, Engineering
Zombie: Middleboxes that Don’t Snoop
Collin Zhang,
Zachary DeStefano,
Arasu Arun,
Joseph Bonneau,
Paul Grubbs,
Michael Walfish
NSDI 2024
Riggs: Decentralized Sealed-Bid Auctions
Nirvan Tyagi,
Arasu Arun,
Cody Freitag,
Riad Wahby,
Joseph Bonneau,
David Mazièras
CCS 2023
Bicorn: An optimistically efficient distributed randomness beacon
Kevin Choi,
Arasu Arun,
Nirvan Tyagi,
Joseph Bonneau
Financial Cryptography 2023
Dew: Transparent Constant-sized zkSNARKs
Sriram Sridhar,
Arasu Arun,
Chaya Ganesh,
Satya Lokam,
Tushar Mopuri
PKC 2023
Short-lived Proofs and Signatures
Arasu Arun,
Joseph Bonneau,
Jeremy Clark
AsiaCrypt 2022
Zero-knowledge Middleboxes
Paul Grubbs,
Arasu Arun,
Ye Zhang,
Joseph Bonneau,
Michael Walfish
USENIX Security 2022
Code
Talks
- COSIC Seminar, KU Leuven, April 2022 - Link
Internships
a16z Crypto, Spring 2024
Microsoft Research (Redmond), Summer 2023
a16z Crypto, Summer 2022
Microsoft Research (Bangalore), Summer 2020