Arasu Arun
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
Nebula: Efficient read-write memory and switchboard circuits for folding schemes
Arasu Arun,
Srinath Setty
IEEE S&P 2026 (Distinguished Paper Award)
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
Presented at the IEEE S&P 2026 Poster Session (Best Poster Award)
Jolt: SNARKs for Virtual Machines via Lookups
Arasu Arun,
Srinath Setty,
Justin Thaler
Eurocrypt 2024
Jolt is a popular open-source zkVM library.
Blogs: Overview, Engineering,
Talks: (Some are linked below)
Misc: Tweet
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