Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/scroll-tech/ceno
Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
https://github.com/scroll-tech/ceno
Last synced: 13 days ago
JSON representation
Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
- Host: GitHub
- URL: https://github.com/scroll-tech/ceno
- Owner: scroll-tech
- License: apache-2.0
- Created: 2023-11-27T15:33:41.000Z (about 1 year ago)
- Default Branch: master
- Last Pushed: 2024-11-25T08:14:33.000Z (17 days ago)
- Last Synced: 2024-11-25T08:23:05.704Z (17 days ago)
- Language: Rust
- Size: 22.1 MB
- Stars: 54
- Watchers: 13
- Forks: 6
- Open Issues: 86
-
Metadata Files:
- Readme: README.md
- License: LICENSE-APACHE
Awesome Lists containing this project
- awesome-zkvm - ceno
README
# Ceno: Non-uniform, Segment and Parallel Risc-V Zero-knowledge Virtual Machine
Please see [the slightly outdated paper](https://eprint.iacr.org/2024/387) for an introduction to Ceno.
🚧 This project is currently under construction and not suitable for use in production. 🚧
If you are unfamiliar with the RISC-V instruction set, please have a look at the [RISC-V instruction set reference](https://github.com/jameslzhu/riscv-card/releases/download/latest/riscv-card.pdf).
## Local build requirements
Ceno is built in Rust, so [installing the Rust toolchain](https://www.rust-lang.org/tools/install) is a pre-requisite if you want to develop on your local machine. We also use [cargo-make](https://sagiegurari.github.io/cargo-make/) to build Ceno. You can install cargo-make with the following command:
```sh
cargo install cargo-make
```
You will also need to install the Risc-V target for Rust. You can do this with the following command:
```sh
rustup target add riscv32im-unknown-none-elf
```
## Building Ceno and running tests
To run the tests, you can use the following command:
```sh
cargo make tests
```
Clippy and check work as usual:
```sh
cargo check
cargo clippy
```
Alas, `cargo build` doesn't work. That's a known problem and we're working on it. Please use `cargo make build` instead for now.
### Setting up self-hosted CI docker container
To set up docker container for CI, you can run the following command:
```sh
docker build -t ceno-runner scripts/ci/
docker run -d ceno-runner
```