← 모든 인사이트 보기
RESEARCHZcash Forum · annkkitaaa

Orchard Poseidon 충돌 프런티어 제안

Orchard에 쓰이는 Poseidon 인스턴스에 공개 충돌 탐색 현황판을 만들자는 제안입니다. 충돌이 나와도 Orchard가 곧바로 깨지는 것은 아니라고 밝힙니다.

HashSmash는 해시 함수의 충돌 프런티어를 공개적으로 운영한다. 서로 다른 두 입력이 같은 출력을 내는 경우를 찾는 일이 어디까지 진척됐는지를, 완전히 명세된 고정 인스턴스를 대상으로 추적하는 방식이다. 제안에는 목표가 둘 있는데, 하나는 2026년 Ethereum Foundation의 Poseidon Initiative 바운티에 맞춘 것이고 다른 하나인 Target B가 Orchard에 배포된 P128Pow5T3 Poseidon 인스턴스다.

Target B의 매개변수는 Pallas 기저체, 폭 3, x^5 S-box, R_F = 8, R_P = 56이다. orchard crate가 의존하는 halo2_poseidon 0.2.0에 고정했고 공식 Zcash 테스트 벡터로 검증했다. Zcash 프로토콜 명세 §4.1.2는 PRF^nfOrchard, 곧 §5.4.2의 PoseidonHash(nk, rho)가 모든 키에 대해 충돌 저항성을 가질 것을 요구한다. 공개 프런티어는 이 요구를 가정으로 두지 않고 지속적으로 검증 가능한 측정값으로 제공한다.

작성자는 범위를 분명히 한다. 이 트랙에서 충돌이 나와도 그것만으로 Orchard가 깨지지는 않는다. 명세 §8.4는 Orchard의 Faerie Gold 저항이 이산로그 난이도에만 의존한다고 밝히고, §5.4.1.10은 Poseidon PRF가 예상보다 약해도 DDH 하에서 nullifier 구성이 안전하다고 논증한다. 또한 §5.4.1.10은 기존 Poseidon 암호분석이 x^3 S-box에 집중됐고, 배포된 라운드 수에는 상당한 안전 여유가 있다고 적는다.

이 제안은 깨뜨림을 주장하는 것이 아니라 안전 여유를 측정하는 것이다. 작성자는 halo2_poseidon 상수를 독립적으로 재생성하고 subspace-trail 결과를 검토했다고 하며, 특히 프로토콜 팀의 매개변수, 인용, 표현에 대한 교정과 의견을 구한다. 전체 기술 내용은 Layr-Labs/hash-smash의 Discussion #380에 있다.

한국어 요약은 원문을 바탕으로 정리한 것으로, 정확한 내용은 원문을 확인하세요.