OpenZL

Overview

OpenZL Design

OpenZL Goals and Non-Goals

Goals: * 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 * Common gadgets such as hashing, commitment, accumulators in ZIR. * Able to compile both prover and verifier to standard WASM and substrate flavored WASMI * Tutorials support substrate ecosystem zero-knowledge proof applications

Non-Goals: * Build high-level language like Circom/Cairo (Would love to see someone else build high level language compiled to ZIR though) * Build "yet another plonk" * Create new fragmentation in ZK tooling space

OpenZL Roadmap and Milestones

• Milestone 1 (Prototype): July, 2022

• Milestone 2 (Feature Complete): Sep, 2022

• Milestone 3 (Audit): Nov. 2022 Potential auditors: ABDK, Least Authority, Trail of Bits

Open-Sourced Contribution

OpenZL will be closely curated by Manta Team and will NOT accept open-sourced contribution unless communicated with Manta Team.

OpenZL Oversee Committee

• Shumo Chu (Co-founder, Manta Network)
• Luke Pearson (Research Partner, Polychain Capital)
• Bryan Chen (CTO, Acala Network)

Funding and spendings will be managed in a 2/3 multisig.