zkUtil

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

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

```shell script cargo install zkutil

Make sure ~/.cargo/bin is in $PATH (should be added automatically during Rust installation)

```

Or alternatively 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