Pico EVM - EVM Prover using Pico ZKVM

Overview

This project implements an EVM (Ethereum Virtual Machine) prover using Pico ZKVM from Brevis Network. It allows generating zero-knowledge proofs of EVM execution.

Project Structure

• app/: Main application crate
• lib/: Core library crate containing EVM implementation
• prover/: ZK proof generation components

Prerequisites

• Rust (version specified in rust-toolchain)
• Pico ZKVM toolchain

Building

Build program in app folder:

cd app
cargo pico build

This will use the Pico compiler to generate a RISC-V ELF that can be executed by the Pico ZKVM.

Proving

Prove program with Pico in prover folder:

cd ../prover
RUST_LOG=info cargo run --release

Testing

Run unit tests with:

cargo test