We performed a security audit of LambdaClass’s Ethrex. Ethrex is a Rust implementation of the Ethereum protocol, designed to support ZK proofs and L2 execution. It includes a client with support for two different modes, L1 and L2, with the former working as a regular Ethereum client and the latter as a ZK-rollup prover with support for several different backends (SP1, RISC0, OpenVM, ZisK, and TEEs).
Our final audit report was completed on May 4, 2026.
To read the full report, including our findings, click here: