ECIP (Elliptic Curve Inner Products) Halo 2 Implementation
Integrating Nova into the EVM involves wrapping Liam Eagen's theoretical ECIP argument in Halo 2
Liam Eagen has developed a ZK proof for Elliptic Curve Inner Products (ECIPs) to overcome a significant bottle neck in recursive proof composition over elliptic curve cycles. The process of integrating Nova into the EVM requires an efficient method or "argument" for handling large elliptic Multi-Scalar Multiplications (MSMs). The final step in this integration process involves wrapping this argument Halo 2.
ECIP + Halo 2Discover more
Scaling Semaphore – PIR Merkle-Path Retrieval
Private Information Retrieval lets Semaphore users fetch their Merkle path from a server without revealing which identity they own, enabling truly private proofs for groups with millions of members.
Client-Side Proving
Developing efficient zero-knowledge proving systems for mobile devices, enabling private digital ID and secure communication with minimal resources.