Sirius Halo2 ChipUsage

Welcome to the sirius-halo2-chip-usage repository, a minimal example to get you started with the Sirius framework for Incrementally Verifiable Computation (IVC).

Introduction

This repository provides a simple, runnable example to demonstrate how easily halo2 chips can be integrated into the Sirius framework. Specifically, we show how to reuse an existing ShuffleChip example from the halo2 repository and modify it for use within Sirius.

The ShuffleChip code in this example is taken from the halo2_proofs examples (shuffle_api.rs). It has been slightly modified to fit into the Sirius framework, mainly by making certain fields public and adapting it to the Sirius proof system. It was only copied because it's not exported from the halo2_proofs crate.

This example serves as a starting point for developers who want to leverage the power of halo2 chips in their Sirius-based projects, showing how simple it is to adapt existing halo2 chips for use in different cryptographic frameworks.

Prerequisites

1. Install Rust

If you haven't already installed Rust, you can do so by using rustup. Rustup will set up your environment with the latest stable Rust compiler and Cargo, Rust's package manager.

To install Rust, run:

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

After installation, make sure your Rust toolchain is up-to-date:

rustup update

2. Clone the Repository

Clone the sirius-halo2-chip-usage repository to your local machine:

git clone https://github.com/snarkify/sirius-halo2-chip-usage.git;
cd sirius-halo2-chip-usage;

Project Structure

The project structure is as follows:

• src/: Contains the source code for the example.
• Cargo.toml: The Cargo configuration file, listing dependencies and metadata for the project.

Running the Example

1. First Run

To run the example for the first time, use the following command:

cargo run --release

This will compile the project in release mode, which is optimized for speed. During this initial run, the commitment keys for the BN256 and Grumpkin curves will be generated and cached. This process may take some time, so running in release mode ensures it completes as quickly as possible.

2. Subsequent Runs

For subsequent runs, you can use the following command without the --release flag:

cargo run

This will reuse the previously generated commitment keys, so the process will be faster, and there’s no need to recompile in release mode unless you're making significant changes or need the performance optimization again.

3. Expected Output

When the example runs successfully, you should see output indicating that the folding steps were executed and verified successfully:

start setup primary commitment key: bn256
start setup secondary commitment key: grumpkin
ivc created
folding step 1 was successful
folding step 2 was successful
folding step 3 was successful
folding step 4 was successful
folding step 5 was successful
verification successful
success

Understanding the Example

This example demonstrates the following key concepts of the Sirius framework:

• ShuffleChip: A custom chip implementation that handles the shuffle logic using Halo2, copied and adapted from the halo2_proofs repository's examples.
• StepCircuit: A trait representing the circuit for each step in the IVC. In this example, the circuit performs an identity operation.
• Commitment Keys: Setup for the primary and secondary circuits, using BN256 and Grumpkin elliptic curves.
• Folding Steps: Execution of multiple folding steps, each represented by an invocation of the fold_step function.

For more detailed explanations, please refer to the main Sirius documentation.

Next Steps

After understanding this basic example, you can explore more complex examples and customize your circuits:

• Modify the StepCircuit implementation to perform non-trivial operations.
• Experiment with different folding step counts and configurations.
• Explore the Sirius main repository for advanced features like custom gates and high-degree optimizations.

Getting Involved

We'd love for you to be a part of our community!

If you're as enthusiastic about Sirius as we are, we invite you to join our developer community at Telegram. It's a great place to stay updated, get involved, and contribute to the project. Whether you're looking to contribute code, provide feedback, or simply stay in the loop, our Telegram group is the place to be.

👉 Join our developer community

Thank you for your interest in our project! ✨