Web-Prover Circuits

Overview

web-prover-circuits is a project focused on implementing parsers and extractors/selective-disclosure for various data formats inside zero-knowledge circuits. Specifically, these are designed to be used in an NIVC folding scheme. Currently, our program layout looks like this:

Repository Structure

• circuits/: Current implementation of circuits
  • chacha: ChaCha encryption circuit
  • http: HTTP parser and extractor
  • json: JSON parser and extractor
    • json has its own documentation here
  • utils: Utility circuits
  • test: Circuit tests
• src/: Rust public-params creation binary
• examples/: Reference examples for JSON and HTTP parsers

Documentation, in general, can be found in the docs directory.

Getting Started

Prerequisites

To use this repo, you will need to install the following dependencies. These instructions should work on Linux/GNU and MacOS, but aren't guaranteed to work on Windows.

Install Rust

To install Rust, you need to run:

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
exec $SHELL

Check this is installed by running:

rustc --version && cargo --version

to see the path to your Rust compiler and Cargo package manager.

Install Circom

Succinctly, cd to a directory of your choosing and run:

git clone https://github.com/iden3/circom.git
cd circom
cargo build --release
cargo install --path circom

in order to install circom globally.

Install Node

First, install nvm by running:

curl -o- https://raw.githubusercontent.com/nvm-sh/nvm/v0.39.3/install.sh | bash
exec $SHELL

Now with nvm installed, run:

nvm install --lts
nvm use --lts
node --version && npm --version

Node packages

From the root of the repository, you can now run:

npm install

which will install all the necessary packages for working with Circom. This includes executables circomkit, snarkjs, and mocha which are accessible with Node: npx.

Circomkit

This repository uses circomkit to manage Circom circuits. To see what you can do with circomkit, we suggest running:

npx circomkit help

circomkit can essentially do everything you would want to do with these Circuits, though we can't guarantee all commands work properly.

Example: For example, to compile the plaintext_authentication, you can run the following from the repository root:

npx circomkit compile plaintext_authentication_1024b

which implicitly checks the circuits.json for an object that points to the circuit's code itself.

If you are having trouble with circomkit, consider

Mocha

mocha will also be installed from before. Running

npx mocha

will run every circuit test. To filter tests, you can use the -g flag (very helpful!).

License

Licensed under the Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)

Contributing

We welcome contributions to our open-source projects. If you want to contribute or follow along with contributor discussions, join our main Telegram channel to chat about Pluto's development.

Our contributor guidelines can be found in CONTRIBUTING.md. A good starting point is issues labelled 'bounty' in our repositories.

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be licensed as above, without any additional terms or conditions.