The Last Challenge Attack: Exploiting Fiat-Shamir to Attack a Plonk Verifier
OpenZeppelin · 14:48 · Watch on YouTube
OpenZeppelin가 Linea의 PLONK 검증자에서 "최후의 도전 공격(last challenge attack)"이라는 건전성 버그를 발견했습니다. 검증자가 최종 Fiat-Shamir 도전 u를 전체 증명 기록본이 아닌 일부 이전 도전만 해싱하여 계산했으므로, u는 두 개의 개시 증명 커밋(Wζ과 Wζω)에 의존하지 않았습니다. 이로 인해 악의적인 증명자가 간단한 2원 1차 연립...