1 unstable release

0.0.0 May 2, 2022

#44 in #gadget

MIT/Apache

3KB

OpenZL

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.

No runtime deps