定制 zkVM 与零知识基础设施
精选工程工作面向基于 Rust 的可验证计算、隐私保护执行和 zkVM 基础设施的已验证精选工程工作。
背景
范围包括 ZK 原生虚拟机、执行轨迹、AIR 约束、基于 Plonky3 的 STARK 证明和分布式系统组件。
问题或目标
开发可验证计算和隐私保护执行基础设施，并明确公共输入、状态、交易和验证边界。
交付范围
- 基于 Rust 的可验证计算
- 隐私保护执行
- ZK 原生虚拟机
- 指令集架构
- 执行轨迹
- AIR 约束
- 基于 Plonky3 的 STARK 证明
- 公共输入绑定
- 侧重可靠性的验证机制
- 确定性状态机
- Merkle 证明
- 事务提交与回滚
- RPC
- libp2p
- GossipSub
- 状态存储方法
工程领域
- Rust
- 可验证计算
- 零知识基础设施
- 分布式系统
- 状态与交易设计
代表性产出
- ZK 原生虚拟机基础设施
- 执行轨迹与 AIR 约束
- 公共输入绑定与验证机制
- 分布式状态与网络组件
该工作体现
- 可验证计算工程
- 隐私保护执行设计
- 分布式系统与状态机工作
范围与披露
本摘要仅限已验证工程清单，不声明保证、通用属性、性能结果或采用情况。
实施细节仅限已验证基础设施清单，不添加未说明的协议或部署声明。