Projects in Awesome Lists by eth-act
A curated list of projects in awesome lists by eth-act .
https://github.com/eth-act/zkevm-benchmark-workload
zkVM benchmarking for Ethereum
Last synced: 21 Jan 2026
https://github.com/eth-act/riscv-compilation
This repository contains projects focused on compiling Ethereum execution clients for the RISC-V architecture and executing transactions/blocks statelessly. The primary goal is to analyze the syscalls employed during stateless execution on RISC-V hardware.
Last synced: 21 Jan 2026
https://github.com/eth-act/zisk-fv
Lean 4 formal verification of the ZisK zkVM against the Sail RISC-V specification (ZisK fork baseline + FV work in ai_plans/, docs/fv/, ZiskFv/, tools/zisk-pil-extract/).
Last synced: 02 Jun 2026
https://github.com/eth-act/zkevm-test-monitor-act4
ACT4 RISC-V ZKVM compliance test dashboard
Last synced: 23 Apr 2026