mirror of
https://github.com/privacy-scaling-explorations/pse.dev.git
synced 2026-01-13 08:08:02 -05:00
42 lines
1.4 KiB
TypeScript
42 lines
1.4 KiB
TypeScript
import {
|
|
ProjectCategory,
|
|
ProjectContent,
|
|
ProjectInterface,
|
|
ProjectStatus,
|
|
} from "@/lib/types"
|
|
|
|
const content: ProjectContent = {
|
|
en: {
|
|
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 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.',
|
|
},
|
|
}
|
|
|
|
export const ECIPHalo2: ProjectInterface = {
|
|
id: "ecip-halo2",
|
|
image: "",
|
|
category: ProjectCategory.DEVTOOLS,
|
|
projectStatus: ProjectStatus.INACTIVE,
|
|
section: "pse",
|
|
content,
|
|
imageAlt: "ECIP + Halo 2",
|
|
name: "ECIP (Elliptic Curve Inner Products) Halo 2 Implementation",
|
|
links: {
|
|
github: "https://github.com/levs57/sage-circuits/",
|
|
},
|
|
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",
|
|
},
|
|
],
|
|
},
|
|
}
|