ZeroOS: A Universal Modular Library OS for zkVMs. - Guangxian Zou; Isaac Zhang; Ryan Zarick; Kelvin Wong; Thomas Kim; Daniel L.-K. Wong; Saeid Yazdinejad; Dan Boneh (IACR Cryptol. ePrint Arch., 2025)