zeam

(β˜… 97)

Ethereum Lean client in Zig (wip)

  • .dockerignore
  • .gitignore
  • .gitmodules
  • AGENTS.md
  • build.zig
  • build.zig.zon
  • Dockerfile
  • Dockerfile.prebuilt
  • forkchoice_concurrency_analysis.md
  • lean-quickstart
  • leanSpec
  • LICENSE
  • README.md
  • RELEASE.md
  • rust-toolchain.toml
  • test-keys

# Installation Guide

1. Get the code
git clone https://github.com/blockblaz/zeam

Downloads the entire project code from GitHub to your computer.

cd zeam

Moves into the project folder you just downloaded.

2. Docker

Easy Recommended
Prerequisites
  • Git Needed to download the project code from GitHub.
  • Docker Desktop Needed to build and run containers. Install it and keep it running in the background.
docker build -f Dockerfile.prebuilt -t zeam:local .

Builds a runnable image based on the Dockerfile.

docker build -f Dockerfile.prebuilt \

Builds a runnable image based on the Dockerfile.

βœ… Run docker compose ps to check the containers are Up. If the README mentions a port, open http://localhost:PORT in your browser.

Pulled directly from this repo's README.

3. Rust

Medium
Prerequisites
  • Git Needed to download the project code from GitHub.
  • Rust (rustup) Installing via rustup also installs cargo.
cd pkgs/state-transition-runtime/src/powdr/host

This project's files live in a subfolder, so move into it first.

cargo build --release

Compiles the Rust project.

cargo run

Builds and then immediately runs the program.

βœ… If cargo build finishes without errors, it worked. The executable is created under target/.
// repository documentation