Ere Guests

A collection of guest programs built with Ere for various zkVM platforms.

Table of Contents

• Ere Guests
  • Table of Contents
  • Supported Rust Versions (MSRV)
  • Overview
  • Repository Structure
    • Library Crates
    • Guest Programs
  • Development
    • Formatting
  • License

Supported Rust Versions (MSRV)

The current MSRV (minimum supported rust version) is 1.88.

Overview

This repository contains guest programs and libraries designed to run on zkVM platforms using the Ere framework. It provides both reusable library crates and compiled guest binaries for various zkVMs.

Repository Structure

Library Crates

Located in crates/, these provide reusable functionality for guest programs and host:

• stateless-validator-common - Canonical SSZ stateless input and output types shared by both validators
• stateless-validator-ethrex - Stateless validation using Ethrex
• stateless-validator-reth - Stateless validation using Reth
• stateless-validator-debug - CLI tool for running stateless validator guest fixtures natively
• stateless-validator-test - Shared test harness that downloads EEST and RPC fixtures and runs guests on host and in dockerized zkVMs

Guest Programs

Located in bin/, these are executable guest programs for various zkVMs:

• stateless-validator-ethrex - Stateless validator using Ethrex
• stateless-validator-reth - Stateless validator using Reth

Development

Formatting

Formatting of the workspace and all guest programs:

.github/scripts/cargo-fmt-all.sh

License

Licensed under either of:

• Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
• MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)

at your option.