カスタム zkVM & ゼロ知識インフラストラクチャ
選択されたエンジニアリングの仕事Rustベースの検証可能計算、プライバシーを守る実行、zkVMインフラについての、検証済みの選定したエンジニアリング作業。
文脈
この範囲には、ZKネイティブ仮想マシン、実行トレース、AIR制約、Plonky3ベースのSTARK証明、および分散システムコンポーネントが含まれます。
問題や目標
公開入力、状態、トランザクションおよびバリデーションの明示的な境界を備えた、検証可能計算およびプライバシー保護実行のインフラストラクチャを開発する。
提供範囲
- Rustに基づく検証可能な計算
- プライバシーを守る実行
- ZKネイティブ仮想マシン
- 命令セットアーキテクチャ
- 実行トレース
- AIRの制約
- Plonky3ベースのSTARK証明
- 公開入力のバインディング
- 健全性に焦点を当てた検証メカニズム
- 決定的状態機械
- Merkle証明
- トランザクションのコミットとロールバック
- RPC
- libp2p
- GossipSub
- 状態保存のアプローチ
エンジニアリング領域
- Rust
- 検証可能な計算
- ゼロ知識のインフラストラクチャ
- 分散システム
- 状態とトランザクションの設計
代表的な成果物
- ZKネイティブ仮想マシンインフラストラクチャ
- 実行トレースと AIR の制約
- 公開入力のバインディングと検証の仕組み
- 分布された状態とネットワーク構成要素
これは何を示しているのか
- 検証可能な計算エンジニアリング
- プライバシー保護の実行設計
- 分散システムとステートマシンの作業
範囲と開示
この要約は検証されたエンジニアリングのインベントリに限られており、保証、普遍的性質、性能結果、または採用を主張するものではありません。
実装詳細は検証されたインフラストラクチャのインベントリ内に留め、プロトコルまたは展開について明言されていない主張を加えてはならない。
関連BilgeQorサービス
関連するエンジニアリングの範囲について議論する
この事例を文脈として用い、どのシステム、境界、または提供に関する質問をレビューする必要があるかを教えてください。
この事例の範囲を依頼エンジニアリング事例に戻る