論文の概要: ZeroOS: A Universal Modular Library OS for zkVMs

• arxiv url: http://arxiv.org/abs/2512.09300v1
• Date: Wed, 10 Dec 2025 04:00:40 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-12-11 15:14:53.390108
• Title: ZeroOS: A Universal Modular Library OS for zkVMs
• Title（参考訳）: ZeroOS: zkVM用のユニバーサルモジュールライブラリOS
• Authors: Guangxian Zou, Isaac Zhang, Ryan Zarick, Kelvin Wong, Thomas Kim, Daniel L. -K. Wong, Saeid Yazdinejad, Dan Boneh,
• Abstract要約: zkVMsは、ISAレベルの現代的なプログラムやツールチェーンとの互換性を通じて、汎用的な検証可能な計算を約束する。 現代のプログラムはオペレーティングシステムやlibcなしでは実行できない。
• 参考スコア（独自算出の注目度）: 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.
• Abstract（参考訳）: zkVMsは、ISAレベルの現代的なプログラムやツールチェーンとの互換性を通じて、汎用的な検証可能な計算を約束する。 しかし、互換性はISAだけでなく拡張されており、現代のプログラムはオペレーティングシステムやlibcなしでは実行できない。 zkVMは、言語固有のランタイムのフォークを維持し、それを静的にリンクして、自己完結したユニカーネルを作成することで、この問題に対処しようとするが、このアドホックなアプローチは、必要以上に大きな信頼できるコンピューティング基盤を持つ、バージョン地獄と検証可能なアプリケーション(vApp)の負担につながる。 vApp開発者は、既製のツールチェーンを使用して、vAppが必要とするLinux ABIの正確なサブセットのみをコンパイル、リンクすることができます。 すべてのzkVMチームは、プラットフォーム用にZeroOSブートローダを記述することで、ZeroOSエコシステムを容易に活用できる。 ZeroOSはhttps://github.com/LayerZero-Labs/ZeroOSで無料で公開されている。

関連論文リスト

• VibeTensor: System Software for Deep Learning, Fully Generated by AI Agents [42.56489784841984]
  実装の変更が生成され、エージェントが提案する差分として適用される。 アーキテクチャを説明し、システムの生成と検証に使用するワークフローを要約し、アーティファクトを評価する。
  論文  参考訳（メタデータ） (2026-01-21T19:29:00Z)
• Arguzz: Testing zkVMs for Soundness and Completeness Bugs [4.015374459538631]
  私たちは、zkVMの音質と完全性に関するバグをテストする最初の自動化ツールであるArguzzを紹介します。 VMに障害を注入することで、Arguzzは悪意のある、あるいはバグの多いプローバーを模倣し、過度に弱い制約を明らかにする。
  論文  参考訳（メタデータ） (2025-09-13T14:36:49Z)
• CrashFixer: A crash resolution agent for the Linux kernel [58.152358195983155]
  この作業は、システムレベルのLinuxカーネルバグのベンチマークと、Linuxカーネルで実験を実行するプラットフォームを共有するkGymの上に構築されている。 CrashFixerはLinuxカーネルのバグに適応する最初のLCMベースのソフトウェア修復エージェントである。
  論文  参考訳（メタデータ） (2025-04-29T04:18:51Z)
• Proto: A Guided Journey through Modern OS Construction [5.427132356766027]
  Protoは、コモディティでポータブルなハードウェアで動作する新しいインストラクショナルOSである。 アプリケーションごとのアドレス空間、スレッディング、コモディティ、USB、DMA、マルチコアサポートなど、モダンな機能を紹介する。 2D/3Dゲーム、音楽とビデオプレーヤー、ブロックチェーンマイナなど、リッチなアプリケーションをサポートする。
  論文  参考訳（メタデータ） (2025-04-24T23:46:28Z)
• vApps: Verifiable Applications at Internet Scale [2.931173822616461]
  検証可能なアプリケーション(vApps)は、検証可能なコンピューティングアプリケーションの作成とデプロイを効率化するために設計された、新しい開発フレームワークである。 vAppsは、包括的なSDK内でRustベースのドメイン特化言語(DSL)を統一する。 これにより、多様なソフトウェアコンポーネントの確保に対する開発者の負担が軽減され、アプリケーションロジックに集中できるようになる。
  論文  参考訳（メタデータ） (2025-04-21T02:19:06Z)
• KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution [59.20933707301566]
  大規模言語モデル(LLM)は、ますます現実的なソフトウェア工学(SE)タスクにおいて一貫して改善されている。 現実世界のソフトウェアスタックでは、Linuxカーネルのような基本的なシステムソフトウェアの開発にSEの取り組みが費やされています。 このような大規模システムレベルのソフトウェアを開発する際にMLモデルが有用かどうかを評価するため、kGymとkBenchを紹介する。
  論文  参考訳（メタデータ） (2024-07-02T21:44:22Z)
• LLM as OS, Agents as Apps: Envisioning AIOS, Agents and the AIOS-Agent Ecosystem [48.81136793994758]
  大規模言語モデル (LLM) は(人工)知能オペレーティングシステム (IOS) またはAIOS (AIOS) として機能する。 LLMの影響はAIアプリケーションレベルに限らず、コンピュータシステム、アーキテクチャ、ソフトウェア、プログラミング言語の設計と実装に革命をもたらすものと期待している。
  論文  参考訳（メタデータ） (2023-12-06T18:50:26Z)
• OpenSLU: A Unified, Modularized, and Extensible Toolkit for Spoken Language Understanding [57.48730496422474]
  Spoken Language Understanding (SLU) はタスク指向対話システムの中核となるコンポーネントの一つである。 OpenSLUは、言語理解のための統一的でモジュール化されたツールキットを提供するオープンソースツールキットである。
  論文  参考訳（メタデータ） (2023-05-17T14:12:29Z)
• PLSSVM: A (multi-)GPGPU-accelerated Least Squares Support Vector Machine [68.8204255655161]
  Support Vector Machines (SVM) は機械学習で広く使われている。 しかし、現代的で最適化された実装でさえ、最先端ハードウェア上の大きな非自明な高密度データセットにはうまくスケールしない。 PLSSVMはLVMのドロップイン代替として使用できる。
  論文  参考訳（メタデータ） (2022-02-25T13:24:23Z)
• skrl: Modular and Flexible Library for Reinforcement Learning [0.0]
  skrlはPythonで書かれた強化学習のためのオープンソースのモジュールライブラリである。 NVIDIA Isaac Gym環境のロード、設定、操作を可能にする。
  論文  参考訳（メタデータ） (2022-02-08T12:43:31Z)
• ESPnet-SLU: Advancing Spoken Language Understanding through ESPnet [95.39817519115394]
  ESPnet-SLUは、エンドツーエンドの音声処理ツールキットであるESPnetのプロジェクトである。 単一のフレームワークによる音声言語理解の迅速な開発を目的として設計されている。
  論文  参考訳（メタデータ） (2021-11-29T17:05:49Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。