論文の概要: 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で無料で公開されている。

関連論文リスト

• 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)
• 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)
• skrl: Modular and Flexible Library for Reinforcement Learning [0.0]
  skrlはPythonで書かれた強化学習のためのオープンソースのモジュールライブラリである。 NVIDIA Isaac Gym環境のロード、設定、操作を可能にする。
  論文  参考訳（メタデータ） (2022-02-08T12:43:31Z)

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

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