https://github.com/scroll-tech/ceno

Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
https://github.com/scroll-tech/ceno

Last synced: 2 days ago
JSON representation

Accelerated 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: 2025-01-06T23:07:31.000Z (5 days ago)
• Last Synced: 2025-01-07T00:24:33.613Z (5 days ago)
• Language: Rust
• Homepage:
• Size: 23.9 MB
• Stars: 74
• Watchers: 15
• Forks: 16
• Open Issues: 121
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-APACHE

Awesome Lists containing this project

• awesome-zkvm - ceno - V | :red_circle: | :red_circle: | | Rust | (projects)

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

cargo build

```

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

```