EIP-1895는 타원 곡선 사이클(예: MNT4/MNT6 또는 BLS12/BW6) 지원을 이더리움에 추가하는 제안입니다. 재귀적 영지식 증명 구성을 가능하게 하려는 목적으로 작성되었습니다.
기술적 배경
재귀적 SNARK는 하나의 증명이 다른 증명의 유효성을 검증하는 구조로, 높은 확장성을 제공합니다. 이를 위해서는 두 개의 상호 호환 가능한 타원 곡선 쌍이 필요합니다.
제안 내용
곡선 사이클을 지원하는 프리컴파일을 도입하여 이더리움 위에서 재귀적 증명 검증이 가능하도록 합니다. 이는 zkRollup 등 레이어 2 솔루션의 효율을 크게 높일 수 있습니다.
정체된 이유
관련 암호화 기술의 복잡성과 구현 비용이 크다는 점에서 우선순위가 낮아졌습니다. EIP-1962와 같은 더 광범위한 제안들이 유사한 목표를 포함하면서 별도 추진의 동력을 잃었습니다.
현재 상태
정체 상태로 공식 채택은 이루어지지 않았습니다. 재귀적 증명 기술은 별도의 레이어 2 프로젝트에서 자체적으로 구현되고 있습니다.