zkutil 0.1.1

Library for working with circom circuits
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

# zkUtil [![Crates.io](https://img.shields.io/crates/v/zkutil.svg)](https://crates.io/crates/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