自訂 zkVM 與零知識基礎設施
精選工程工作已驗證的精選工程工作，涵蓋以 Rust 建構的可驗證運算、隱私保留執行與 zkVM 基礎設施。
背景
範圍包括原生 ZK 虛擬機、execution trace、AIR 約束、以 Plonky3 為基礎的 STARK 證明，以及分散式系統組件。
問題或目標
建立可驗證運算與隱私保留執行基礎設施，並為 public input、狀態、交易和驗證維持清楚界線。
交付範圍
- 以 Rust 建構的可驗證運算
- 隱私保留執行
- 原生 ZK 虛擬機
- instruction set 架構
- Execution trace
- AIR 約束
- 以 Plonky3 為基礎的 STARK 證明
- Public input 繫結
- 以 soundness 為焦點的驗證機制
- 確定性狀態機
- Merkle 證明
- 交易 commit 與 rollback
- RPC
- libp2p
- GossipSub
- 狀態儲存方法
工程領域
- Rust
- 可驗證運算
- 零知識基礎設施
- 分散式系統
- 狀態與交易設計
代表性產出
- 原生 ZK 虛擬機基礎設施
- Execution trace 與 AIR 約束
- Public input 繫結及驗證機制
- 分散式狀態與網路組件
此工作展現
- 可驗證運算工程
- 隱私保留執行設計
- 分散式系統與狀態機工作
範圍與揭露
本摘要僅限已驗證的工程清單，不宣稱保證、普遍屬性、效能成果或採用情形。
請將實作細節保留在已驗證的基礎設施清單中，且不增加未明示的協定或部署主張。