Zilkworm

A native, lightweight, peformant ZKEVM core written in C++

zilkworm-hypercube is now live on ethproofs and is 2.5x faster than competition at 100-bits security

Zilkworm uses native C++ optimization end block-validation proofs with RISCV-based provers. It enables end-to-end software to create Ethereum block and transaction proofs as easy as:

// Create block proofs in one command
z6m_prover prove --block-number 23456789 --out proof.json
z6m_prover verify proof.json

Our Mission

Scale well

Zilkworm is aligned with Ethereum's vision of Gigagas L1 blocks powered by STARK proofs

Privacy first

Powering enterprise EVM chains with robust core modules and multi-backend proofs

Performance focussed

Aggressive tuning for different prover backend ISAs like RISC-V with C++ known practices

What you can do with Zilkworm

Prove Ethereum blocks

Generate verifiable proofs for block execution with a workflow designed for performance and correctness.

Power rollups and validity pipelines

Use Zilkworm outputs as a building block for systems that require verifiable execution and settlement-oriented verification.

Run Prover-as-a-Service

Deploy Zilkworm as a proving backend for other teams, chains, or internal products.