emp-toolkit / emp-zk

Efficient and Interactive Zero-Knowledge Proofs

EMP-zk

Protocols

The code in this repo implements a fast, scalable, communication-efficient zero-knowledge proof protocol for Boolean/arithmetic circuits and polynomials. The protocols are described in Wolverine, Quicksilver and Mystique.

Installation

1. wget https://raw.githubusercontent.com/emp-toolkit/emp-readme/master/scripts/install.py
2. python[3] install.py --deps --tool --ot --zk
   1. By default it will build for Release. -DCMAKE_BUILD_TYPE=[Release|Debug] option is also available.
   2. No sudo? Change CMAKE_INSTALL_PREFIX.

Test

Testing on localhost

./run ./bin/[binary]

Testing on two

1. Change the IP address in the test code

2. run ./bin/[binary] 1 [port] on one machine and

   run ./bin/[binary] 2 [port] on the other machine.

Performance

The test is done by two AWS EC2 m5.2xlarge servers with throttled network.

Throughput of circuit-based ZK protocol

All values are for "million gates per second".

Boolean circuits

Threads	10 Mbps	20 Mbps	30 Mbps	50 Mbps	Localhost
1	5.1	7.8	8.6	8.6	8.6
2	6	10	12.9	14.3	13.6
3	6.3	10.9	14.5	17.3	18
4	6.4	11.4	15.1	19	19.4

Arithmetic circuits

Threads	100 Mbps	500 Mbps	1 Gbps	2 Gbps	Localhost
1	1.4	4.8	6.8	7.8	7.8
2	1.4	5.6	8.7	10.2	10.4
3	1.4	5.9	9.3	11.7	12.5

Question

Please send email to Chenkai Weng ([e-mail]) and Xiao Wang ([e-mail]).

Acknowledgement

This software is produced by wizkit team members in the SIEVE project. This work was supported in part DARPA under Contract No. HR001120C0087, and research awards from Facebook and PlatON Network. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of DARPA.