mirror of
https://github.com/privacy-scaling-explorations/pse.dev.git
synced 2026-04-23 03:01:03 -04:00
25 lines
1.2 KiB
TypeScript
25 lines
1.2 KiB
TypeScript
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'
|
|
}],
|
|
},
|
|
}
|