TY  - RPRT
TI  - vApps: Verifiable Applications at Internet Scale
AU  - Isaac Zhang
AU  - Kshitij Kulkarni
AU  - Tan Li
AU  - Daniel Wong
AU  - Thomas Kim
AU  - John Guibas
AU  - Uma Roy
AU  - Bryan Pellegrino
AU  - Ryan Zarick
PY  - 2025
UR  - https://arxiv.org/abs/2504.14809
ID  - 2504.14809
ER  -