Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/0xHackedLabs/zkProver
https://github.com/0xHackedLabs/zkProver
defi ethereum solidity web3
Last synced: about 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/0xHackedLabs/zkProver
- Owner: SecurFi
- Created: 2023-05-25T07:11:30.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-06-14T15:28:24.000Z (3 months ago)
- Last Synced: 2024-06-14T16:58:21.658Z (3 months ago)
- Topics: defi, ethereum, solidity, web3
- Language: Rust
- Homepage: https://docs.0xHacked.com
- Size: 4.62 MB
- Stars: 26
- Watchers: 1
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- awesome-foundry - 0xHacked - A trustless bug bounty platform built on zero-knowledge proof, where the whitehat can submit the proof of exploit to claim a bug bounty without disclosing any details. We referred to the implementation of Foundry. (Projects Using Foundry)
README
# zkProver
Besides generating the proof of exploit using [our online tool](https://www.SecurFi.com/tool), you can also do it locally with zkProver.
## Installation
Currently, zkProver supports **Linux** and **MacOS with Apple Silicon**.
``` bash
curl -L https://install.SecurFi.com | bash
```
> If you're using MacOS, please make sure you have installed Xcode, `xcode-select --install` and run `xcrun metal` successfully.
If you encounter any errors, please contact me via [Telegram](https://t.me/dimitrysc).
## Building from source
### Requirements
* Ubuntu
- [Rust](https://www.rust-lang.org/tools/install)
```bash
sudo curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
```
- build tools
```bash
sudo apt install -y build-essential pkg-config libssl-dev
```
- cuda[optional] [install guide](https://docs.nvidia.com/cuda/cuda-installation-guide-linux/index.html)
* Centos
- Developments Tools
```bash
sudo yum groupinstall 'Development Tools'
```
- cuda[optional] [install guide](https://docs.nvidia.com/cuda/cuda-installation-guide-linux/index.html)
* Mac
- [Rust](https://www.rust-lang.org/tools/install)
```bash
brew install rustup-init
rustup-init
```
## Usage
### generate zk proof
```bash
# For MacOS with Metal support
cargo run -r -p zkProver -F metal -- evm -r -b -d
# For Linux/Windows with CUDA support
cargo run -r -p zkProver -F cuda -- evm -r -b -d
# For CPU-only Linux/Windows/MacOS
# Not recommended, the generation might be very slow.
cargo run -r -p zkProver -- evm -r -b -d
```
We highly recommend you start hacking from [PoC demos](https://github.com/SecurFi/PoC) after installing zkProver.
## Documentation
[Documentation for SecurFi](https://docs.SecurFi.com)
## Acknowledgements
Thanks to the contributions of [foundry](https://github.com/foundry-rs/foundry), [revm](https://github.com/bluealloy/revm), [reth](https://github.com/paradigmxyz/reth), [ethers-rs](https://github.com/gakonst/ethers-rs) and [RISC Zero](https://github.com/risc0/risc0) to crypto. We're grateful for these awesome projects.