이들은 공통적으로 fiat-shamir를 통한 난수 챌린지를 생성할 때 챌린지 검증에 필요한 주요값을 넣지 않은 채로 생성시켜 챌린지와 주요값이 독립적으로 동작하게 만드는 취약점을 갖고 있었습니다. 공격자가 정상적인 증명을 한번 제출하고 나면 그 결과값을 역산해 임의의 명제에 대해 검증을 통과하는 가짜 증명을 생성할 수 있는 취약점이라고 할 수 있습니다.
지금까지의 보안감사에서 못잡은거 보면 아직 zk쪽은 논문 보면서 천천히 오딧할 거리가 남아있는 것 같기도 하네요 🤔
https://x.com/osec_io/status/2028901596965552572?s=20