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

Arithmetic circuits

Question

Please send email to Chenkai Weng ([email protected]) and Xiao Wang ([email protected]).

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.