We extend our heartfelt gratitude to the spirit of open-source community, particularly to projects like halo2-lib and snark-verifier. Their pioneering work has laid a solid foundation for our project, enabling us to build upon their achievements and contribute to the collective advancement of our field.
The function of this zero-knowledge proof circuit library is to enable us to have untrusted access to historical data on the blockchain and arbitrary computational expressions.
- system requirements:
- Minimum 64-core CPU
- Minimum 3080 Nvidia GPU(which supports CUDA Toolkit version 12.0 or above).
- Minimum 350GB RAM
- Minimum 500GB ROM
- software requirements:
- CUDA Toolkit version 12.0 or newer.
- CMake, version 3.24.3 and above. Latest version is recommended.
- Solc, version 0.8.19.
-
All circuits in this project rely on a one-time universal trusted setup, also known as the tau power ceremony. This is the same as the ceremony conducted by the Ethereum Foundation in preparation for EIP-4844 (also known as proto-danksharding). Execute the
download_setupscript to download the halo2-compatible trusted setup files.sh scripts/download_setup.sh
-
In order to successfully run the service in a user environment in a certain and stable way, please execute the following command.
cp release_Cargo.lock Cargo.lock
-
Please ensure that the Rust version in use is on the nightly version, then execute the
servicesscript to start the service.sh scripts/services.sh
We offer a simple Docker container so you can simply run zkspv-circuits without setting everything up locally.