Zilkworm

These docs show you how to run a Zilkworm prover, what its proofs actually say, and how to build and test it yourself.

Zilkworm is a stateless Ethereum block execution engine in C++, compiled to RISC-V guests for zkVMs. Each proof covers one block, and it shows that the guest ran the block from its witness and committed the result. Ethproofs operators run it to prove mainnet blocks. Researchers use it to estimate proving cost, and contributors build and test it.

Release

v0.1.0-alpha.7

EEST pin

tests@v21.0.1

Ethproofs

Airbender live

Provers and guests

liveAirbender prover

Image

ghcr.io/erigontech/zilkworm-airbender

GPU

At least 32 GB VRAM per GPU

Ethproofs

Live

shippedHypercube prover

Binary

z6m_prover_hypercube

GPU

SP1 CUDA

Ethproofs

Not live

shippedHashState guest

ELF

stateless-validator-zilkworm-sp1-v6.9.0.elf

Use

ERE validation and cost estimates

Where to start

Run a proverSee how the provers differ, then start one on your own hardware.Choosing a proverUnderstand the proofFollow one block from its witness, through the guest, to a proof.Execution pipelineBuild and testBuild the guests and hosts yourself, then run the unit tests.Building from source

The code is on GitHub, and you can download release assets from the releases page.