ZeroOS: A Universal Modular Library OS for zkVMs

Guangxian Zou, Isaac Zhang, Ryan Zarick +5

zkVMs promise general-purpose verifiable computation through ISA-level compatibility with modern programs and toolchains. However, compatibility extends further than just the ISA;…