Comment on page

Toolchain installation

Proof Market toolchain installation and building the toolchain from sources

Toolchain installation
​Proof Market toolchain is a collection of Python scripts for interacting with Proof Market. These scripts are required for all participants.
Clone the repository:
git clone --recurse-submodules [email protected]:NilFoundation/proof-market-toolchain.git
Based on the user's role, they must install additional binaries/scripts to interact with the market.
To interact with Proof Market, you must also have Python setup and its dependencies.
We recommend setting up a virtual environment to interact with Proof Market.
pip3 install --user virtualenv
python3 -m virtualenv venv
source venv/bin/activate
pip3 install -r requirements.txt
Circuit developer
Follow the installation guide for zkLLVM. zkLLVM is used to compile circuits and generate binaries to be hosted on Proof Market.
Set up authentication and follow the user guide for zero-knowledge app developers.
Proof requester
Install Lorem Ipsum CLI. For proof validation, smart contracts or zkLLVM for local validation can be used.
Set up authentication and follow the user guide for zero-knowledge app developers.
Proof producer
As a proof producer, you need to compile the proof-generator binary.
Build
cd proof-market-toolchain && mkdir build && cd build
cmake -G "Unix Makefiles" \
  -DCMAKE_BUILD_TYPE=Release \
  -DCMAKE_C_COMPILER=/usr/bin/clang-12 \
  -DCMAKE_CXX_COMPILER=/usr/bin/clang++-12 \
  ..
cmake --build . -t proof-generator
Set up authentication and follow the user guide for proof producers.
Building the toolchain from sources
You can learn more about the toolchain and how to build it via Docker or manually in the project's README.

Application developers - Previous

Getting started

Next - Application developers

Circuits and statements

Last modified 1mo ago