로그인/ 가입하기

밸런서 V2 공격에 대한 예비 분석

2025/11/03 20:40

따르다

11월 3일, 밸런서 V2 프로토콜과 그 포크 프로젝트가 여러 체인에 공격을 받아 1억 2천만 달러 이상의 심각한 손실이 발생했습니다. 블록섹이 가장 먼저 경고[1]하고 초기 분석과 결론[2]을 발표했습니다. 이는 매우 정교한 공격이었습니다. 저희의 예비 분석에 따르면 공격자가 불변수를 조작하여 BPT(밸런서 풀 토큰)의 가격 계산을 왜곡하여 ool의 LP 토큰을 안정 풀에서 배치스왑 작업에 사용할 수 있도록 한 것이 근본 원인인 것으로 보입니다. 단일 배치스왑 작업으로 스테이블 풀에서 사용할 수 있습니다.

배경

1. 스케일링 및 반올림

1. 반올림

서로 다른 토큰의 소수점 이하 자릿수를 표준화하기 위해 밸런서 컨트랙트는 다음과 같이 합니다.

업스케일: 계산을 수행하기 전에 잔액과 금액을 균일한 내부 정밀도로 스케일업합니다.
. 다운스케일: 지시 반올림을 사용하여 결과를 기본 정밀도로 다시 스케일링합니다(예: 풀이 과소 수집되지 않도록 입력은 일반적으로 위로 반올림되고 출력 경로는 종종 아래쪽으로 잘립니다).

결론: 동일한 트랜잭션 내에서 서로 다른 세그먼트가 비대칭 반올림 방향을 사용하면 아주 작은 단계로 반복적으로 실행될 때 체계적으로 작은 편차가 발생할 수 있습니다.

2. D 및 BPT 가격

이 공격의 영향을 받는 것은 다음과 같습니다. 밸런서 V2 프로토콜과 포크의 프로토콜이 영향을 받았습니다.스테이블 풀은 다음에서 사용됩니다. 1:1 전환 비율에 가깝게 유지(또는 알려진 환율로 전환)될 것으로 예상되는 자산으로, 큰 가격 충격 없이 대규모 전환이 가능하여 유사 자산 또는 관련 자산 간의 자본 활용 효율을 크게 높일 수 있습니다.

풀은 스테이블 수학(커브 기반 스테이블스왑 모델)을 사용하며, 불변수 D 는 풀의 "총 가상 가치"를 나타냅니다.
BPT(풀의 LP 토큰) 가격은 다음과 같이 근사화됩니다.

위 방정식에서 DBPT가 더 저렴해집니다. BTP는 유동성을 인출할 때 풀에서 얼마를 얻을 수 있는지 계산하는 데 사용되는 풀의 몫을 나타냅니다. BTP는 유동성을 인출할 때 얼마나 많은 풀을 보유할 수 있는지 계산하는 데 사용되는 풀의 점유율을 나타내므로 공격자가 더 많은 BPT를 얻을 수 있다면 유동성을 인출할 때 이익을 얻게 됩니다.

공격 분석

1단계: 공격자는 BPT를 기초 자산으로 변환하여 다음을 수행합니다. 토큰 중 하나(cbETH)의 잔액을 반올림 경계의 임계값(숫자 = 9)으로 정확하게 조정합니다. 이 단계는 다음 단계인 정확도 손실을 위한 단계를 설정합니다.

2단계: 공격자는 신중하게 구성한 수량(= 8)을 사용하여 다른 기초 자산(wstETH)과 cbETH 간에 스왑을 진행합니다. 토큰 수를 조정할 때 반올림하기 때문에 계산된 Δx가 약간 작아지고(8.918에서 8로), 이로 인해 Δy가 과소평가되어 (Curve의 스테이블스왑 모델에서) 불변수 D가 작아집니다. BPT 가격 = D/총공급량이므로 BPT 가격은 인위적으로 낮아집니다.