슬로우 포그, 세투스에서 도난당한 2억 3천만 달러에 대한 분석 발표: 해커들이 아주 적은 양의 토큰을 막대한 유동 자산과 거래하다

오데일리 플래닛은 2억 3천만 달러 규모의 세투스 도난 사건에 대한 분석을 발표했는데, 이 사건의 핵심은 공격자가 오버플로우가 발생하도록 파라미터를 정교하게 구성하여 탐지를 우회할 수 있었고, 결국 아주 적은 양의 토큰으로 엄청난 양의 유동성 자산으로 교환할 수 있었다는 점이며, 그 핵심 원인은 get_delta_a 함수의 checked_shlw가 탐지를 우회하는 오버플로 탐지 취약점이 있다는 점이라고 지적하고 있습니다. 핵심적인 이유는 get_delta_a 함수의 checked_shlw에 오버플로 탐지 우회 취약점이 있기 때문입니다. 공격자는 이를 악용하여 실제 haSUI 수를 계산하는 시스템에 심각한 편차를 추가해야 했습니다. 오버플로가 감지되지 않았기 때문에 시스템은 필요한 haSUI의 수를 잘못 판단하여 공격자가 많은 양의 유동 자산을 매우 적은 양의 토큰으로 교환하도록 유도하여 공격이 가능했습니다. 이 공격은 수학적 오버플로 취약점의 위력을 보여줍니다. 공격자는 정밀한 계산을 통해 특정 매개변수를 선택함으로써 checked_shlw 함수의 결함을 악용하여 토큰 1개를 비용으로 수십억 달러 상당의 유동성을 확보할 수 있었습니다. 이는 매우 정교한 수학적 공격이며, 개발자는 스마트 컨트랙트 개발 시 모든 수학적 함수의 경계 조건을 엄격하게 검증하는 것이 좋습니다.