make prover_test ./libzeth/tests/prover_test ./prover_server/prover_server
🚨 WARNING This project is a Proof of Concept. It is highly inefficient and has not been thoroughly reviewed. Please do not use in production!
Disclaimer: This work is inspired from babyzoe, Miximus. It follows and extends the design presented in zerocash-ethereum by adapting some code initially written by Zcash.
👉 Check our paper for more information about Zeth.
💻 Warning This project primarily targets x86_64 Linux and macOS platforms.
In order to follow the README below, you will need:
- Docker
- Npm (at least version
6.4.1) - Node (at least version
v9.5.0) - Python3 (at least version
3.7) - Pip (at least version
19.0.2)
Additionally, several tools from the GCC and LLVM tools suite are used to improve code quality and generate the documentation of the project. These are required in order to compile the project with all options enabled:
To use the Zeth functionality, 3 components are required:
- An Ethereum network (the commands below use a local testnet) to host the Zeth contracts and handle transactions.
- A running "prover_server" process, used by Zeth clients to generate proofs.
- Client tools, which generate all inputs required for a Zeth operations, request proofs from the "prover_server", and transmit transactions to the Ethereum network holding the Zeth contract.
We use 3 terminals, one for each of the above components.
Note: Mac users should increase docker runtime memory from 2gb to 4gb to allow Terminal 1 to complete successfully.
# Clone this repository:
git clone [email protected]:clearmatics/zeth.git
cd zeth
# Pull the zeth-base image (built from `Dockerfile-base`)
docker pull clearmatics/zeth-base:latest
# Build the zeth-dev image
docker build -f Dockerfile-zeth -t zeth-dev .
# Start the zeth development container
docker run -ti -p 50051:50051 --name zeth zeth-dev:latest
# All the commands below are run in the docker container
# Configure your environment
. ./setup_env.sh
# Compile the proving server
mkdir build
cd build
cmake .. [<flags (see below)>]
# Compile all libraries and tools, including the prover_server
make
# (optional) Run the unit tests
make test
# (optional) Run the all tests (unit tests, syntax checks, etc)
make check
# Start the prover_server process
prover_serverNote: By default, prover_server generates a key at startup. Flags can be used
to force the server to load and/or save keys. Run src/prover_server --help
for more details.
Some flags to the cmake command can control the build configuration.
-DCMAKE_BUILD_TYPE=Release or -DCMAKE_BUILD_TYPE=Debug can be used to force
a release or debug build.
By default, zeth makes use of the GROTH16 zk-snark. To chose a different
zksnark run the following: cmake -DZKSNARK=$ZKSNARK .. where $ZKSNARK
is PGHR13 (see https://eprint.iacr.org/2013/279,
http://eprint.iacr.org/2013/879) or GROTH16(see
https://eprint.iacr.org/2016/260).
# Start the ethereum test net by running the following commands
cd zeth_contracts
# If the install below fails with python errors, try running:
npm config set python python2.7
# Install dependencies
npm install
# Start a local Ethereum testnet
npm run testrpc# Configure your environment
. ./setup_env.sh
cd clientFollow the steps described in the client README to run tests or invoke the zeth tools.
See MPC for SRS generation documentation
Immediate dependencies are provided as submodules and compiled during the Zeth build. Ensure submodules are synced.
The following libraries are also required to build:
- grpc
- gmp
- boost
- openssl
To generate the documentation of Zeth:
cd build
cmake .. && make docsYou can select the sanitizer of your choice (one of the sanitizers listed here) by passing the flag -DSANITIZER=<sanitizer> to cmake.
Example:
cd build
cmake -DCMAKE_C_COMPILER=/usr/bin/clang -DCMAKE_CXX_COMPILER=/usr/bin/clang++ -DSANITIZER=Address ..
make checkSeveral tools can be ran on the code. These can be enabled via a set of compilation options.
Note: The clang-tidy target runs a clang-tidy python script that should be fetched from here. To do so, run: cd build && wget https://raw.githubusercontent.com/llvm/llvm-project/master/clang-tools-extra/clang-tidy/tool/run-clang-tidy.py
Example:
cmake -DUSE_CLANG_FORMAT=ON -DUSE_CPP_CHECK=ON -DUSE_CLANG_TIDY=ON ..
make cppcheck
make clang-format
make clang-tidy- Make sure to enable the
CODE_COVERAGEoption in the CMake configuration. - Compile the tests
cd build && cmake .. && make check- Generate the coverage report:
make coverageNote: In order to generate the coverage reports, you will need lcov, along with genhtml and xdg-open.
- BabyZoe: https://github.com/zcash-hackworks/babyzoe
- Miximus: https://github.com/barryWhiteHat/miximus.git
- SCIPR LAB github: https://github.com/scipr-lab/
- Zcash github: https://github.com/zcash/zcash
- ZeroCash: http://zerocash-project.org/
- Zerocash-Ethereum: https://github.com/AntoineRondelet/zerocash-ethereum
Copyright (c) 2016-2018 The Zcash developers
Copyright (c) 2009-2018 The Bitcoin Core developers
Copyright (c) 2009-2018 Bitcoin Developers
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in
all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
THE SOFTWARE.
The MIT software license (http://www.opensource.org/licenses/mit-license.php)
above applies to the code directly included in this source distribution.
Dependencies downloaded as part of the build process may be covered by other
open-source licenses. For further details see 'contrib/debian/copyright'.
This product includes software developed by the OpenSSL Project for use in the
OpenSSL Toolkit (https://www.openssl.org/). This product includes cryptographic
software written by Eric Young ([email protected]).
Although almost all of the Zcash code is licensed under "permissive" open source
licenses, users and distributors should note that when built using the default
build options, Zcash depends on Oracle Berkeley DB 6.2.x, which is licensed
under the GNU Affero General Public License.
The libsnark library is developed by SCIPR Lab (http://scipr-lab.org)
and contributors.
Copyright (c) 2012-2014 SCIPR Lab and contributors (see AUTHORS file).
All files, with the exceptions below, are released under the MIT License:
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in
all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
THE SOFTWARE.