A Proof Market to Scale Fully Onchain ApplicationsWe build the general-purpose zkVM with native support for fully onchain computation on its modular proof system.
A Proof Market To Scale Fully Onchain ApplicationsWe build the general-purpose zkVM with native support for fully onchain computation on its modular proof system.

Why Eigen-zkVM?

General-purpose zkVMMake zero-knowledge technology more accessible by proving general purpose programs via RISCV microarchitecture.
Type 0 zkEVMBuild L2 node on RETH and REVM to archive the most efficient execution layer and highly customized sequencer layer.
Gas savingReduce the gas cost to minimum by the universal proof aggregator and distributed proof market.
Modular proof systemBuild the first Rust eSTARK, and the first zkVM supporting both BLS12381 and BN254 based onchain verifier.
General-purpose zkVMMake zero-knowledge technology more accessible by proving general purpose programs via RISCV microarchitecture.
Type 0 zkEVMBuild L2 node on RETH and REVM to archive the most efficient execution layer and highly customized sequencer layer.
Gas savingReduce the gas cost to minimum by the universal proof aggregator and distributed proof market.
Modular proof systemBuild the first Rust eSTARK, and the first zkVM supporting both BLS12381 and BN254 based onchain verifier.

Proof Market

Use Cases

zkEVMthe world’s first zkVM for Cardano based on BLS12381 onchain verifier
ZK AssetSelf-custodial private transaction layer for EVM-compatible blockchains.
ZK KYCProof of privacy-preserving computation over static and dynamic data.
zkEVMthe world’s first zkVM for Cardano based on BLS12381 onchain verifier
ZK AssetSelf-custodial private transaction layer for EVM-compatible blockchains.
ZK KYCProof of privacy-preserving computation over static and dynamic data.

Partners

Let’s Get Started

We build the general-purpose zkVM with natively support for fully onchain computation on its modular proof system.