bigint-range-proof

This repository implements range proofs for big integers using the zkVM (zero-knowledge virtual machine).

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 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

Build the project:

cargo build --release

Run the host application:

cargo run --release

File Descriptions

• main.rs: Contains the main logic for range proofs for big integers using zkVM.
• build.rs: Script that automates the build process for the guest environment.
• rust-toolchain.toml: Ensures a consistent Rust version and toolchain are used across all environments to avoid compatibility issues.

Structure

bigint-range-proof
├── host
│   ├── src    
│   │   └── main.rs           
│   └── Cargo.toml            
├── methods
│   ├── guest
│   │   ├── src
│   │   │   └── main.rs  
│   │   └── Cargo.toml  
│   ├── src
│   │   └── lib.rs  
│   ├── build.rs           
│   └── Cargo.toml             
├── README.md                 
└── rust-toolchain.toml