Skip to main content

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

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

Zilkworm uses native C++ optimization and 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 --proof-path proof.json
z6m_prover verify proof.json

Our Mission

Scale well

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.