The Engine Behind
Proof-Verified Ethereum

Zilkworm generates validity proofs for Ethereum blocks: the only solution built in C++ with EVMOne.

Track live ZK proof benchmarks on EthProofs.org
Read the Docs ↗Get in Touch

Integrations

Zilkworm is designed to plug into multiple RISC-V zkVM backends. The architecture abstracts the prover layer so new backends can be added without changes to the EVM execution core.

Currently Integrated
SP1 Turbo
SP1 Turbo
by Succinct: primary RISC-V zkVM backend. 2× cycle reduction over standard SP1 targets.
SP1 Hypercube
SP1 Hypercube
by Succinct: next-generation SP1 prover with improved parallelism.
Airbender
Airbender
RISC-V prover system by Matter Labs (ZKsync OS).
Open for Integration
Pico
Pico
GPU-accelerated RISC-V prover by Brevis.
RISC Zero
RISC Zero
RISC-V zkVM with continuations support.
Zisk
Zisk
RISC-V zkVM by Polygon.
Get in touch to discuss integrations →

What Zilkworm Does

EVM Implementation + Prover Engine

Executes Ethereum blocks and generates ZK validity proofs: the cryptographic evidence that a block was processed correctly.

  • →Generates proofs for any Ethereum mainnet block
  • →High-throughput parallel proving via RISC-V architecture
  • →Eliminates finality bottlenecks for L2s and rollups

Verifier

Replaces full block re-execution with instant proof verification, enabling any consumer device to become a first-class Ethereum validator.

  • →Verify a block in milliseconds instead of re-executing every transaction
  • →No expensive hardware: a laptop or phone is enough
  • →Enables the 1-of-N trust model for global-scale decentralization

Why Zilkworm Is Different

Built for Proving

C++ optimized for the RISC-V architecture that ZK proof systems use.

Genuine Diversity

Standalone C++23 / EVMOne core, independent from Rust alternatives.

Performance Leader

Performance validated independently at EthProofs.org.

Ethereum-Aligned

Working directly with the Ethereum Foundation on proof standards.

bash
# Create block proofs in one command
z6m_prover prove --block-number 23456789 --out proof.json

# Verify the proof
z6m_prover verify proof.json

Prove an Ethereum Block

Generate and verify a validity proof for any Ethereum block in two commands.

Start building with Zilkworm

Explore the documentation or get in touch with our team.

Documentation ↗Contact Us