OpenZL

概述

OpenZL 设计

OpenZL 目标和非目标

目标

• A production ready and proof-system agnostic ZK library for blockchain applications (support arkworks/groth16, zk-garage/plonk, microsoft/nova)
• ZIR: A shallow embedded circuit DSL in Rust that can rule out some common errors using Rust's type systems
• 在 ZIR 中包含常见的组件，如哈希、承诺、累加器。
• 能够将验证者和验证者编译成标准的 WASM 和 substrate 风格的 WASMI
• 教程支持 substrate 生态系统中的零知识证明应用

非目标

• 构建高级语言如 Circom/Cairo (非常乐意看到其他人构建编译为 ZIR 的高级语言)
• 构建 "另一个 plonk"
• 在 ZK 工具空间中创造新的碎片

OpenZL 路线和里程碑

• 里程碑 1 (原型): 2022年7月

• 里程碑 2 (功能完善): 2022年9月

• 里程碑 3 (审计): 2022年11月 潜在审计师: ABDK, Least Authority, Trail of Bits

开源贡献

OpenZL 将由 Manta 团队严格审查，并将 不接受 开源贡献，除非与 Manta 团队沟通。

OpenZL 监督委员会

• Shumo Chu (Manta Network 联合创始人)
• Luke Pearson (Polychain Capital 研究合作伙伴)
• Bryan Chen (Acala Network 首席技术官)

资金和支出将由 2/3 多重签名管理。