Electron provides a Universal Proof Aggregator that bundles proofs from various ZK systems, including zkVMs, Rollups, and DA layers. This aggregation significantly reduces the cost of proof verification on Ethereum by sharing verification overhead across multiple protocols. The platform aims to streamline the execution and verification of heterogeneous ZK proofs efficiently.
Funding
$1M raised to dateRaised to date based on public sources. This may differ from the amount the company actually raised and is based only on what is publicly available on the internet.
Founders
Product
Problem
Verifying zero-knowledge (ZK) proofs on Ethereum is computationally expensive, leading to high gas costs for developers and users of ZK-based applications. These high costs can hinder the adoption of ZK technology and limit the scalability of decentralized applications.
Solution
Electron provides a universal ZK-proof aggregator that significantly reduces the cost of verifying multiple ZK proofs on Ethereum. By aggregating proofs from various ZK protocols into a single "superproof," Electron achieves substantial gas savings, enabling verification for less than 14,000 gas. This technology lowers the barrier to entry for developers building with ZK technology and makes ZK applications more accessible to end-users by dramatically reducing transaction fees. Electron's aggregation layer is designed to be compatible with a wide range of ZK proof systems, including zkVM, Succinct, RiscZero, and more.
Target Audience
Electron's primary target audience includes blockchain developers, ZK researchers, and organizations building ZK-based applications, such as zkRollups, decentralized identity solutions, and privacy-preserving DeFi protocols.
Features
- Universal aggregation of ZK proofs from heterogeneous proof systems
- Reduction of proof verification costs on Ethereum by up to 95%
- Verification of aggregated proofs in less than 14,000 gas
- Compatibility with multiple ZK protocols, including zkVM, zkWasm, and zk-SNARKs
- Support for various use cases, including zkRollups, zkBridges, and zkML
- Integration with RiscZero's Boundless platform for cheaper proof verification
- Quantum Testnet for testing and evaluating proof aggregation performance