import { ProjectInterface } from "@/lib/types";

export const ECIPHalo2: ProjectInterface = {
    id: "ecip-halo2",
    image: "",
    name: "ECIP (Elliptic Curve Inner Products) Halo 2 Implementation",
    tldr: "Integrating Nova into the EVM involves wrapping Liam Eagen's theoretical ECIP argument in Halo 2",
    description: `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 p1rocess 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.`,
    projectStatus: 'active',
    links: {
        github: 'https://github.com/levs57/sage-circuits/',
        website: 'https://perpetualpowersoftau.com/'
    },
    extraLinks: {
        learn: [{
            label: "Designing a plonk circuit for Liam Eagen's protocol",
            url: 'https://hackmd.io/@levs57/r1n77YvP3'
        },
        {
            label: 'ZKPs of Elliptic Curve Inner Products from Principal Divisors and Weil Reciprocity',
            url: 'https://eprint.iacr.org/2022/596'
        }],
    },
}
