ZeroOS: A Universal Modular Library OS for zkVMs

• URL: http://arxiv.org/abs/2512.09300v1
• Date: Wed, 10 Dec 2025 04:00:40 GMT
• Title: ZeroOS: A Universal Modular Library OS for zkVMs
• Abstract summary: zkVMs promise general-purpose verifiable computation through ISA-level compatibility with modern programs and toolchains.<n>Modern programs often cannot run or even compile without an operating system and libc.
• Score: 14.822170571629252
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: zkVMs promise general-purpose verifiable computation through ISA-level compatibility with modern programs and toolchains. However, compatibility extends further than just the ISA; modern programs often cannot run or even compile without an operating system and libc. zkVMs attempt to address this by maintaining forks of language-specific runtimes and statically linking them into applications to create self-contained unikernels, but this ad-hoc approach leads to version hell and burdens verifiable applications (vApps) with an unnecessarily large trusted computing base. We solve this problem with ZeroOS, a modular library operating system (libOS) for vApp unikernels; vApp developers can use off-the-shelf toolchains to compile and link only the exact subset of the Linux ABI their vApp needs. Any zkVM team can easily leverage the ZeroOS ecosystem by writing a ZeroOS bootloader for their platform, resulting in a reduced maintainence burden and unifying the entire zkVM ecosystem with consolidated development and audit resources. ZeroOS is free and open-sourced at https://github.com/LayerZero-Labs/ZeroOS.

Related papers

• Agentic Harness for Real-World Compilers [22.07908620753322]
  We introduce the agentic harness designed to assist large compiler agents in understanding and fixing compiler bugs.<n>Our focus is on LLVM, one of the most widely used compiler infrastructures. Central to-autofix are agent-friendly LLVM tools, and a tailored minimal agent-autofix-mini for fixing LLVM bugs.
  arXiv  Detail & Related papers  (2026-03-20T15:56:43Z)
• VibeTensor: System Software for Deep Learning, Fully Generated by AI Agents [42.56489784841984]
  "fully generated" refers to code provenance: implementation changes were produced and applied as agent-proposed diffs.<n>We describe the architecture, summarize the workflow used to produce and validate the system, and evaluate the artifact.
  arXiv  Detail & Related papers  (2026-01-21T19:29:00Z)
• Arguzz: Testing zkVMs for Soundness and Completeness Bugs [4.015374459538631]
  We present Arguzz, the first automated tool for testing zkVMs for soundness and completeness bugs.<n>By injecting faults into the VM, Arguzz mimics malicious or buggy provers to uncover overly weak constraints.
  arXiv  Detail & Related papers  (2025-09-13T14:36:49Z)
• CrashFixer: A crash resolution agent for the Linux kernel [58.152358195983155]
  This work builds upon kGym, which shares a benchmark for system-level Linux kernel bugs and a platform to run experiments on the Linux kernel.<n>This paper introduces CrashFixer, the first LLM-based software repair agent that is applicable to Linux kernel bugs.
  arXiv  Detail & Related papers  (2025-04-29T04:18:51Z)
• Proto: A Guided Journey through Modern OS Construction [5.427132356766027]
  Proto is a new instructional OS that runs on commodity, portable hardware.<n>It showcases modern features, including per-app address spaces, threading, commoditys, USB, DMA, multicore support.<n>It supports rich applications such as 2D/3D games, music and video players, and a blockchain miner.
  arXiv  Detail & Related papers  (2025-04-24T23:46:28Z)
• vApps: Verifiable Applications at Internet Scale [2.931173822616461]
  Verifiable Applications (vApps) is a novel development framework designed to streamline the creation and deployment of verifiable computing applications.<n>vApps offer a unified Rust-based Domain-Specific Language ( DSL) within a comprehensive SDK.<n>This eases the developer's burden in securing diverse software components, allowing them to focus on application logic.
  arXiv  Detail & Related papers  (2025-04-21T02:19:06Z)
• KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution [59.20933707301566]
  Large Language Models (LLMs) are consistently improving at increasingly realistic software engineering (SE) tasks. In real-world software stacks, significant SE effort is spent developing foundational system software like the Linux kernel. To evaluate if ML models are useful while developing such large-scale systems-level software, we introduce kGym and kBench.
  arXiv  Detail & Related papers  (2024-07-02T21:44:22Z)
• LLM as OS, Agents as Apps: Envisioning AIOS, Agents and the AIOS-Agent Ecosystem [48.81136793994758]
  Large Language Model (LLM) serves as the (Artificial) Intelligent Operating System (IOS), or AIOS--an operating system "with soul" We envision that LLM's impact will not be limited to the AI application level, instead, it will in turn revolutionize the design and implementation of computer system, architecture, software, and programming language.
  arXiv  Detail & Related papers  (2023-12-06T18:50:26Z)
• OpenSLU: A Unified, Modularized, and Extensible Toolkit for Spoken Language Understanding [57.48730496422474]
  Spoken Language Understanding (SLU) is one of the core components of a task-oriented dialogue system. OpenSLU is an open-source toolkit to provide a unified, modularized, and toolkit for spoken language understanding.
  arXiv  Detail & Related papers  (2023-05-17T14:12:29Z)
• PLSSVM: A (multi-)GPGPU-accelerated Least Squares Support Vector Machine [68.8204255655161]
  Support Vector Machines (SVMs) are widely used in machine learning. However, even modern and optimized implementations do not scale well for large non-trivial dense data sets on cutting-edge hardware. PLSSVM can be used as a drop-in replacement for an LVM.
  arXiv  Detail & Related papers  (2022-02-25T13:24:23Z)
• skrl: Modular and Flexible Library for Reinforcement Learning [0.0]
  skrl is an open-source modular library for reinforcement learning written in Python. It allows loading, configuring, and operating NVIDIA Isaac Gym environments.
  arXiv  Detail & Related papers  (2022-02-08T12:43:31Z)
• ESPnet-SLU: Advancing Spoken Language Understanding through ESPnet [95.39817519115394]
  ESPnet-SLU is a project inside end-to-end speech processing toolkit, ESPnet. It is designed for quick development of spoken language understanding in a single framework.
  arXiv  Detail & Related papers  (2021-11-29T17:05:49Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.