自訂 zkVM 及零知識基礎設施
精選工程工作面向採用 Rust 的可驗證計算、保障私隱執行及 zkVM 基礎設施的已驗證精選工程工作。
背景
範圍包括 ZK 原生虛擬機、執行軌跡、AIR 約束、採用 Plonky3 的 STARK 證明及分散式系統組件。
問題或目標
開發可驗證計算及保障私隱執行基礎設施，並明確公共輸入、狀態、交易及驗證界線。
交付範圍
- 採用 Rust 的可驗證計算
- 保障私隱執行
- ZK 原生虛擬機
- 指令集架構
- 執行軌跡
- AIR 約束
- 採用 Plonky3 的 STARK 證明
- 公共輸入綁定
- 著重可靠性的驗證機制
- 確定性狀態機
- Merkle 證明
- 交易提交及回滾
- RPC
- libp2p
- GossipSub
- 狀態儲存方法
工程領域
- Rust
- 可驗證計算
- 零知識基礎設施
- 分散式系統
- 狀態及交易設計
代表性產出
- ZK 原生虛擬機基礎設施
- 執行軌跡及 AIR 約束
- 公共輸入綁定及驗證機制
- 分散式狀態及網絡組件
此工作展示
- 可驗證計算工程
- 保障私隱執行設計
- 分散式系統及狀態機工作
範圍與披露
本摘要僅限已驗證工程清單，並不聲稱保證、通用屬性、性能結果或採用情況。
實作細節僅限已驗證基礎設施清單，請勿加入未說明的協議或部署聲稱。