Abstract
We introduce an EVM chain specifically tailored to building zero-knowledge (ZK) dApps. By tightly coupling Horizen as a parachain to zkVerify’s relay chain, developers gain access to multiple proving mechanisms within EVM-compatible smart contracts. Horizen 2.0 is an EVM with precompile extensions for the most advanced ZK proofs, enabling rapid and inexpensive proof verification. This is designed to overcome the limitations of ZK capabilities on existing networks while enhancing cost efficiency, performance, and trustlessness. Developers can continue to build applications in a familiar way, now with the advantage of leveraging the most optimal proving mechanisms their dApps require. This is only a starting point of providing ZK tools to developers creating decentralizded applications.