Равнотежа В2 Експлоатација Објашњена: Унутар паметног уговора Окруживање грешке која кошта 120 милиона долара

Technical Background of Balancer V2 Composable Stable Pools Техничка позадина Баланцер В2 композибилне стабилне базене • : Pool Structure and How It Works Композибилни стабилни базени су изграђени на математици инспирисаној Цурве-овим моделом СтаблеСвап. What is a Composable Stable Pool? Ови пулови су дизајнирани тако да омогућавају трговање средствима са скоро идентичним вредностима, као што су УСДЦ и ДАИ, или СТЕТХ и ЕТХ, са минималним клизањем. **What makes them “composable”? \ The pool’s LP token (BPT) is a standard ERC-20 token that can be reused across the ecosystem, for example, in other pools or as collateral. This allows liquidity to be seamlessly composed throughout the system. **How it works \ A Composable Stable Pool can hold multiple tokens, and its invariant DDD is calculated using the following polynomial equation: У Баланс балони (инспирисани кривом), размене се израчунавају држећи (Д) што је могуће константније.Када се деси размена, равнотеже токена се померају у ново стање које задржава ову непроменљиву. Vi rešavate da dobijete од токена за који се решавате, с обзиром да (Д) остаје фиксна. stable invariant quadratic new balance (x) Термини (к): нова (пост-свап) равнотежа токена за који се решава. (С): збир осталих остатака токена (искључујући (к)). (П): производ осталих биланса токена (искључујући (к)). (Д): пул је непроменљив (циљ је да остане константан у свеупу). (А): параметар амплификације (флаттенс криву → нижи клизање за једнако вриједне имовине). (н): број токена у базену. Интуиција: компримирамо “све остале токене” у два агрегата, (С) и (П). Имплементација “(Д) остаје константна” даје . quadratic in (x) Zašto kvadrat? Након изолације нове равнотеже непознатог токена и преклапања остатка у (S) и (P), стање непроменљиве се смањује на полиномију другог степена у (x). Решавајући га Изаберите корен који је и Други корен је обично негативан или бесмислен. Which root? positive economically valid Једноставан пример Setup (2 tokens, large A → very low slippage) Интерни (упскалирани) почетни баланс: токен0 = 1.000.000; токен1 = 1.000.000 Број токена: n = 2 Амплификација: А = 1000 Са великим А, Д ≈ 2.000.000 Action Додајете 10.000 јединица токена0 (EXACT_IN). Quadratic to solve x^2 + (S - D/(A*n^n) - D)*x - D^(n+1)/(A*n^(2n)*P) = 0 Где је: , , и To je token1 post-swap balans. S = 1,010,000 P = 1,010,000 x Solution x ≈ 990,999.546 Amount out amountOut = 1,000,000 - 990,999.546 ≈ 9,000.454 Interpretation Ставите 10.000 токена0 и добијате ~9,000.45 токена1 → ниско клизање са великим А. Сва математика користи 18-децималне интерне јединице; имплементације округле доле за сигурност. Где се користи (на високом нивоу) ЕКСАТ_ИН: повећавате улазни токен; решите за нови салдо контра-токена (к); разлика од његовог старог салда је износ. EXACT_OUT: циљате одређени примљени износ; решите за потребан (к) (а тиме и потребни унос). Овај пут је више нумерички осетљив (коренски проналазак + заокруживање). Практичне белешке Све равнотеже се обрађују интерно на 18 десетина (скалиране); прорачуни се обично заобљују како би били сигурни. Већа (А) чини криву више константно-суму сличну (мали клизање за стабилне парове); мања (А) је ближа константно-производном понашању. ТЛ;ДР: Ова једначина је радна коњска квадратна која, под фиксном инваријантом (Д), даје вам нови биланс токена (к) након замене.Коефицијенти кодирају "остатак базена" преко (С) и (П), док (А) и (н) постављају облик / равнину стабилне кривине. Ова једначина је да, под фиксном непроменљивом (Д), даје вам Коефицијенти кодирају "остатак базена" преко (С) и (П), док (А) и (н) постављају облик / равнину стабилне криве. TL;DR: workhorse quadratic new token balance (x) Базен примењује а између токенске равнотеже, ухваћене од стране . balance relationship invariant D Када размењујете, једна равнотежа иде горе, друга иде доле, а базен проналази Tako se pojavljuje cena. new balance that keeps D as constant as possible Базен користи факторе скалације да би нормализовао токене до 18 десетина. Операција Упскале подешава равнотеже на интерну прецизност и користи заобљивање доле. Swap Types EXACT_IN (GIVEN_IN): Фиксни износ уноса, израчунајте излаз. EXACT_OUT (GIVEN_OUT): Фиксни износ излаза, израчунајте улаз. Vault и BatchSwapBalancer Vault управља свим операцијама. BatchSwap комбинује више размјена у једној трансакцији и користи "одложено решавање" као што су фласхлоанс. 1 Анализа експлоатације 1.1 Напад 3. новембра 2025. године, око 7:40 ујутро, специфични Баланцер v2 стабилни пулови били су циљани са софистицираним нападом који је резултирао кумулативним губитком од 120 милиона долара преко Баланцер-а и његових вијака. The attack leveraged several circumstances: Већина циљаних базена су били случајеви уговора ComposableStablePool. посебан базен дизајниран за средства која се очекују да ће се конзистентно размењивати на блиској паритету или на познатом девизном курсу. Функционалност БацхСвап уговора Баланцер Ваулт омогућава прелазне размене да се дешавају пре потребе за решавањем излазних делта. Напад је био профитабилан у сценаријима ниске ликвидности. Нападач је морао да припреми велике размене тако да би салдо базена могао бити доведен до ниске ликвидности једног или другог токена. Све горе наведено су само неопходне, али не и закључне околности, а једина неопходна околност за то је коренски узрок проблема, заобљено понашање у функцији _upscale. Нападни вектор је први пут уведен 16. јула 2021. године, када је MetaStablePool превазишао Иста промена је касније примењена 1. септембра 2021. за линеарне базене на комету 4е9е70а и 20. септембра 2021. на комету f450760 за СтаблеФантомПоол, касније преименован у ComposableStablePool. _scalingFactors У опису проблема испод, објашњавамо зашто је увођење овог преокрета било у срцу напада. 1.2 Проблем Функција batchSwap уговора Vault је улазна тачка за овај напад. Нападач је направио позив на њега, циљајући инстанце ComposableStablePool. Релевантна логика у уговору Vault која доводи до интеракције ComposableStablePool дефинисана је овим протоком: batchSwaps → интерно позива _swapWithPools → који интерно позива пул за сваку размену на _swapWithPool → _processGeneralPoolSwapRequest → на крају позива onSwap на ComposableStablePool. Након што је слетео у ЦомпосаблеСтаблеПоол, извршење се наставља унутар онСвап кука, где се дешавају две ствари: Позив на _scalingFactors функцију. Пренос на _swapGivenOut као што је дефинисано у примјерној трансакцији која је наведена горе. Имајте на уму да је нападач можда одлучио да преузме образац _swapGivenIn, али наведени уноси у трансакцији напада јасно показују избор. Хајде да погледамо ове две функције. - скалирање фактора function _scalingFactors() internal view virtual override returns(uint256[] memory) { uint256 totalTokens = _getTotalTokens(); uint256[] memory scalingFactors = new uint256[](totalTokens); for (uint256 i = 0; i < totalTokens; ++i) { scalingFactors[i] = _getScalingFactor(i).mulDown(_getTokenRate(i)); } return scalingFactors; } Ova funkcija radi dve stvari: Она скалира било који износ на фиксни број десетина како је предложено функцијом _getScalingFactor и шта враћа. Фактори у валутној стопи токена помножавајући га фактором скалације и дијељењем са 1е18. Упскале function _upscale(uint256 amount, uint256 scalingFactor) pure returns (uint256) { /* Upscale rounding wouldn't necessarily always go in the same direction: in a swap for example the balance of token in should be rounded up, and that of token out rounded down. This is the only place where we round in the same direction for all amounts, as the impact of this rounding is expected to be minimal. */ return FixedPoint.mulDown(amount, scalingFactor); } Ово само извршава умножавање износа његовим фактором скалације, дијељењем са 1е18 на крају. Питање лежи у две чињенице: Ove funkcije uvek zaokružuju (mulDown) nezavisno od pravca zamene. Ако су износи наређења величине мање од скалирањеФакторских, губитак прецизности постаје незанимљив. У трансакцији нападача, типична вредност износа и скалирање фактор је: износ: "17"скалирањеФактор: "1058132408689971699" Ako izračunamo Mi dobijamo , али пошто Солидност тронише десетине, то постаје Резултат је у а У о функције . amount * scalingFactor / 1e18 17.98 17 0% net change _upscale Сада, размотрите количину (токен са 18 децимала). резултат је Представљајући а —which correctly reflects the rate. 17,000000000000000000 17.988250950000000000 5.8% increase Такође, за токен са (као што већина стаблецоинс имају), користећи количину Додаје што и даље одговара приближно истом . 6 decimals 17,000000 17.988250 5.8% positive change Truncation је максимизиран чинећи што је могуће веће, тако да производ губи максималну прецизност када се подели са 1е18. amount*scalingFactor mod 1e18 На пример, у табели испод, износ = 17 и износ = 50 оба производе апсолутни заобљени губитак од око 0,90. Међутим, грешка као проценат износа се значајно разликује, а проценат повећања изгубљеног разликује се још више, јер је исти апсолутни губитак много већи у односу на 17 него на 50. Примери Примери грешке за заобљивање пода приликом скалирања по фактору од 1.058132408689971699 amount upscale error %error %increase lost 17 17 0.98 5.76% 100% 50 52 0.90 1.80% 17% ... ... ... ... ... 17 17 0.98 5,76 одсто 100 % 50 52 0.90 1.80 одсто 17 % ... ... ... ... ... Тхе function will later use these rounded values to calculate the amount owed by the attacker to the pool after the swap. This value is artificially deflated, making the swap cheaper. The inner mechanics of the То је због непроменљиве контроле која обезбеђује конвергенцију до неке мере.У ситуацијама високе ликвидности, велике промјене у билансима биле би неуспеле због исте непроменљиве заштите. _swapGivenOut _swapGivenOut На крају, са високим бројем итерација, делта након партијеСвап се надувавају, што кредитира нападачу већину средстава у базену. Поред тога, постоји релевантна опсервација о _upscale in-line docstrings: /* Upscale rounding wouldn't necessarily always go in the same direction: in a swap for example the balance of token in should be rounded up, and that of token out rounded down. This is the only place where we round in the same direction for all amounts, as the impact of this rounding is expected to be minimal. */ Претходна верзија овог коментара имала је додатну ноту: /* …as the impact of this rounding is expected to be minimal (and there's no rounding error unless `_scalingFactor()` is overriden). */ Ово је важно јер је Уведено у Касније је преименован у Испоручује се управо на Оверраид дискутовано изнад. StablePhantomPool September 20, 2021 ComposableStablePool _scalingFactor U ranijim verzijama , о Функција је узимала у обзир само разлике у десетинама токена. Међутим, у новијој имплементацији, она такође укључује Означи фундаменталну промену. StablePool _scalingFactor exchange rate Kao što je navedeno u функције, код је еволуирао из употребе (у првом реду, ) два Ова промена, иако функционално неопходна, уводи потенцијал И са њима, нови . _upscale unitary scaling factors 1e12 non-unitary exchange rates rounding errors attack vector Док је омогућавање грешке за заобљивање било коренски узрок, експлоатација је захтевала искориштавање додатне протоколске механике и специфичних корака напада. Балансер'с бацхСвап омогућава пролазне унутрашње равнотеже које су решене само на крају партије.Захваљујући томе, нападач је ефикасно "позајмио" БПТ у оквиру партије како би манипулисао базеном без потребе да прекине трансакцију која држи БПТ. BPT (Balancer Pool Token) је ERC-20 који представља пропорционални удео Балансер базена.У неким дизајном базена, укључујући циљане ComposableStablePools, BPT се такође може појавити као средство базена и бити трговано / размјењиво. Прва фаза је гурнула залихе токена базена (нпр. ВЕТХ / осЕТХ) на веома ниске нивое (скоро 100к) понављањем замене БПТ за токен1 и БПТ за токен2. Циљ је да се максимизира одбачени фракционални део у подној аритметици, тј. да се максимизира количина * скалирањеФактор мод 1е18 тако да производ губи што више прецизности када се подели са 1е18. Експлоит се изводи у понављању триплета размене: Премијер: преместите базен у стање у којем ће се на следећој операцији десити тронкација.У слици испод, замена WETH на osETH Експлоити: извршите замену која остварује губитак заобљивања.У снимку, замена од 17 ВЕТХ за осЕТХ. Ресетовање: враћа равнотеже тако да се триплет може репродуковати. У снимку екрана је замена ОСЕТХ на ВЕТХ. Као што је приказано у следећем снимку, критична замена често користи износ=17 у односу на салдо кутије од 18. Можете видети понављајуће 17 износа у другом замену сваког троугла. Napredovanje bezbednosnih najboljih praksi: lekcije za industriju Ovaj incident izazvao je raspravu o efikasnosti bezbednosnih revizija pametnih ugovora, a neki komentatori se pitaju da li oni pružaju vrednost.Iako je ovo osećanje razumljivo u trenutku frustracije, ne priznaje se zašto su bezbednosne revizije postale najbolja praksa u industriji i ogroman uticaj koji je praksa bezbednosne revizije imala na ublažavanje rizika i zaštitu korisnika u protekloj deceniji. Bezbednosne firme kolektivno sprečavaju stotine potencijalnih eksploatacija svake godine.Samo OpenZeppelin je identifikovao više od 700 kritičnih i ranjivosti visoke ozbiljnosti pre nego što su dostigle proizvodnju u svim našim revizijama.Ove sprečene katastrofe ne prave naslovnice, ali predstavljaju milijarde u zaštićenoj vrednosti i bezbrojne korisnike spasene od gubitaka.Visoke kvalitete bezbednosne revizije takođe pomažu timovima za razvoj da poboljšaju svoj bezbednosni stav tokom životnog ciklusa razvoja, što rezultira eksponencijalnim smanjenjem verovatnoće da se dodatne greške uvode u aplikacije blokčeina. Prava lekcija nije u tome da su revizije neučinkovite – to je u tome što revizijske prakse u industriji još uvek nisu shvatile koliko se brzo razvijaju složeni protokoli koji obezbeđuju značajnu vrednost.Budući da su revizije često obuhvaćene izolovanim pregledima, a ne kontinuiranim angažmanima, kontekst se može izgubiti dok se kode razvijaju. 2.1 Успостављање континуиране сигурности као индустријског стандарда Od pionirstva u praksi pametnih ugovora u 2016. godini, videli smo kako najuspešniji bezbednosni rezultati dolaze iz kontinuiranih bezbednosnih partnerstava koje pokrivaju čitave protokole kod baze i sve njihove promene tokom vremena, a ne ad hoc kod pregleda velikih nadogradnji, koje su često ograničene na samo te promene. When security researchers work with protocols continuously, they develop deep familiarity with the protocol's architecture, engineering processes, and why specific design decisions were made. This deep understanding significantly lowers risks when compared to ad hoc audits. Iako je Balancer v2 bazu kodova pregledala četiri nezavisna revizorska preduzeća, svaka firma je bila posvećena fokusiranju na različite oblasti protokola.Uključivanje više revizora pomaže u smanjenju šanse da nedostaju ranjivosti, ali održavanje najmanje jednog dugoročnog bezbednosnog partnera pruža dublje, kontinuirano razumevanje kako se baza kodova razvija i kako nove promene interaktuju sa postojećom logikom. 2.2 Изградња бољих безбедносних оквира Kroz deset godina iskustva, OpenZeppelin je dosledno radio na uspostavljanju i podizanju bezbednosnih standarda širom industrije.OpenZeppelin ugovori su postali de facto standard za izgradnju bezbednih pametnih ugovora, trenutno pokrećući preko 30 trilijuna dolara u ukupnoj vrednosti preneseni širom ekosistema.Kao što su ti ugovori postavili osnovu za bezbedan razvoj, mi smo aktivno radili na nastojanjima da uspostavimo robusnije standarde za bezbednosnu procenu i kontinuiranu zaštitu protokola. Поред дугорочних односа са нашим клијентима, активно радимо на обликовању ових стандарда на индустријском и регулаторном нивоу. На пример, ОпенЗепелин доприноси тимовима који постављају стандарде у индустрији, као што су Савет за стандарде безбедности Блоцкцхаин, Ентерприсе Етхереум Алианце и Међународна организација за стандарде (ИСО), како би се осигурало да су најбоље праксе безбедности нашег тима и заједнице помогле пиониру да буду доступне цијелој индустрији. Такође сарађујемо са регулаторима и креаторима политике широм света како бисмо осигурали да се најбоље праксе безбедности блоцкцхаин промовишу у релевантним регулаторним режимима. Конкретно, ОпенЗепелин је сарађивао са Министарством финансија САД-а, Комисијом за хартије од вредности и берзу САД-а, Ауторијом за финансијско понашање у Великој Британији и француским АЦПР и АМФ-ом у вези са предностима спровођења свеобухватних безбедносних ревизија на редовној основи. Поред тога, истражили смо потенцијал за стварање посвећене саморегулаторне организације сличне ревизорима у другим областима које верујемо да би могле помоћи у формализацији стандарда 2.3 Јачање блоцкцхаин безбедносног екосистема заједно Svaki bezbednosni incident pruža dragocene uvidove koji pokreću poboljšanje u našoj industriji. Eksploit Balancer v2 pojačava da, kako protokoli postaju vredniji i sofisticiraniji, postaje ključno da timovi protokola ulažu u kontinuiranu bezbednost, kao i da revidiraju firme kako bi izgradili okvire koji ga podržavaju.