zkUtil

A tool to work with zkSNARK circuits generated by circom compiler. Based on circom import code by @kobigurk

This crate has not been published yet on crates.io as it waits for clap and bellman_ce crate updates and uses them as git dependencies until then

The generated keys are currently incompatible with upstream Websnark and require using a custom fork

Installation

Install Rust

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

Install zkutil globally // Does not work until published on crates.io

cargo install zkutil

Or you can compile and run it instead:

git clone https://github.com/poma/zkutil
cd zkutil
cargo run --release -- prove --help

Usage examples:

# Get help
zkutil --help
zkutil prove --help

# Generate proof
zkutil prove

# Verify proof
zkutil verify

# Generate verifier.sol smart contract
zkutil generate-verifier 

Also see test.sh for example