Scale well
Aligned with Ethereum's vision of Gigagas L1 blocks powered by STARK proofs.
A native, lightweight, performant ZKEVM core written in C++
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
Aligned with Ethereum's vision of Gigagas L1 blocks powered by STARK proofs.
Powering enterprise EVM chains with robust core modules and multi-backend proofs.
Aggressive tuning for different prover backend ISAs like RISC-V with C++ known practices.
Generate verifiable proofs for block execution with a workflow designed for performance and correctness.
Use Zilkworm outputs as a building block for systems that require verifiable execution and settlement-oriented verification.
Deploy Zilkworm as a proving backend for other teams, chains, or internal products.