This repository contains a zero-knowledge proof system built with SP1.
First, build the program crate using SP1's prove toolchain:
# Navigate
cd program
cargo prove buildThis compiles the program for the RISC-V target and generates the necessary ELF file.
Navigate to the zk-proof directory and run either execution or proving:
cd zk-proofcargo r -r -- --executecargo r -r -- --proveprogram/- The SP1 program that gets compiled to RISC-Vzk-proof/- The host application that executes or proves the programunitsdesign/- Core token and state management logic
- SP1 toolchain installed
- Rust with RISC-V target support