EIP-5988는 Poseidon 해시 함수를 EVM 프리컴파일로 추가하는 Stagnant 상태의 Core EIP입니다. ZK-SNARK 및 ZK-STARK 회로에서 효율적으로 사용되는 ZK 친화적 해시 함수를 온체인에서 저렴하게 사용할 수 있게 하려는 목적입니다.
Poseidon 해시란
Poseidon은 산술 회로에서 효율적으로 계산될 수 있도록 설계된 영지식 증명 친화적 해시 함수입니다. SHA-256이나 Keccak-256에 비해 ZK 회로 내에서 훨씬 낮은 제약 수를 가집니다.
필요성
스마트 컨트랙트에서 Poseidon 해시를 Solidity로 구현할 경우 가스 비용이 매우 높아 ZK 응용의 온체인 검증이 비실용적입니다. 프리컴파일을 통해 EVM에서 효율적으로 실행될 수 있습니다.
활용 분야
ZK 롤업의 머클 트리 구조, ZK 증명 기반 신원 시스템, 프라이버시 보존 투표 시스템 등에서 활용될 수 있습니다. Starknet과 같은 ZK 기반 L2에서 이미 광범위하게 사용되고 있습니다.
침체 원인
Poseidon의 다양한 파라미터 변형 중 어느 것을 표준으로 채택할지에 대한 합의가 이루어지지 않았습니다. 보안 감사의 충분성과 EVM 변경에 따른 하드포크 필요성도 논의 장벽이 됩니다.