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

export const ECIPHalo2: ProjectInterface = {
  id: "ecip-halo2",
  section: "pse",
  image: "",
  imageAlt: "ECIP + Halo 2",
  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",
      },
    ],
  },
}