mirror of
https://github.com/privacy-scaling-explorations/pse.dev.git
synced 2026-01-14 00:28:28 -05:00
30 lines
1.3 KiB
TypeScript
30 lines
1.3 KiB
TypeScript
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",
|
|
},
|
|
],
|
|
},
|
|
}
|