substrate-zk

A Substrate-based chain supporting ZK-SNARKs verification.

Download substrate-zk

git clone --recurse-submodules https://github.com/Zkvers/substrate-zk

Environment

Rust version:

nightly-2023-03-13-aarch64-apple-darwin (default)
rustc 1.70.0-nightly (7b4f48927 2023-03-12)

Zero knowledge proof and verification on Substrate-based chain

In this project, we have theory and practice in Zero knowledge proof, Mainly description exists in proof system directory and README of zk-tutorial dir and the README of snarkjs-bellman-adapter

• Groth16: refer to substrate-zk/zk-tutorials/proof-system/theory_to_practice and you can directly operate with practice1 section where you can build the full process which using bellman to verify the proof generated by snarkjs
• Plonk: coming soon...