range-proof

range proof implementation for skde

How to Run the Code

To run this project, you will need Rust installed on your system. If Rust is not installed, you can install it from the official Rust website.

Install prerequisites

On Mac:

brew install cmake
brew install ninja
xcode-select --install

Install the risc0 toolchain

Before building the project, you must install the 'risc0' toolchain. You can install it using rzup as follows:

curl -L https://risczero.com/install | bash
rzup install

For detailed installation instructions, refer to the official documentation: RISC Zero zkVM Installation Guide

Run the project:

cargo run --release

Run the host application:

cargo run --bin host --release

Troubleshooting

If you encounter build errors related to the risc0 toolchain, please ensure the following:

• Use the latest risc0 version (v1.2.6)
• Install Rust 1.86.0 via rustup
• Update your rzup, cargo-risczero, and r0vm tools:

  rzup update
  rzup install cargo-risczero 1.2.6
  rzup install r0vm 1.2.6
  rzup default cargo-risczero 1.2.6
  rzup default r0vm 1.2.6

• Clean previous builds:

  cargo clean

Then try running the host again:

cargo run --bin host --release