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

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

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

shell script cargo install zkutil

Or you can compile and run it instead:

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

Usage examples:

```shell script

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