1억 2천만 달러 Balancer 해킹들이 체인 간 반올림 버그를 악용했다

Balancer 분산형 거래소 프로토콜의 중대한 취약점으로 인해 공격자들이 배치된 스왑 메커니즘의 반올림 오차를 악용해 1억 2천만 달러가 넘는 금액을 탈취할 수 있었습니다. 분석에 따르면 EXACT_OUT 스왑 함수의 잘못된 로직이 여러 단계에 걸쳐 토큰 수량을 부적절하게 확대하고 축소하여 반복 거래에 걸쳐 축적된 미세한 잔액 불균형을 만들어냈습니다. 이러한 차이점은 센트의 소수점을 깎아내는 것과 흡사했고, 해커에 의해 체계적으로 고갈되었으며 충분한 유동성 보호장치가 작동하지 않는 조건이 되자까지 이어졌습니다.

이 익스플로잇은 서로 다른 소수점 정밀도를 갖는 토큰을 포함한 풀을 겨냥했으며, 다수의 보안 감사에도 불구하고 탐지되지 않았습니다. 배치 거래 중 Balancer의 코드는 가격 계산을 실행하기 전에 입력 수량을 18소수점 표현으로 변환한 뒤 결과를 네이티브 토큰의 소수점 자리수로 되돌렸습니다. 일부 경우에는 마지막 다운스케일링 단계에서 값이 상향 반올림되어 교환 시작자에게 초과 자산이 부여되었습니다. 고주파의 마이크로 스왑을 조작함으로써 공격자는 온체인 슬리피지 한도를 우회하는 누적 이익을 얻었습니다.

발견되자 Balancer 팀은 예비 보고서를 발행하고 블록체인 검증자 및 노드 운영자와 협력하여 긴급 조치를 시행했습니다. Polygon과 Sonic에서는 거버넌스 기구가 영향을 받는 풀 계약을 잠그고 발신 송금을 차단하기 위한 동결 모듈을 시행했습니다. Berachain 이해관계자들은 익스플로잇 기간을 되돌리고 유동성 공급자에 대한 보상을 가능하게 하는 긴급 하드 포크를 승인했습니다. 이러한 개입은 불변 원장 원칙과 DeFi 생태계의 신속한 위기 대응 간의 지속적인 긴장을 강조합니다.

이번 사건은 보안 통제의 중앙집중화에 대한 논쟁을 다시 불러일으켰으며, 비평가들은 동결 기능과 하드 포크가 “코드가 법이다”라는 신념에 모순된다고 주장합니다. 반면 지지자들은 고위험 환경에서 사용자를 보호하기 위해서는 적응형 거버넌스 도구가 필요하다고 반박합니다. Balancer의 취약점은 엄격한 소수점 처리 검사 의 중요성을 강조하고 수학적 엣지 케이스를 활용한 진화하는 공격 벡터를 부각시킵니다. 프로토콜 개발자들은 향후 릴리스에서 유사한 익스플로잇을 방지하기 위해 감사 프레임워크를 재검토하고 소수점 연산에 대한 자동 퍼즈 테스트를 통합하고 있습니다.