Technical Background of Balancer V2 Composable Stable Pools “Balancer V2 Composable Stable Pools” şirkətinin məlumatına görə, Şirkət : Pool Structure and How It Works Composable Stable Pools, Curve'in StableSwap modelindən ilham alaraq matematika üzərində yaradılmışdır. What is a Composable Stable Pool? Bu pullar, USDC və DAI, ya da stETH və ETH kimi yaxından eşitdikləri qiymətlər olan varlıqların minimaldır. **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: Balansında “Qazaxıstanda” – “Qazaxıstanda” – “Qazaxıstanda” – “Qazaxıstanda” (D) mümkün olduğu qədər konstanta. bir swap meydana gəldikdə, token balansları bu invariantı qoruyan yeni bir vəziyyətə gedir. Çözünürsünüz ki, bu Dərslərinizə görə, bu, sizin üçün çox vacibdir. stable invariant quadratic new balance (x) Terms 
 
 
 
 
 
 
 (x): Seçdiyiniz tokenin yeni (post-swap) balansı. (S): Diğer tokenlərin hesabatlarının sayı (x) istisna olmaqla). (P): Diğer tokenlərin bilansiyalarının ürəkləri (x) istisna olmaqla). VVD - Hollandiyada futbolçu bu adla tanımır, orada VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir. (A): Amplifikasiya parametri (bir qədər qiymətləndirilən varlıqlar üçün curve → lower slippage düzəldir). (n) pulun içində olan tokenlərin sayı. “İntuzsiya” – “bütün digər tokenlər”ni iki dəstəyə, (S) və (P) yığdıracağıq. . quadratic in (x) Niyə quadratik? Xatırladaq ki, “S” və “P” arasında “S” və “P” arasında “S” arasında “S” və “P” arasında “S” arasında “S” və “P” arasında “S” arasında “S” və “P” arasında “S” arasında “S” və “P” arasında “S” arasında “S” və “P” arasındakı “S” arasında “S” və “P” arasındakı “S” arasında “S” və “P” arasındakı “S” arasındadır. Çözmək Onu seçmək lazımdır ki, bu və İkinci hissə isə normal və ya normaldır. Which root? positive economically valid Yalnız bir örnek Setup (2 tokens, large A → very low slippage) 
 
 
 
 
 İnternal (upscaleed) start balansları: token0 = 1,000,000; token1 = 1,000,000 Təkliflərin sayı: n = 2 Xüsusiyyət: A = 1000 A, D və 2 000 000 Action 
 
 10 000 ədəd token0 (EXACT_IN) adlandırılır. Quadratic to solve x^2 + (S - D/(A*n^n) - D)*x - D^(n+1)/(A*n^(2n)*P) = 0 Nəhayət: və və Token1’in paytaxtı 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 
 
 
 Siz 10 000-dən çox token0 qoyursunuz və 9000.45-dən çox token1 → böyük A ilə düşük keçid alırsınız. Bütün matematika 18 decimal iç birimləri istifadə edir; təhlükəsizlik üçün düzəldicilər. Növbəti → Növbəti → Növbəti → 
 
 
 EXACT_IN: input tokenini artırırsınız; counter-tokenin yeni saldığını (x) çözün; eski saldığınızdan fərqi out-dur. EXACT_OUT: qəbul olunan bir spesifik qiymətə hökm verirsiniz; ehtiyacı olanı (x) (və buna görə ehtiyacı olan giriş) çözərsiniz. Praktik notlar 
 
 
 Bütün balanslar 18 decimalda (scaled) internally işlənir; hesabatlar tipik olaraq pul-safe olmaq üçün yuvarlanır. Daha böyük bir (A) qapı daha konstanta-sum-baxdır (stabil çifti üçün kiçik qaçmaq); daha kiçik (A) konstanta-produkt davranışına daha yaxındır. 
 
 TL;DR: Bu dövrü sabit invariant (D) altında yeni token balansını (x) swapdan sonra verir. koeficientlər (S) və (P) vasitəsilə "poulın geri kalanını" kodlayır, lakin (A) və (n) stabil quruğun şekli / düzlüyünü qoymuşdur. TL;DR: Bu dövrü sabit invariant (D) altında yeni token balansını (x) swapdan sonra verir. koeficientlər (S) və (P) vasitəsilə "poulın geri kalanını" kodlayır, lakin (A) və (n) stabil quruğun şekli / düzlüyünü qoymuşdur. Qazaxıstan A “Qəbələ”nin “Qəbələ”nin “Qəbələ”ni . balance relationship invariant D “Qəbələ”nin bir hissəsi aşağı çıxır, bir hissəsi yüksəlir, bir hissəsi aşağı çıxır. Bu cür qiymətlər ortaya çıxır. new balance that keeps D as constant as possible Xatırladaq ki, bu, 18 ildir ki, bu, çox ciddi problemlər yarada bilər. Swap Types 
 
 
 EXACT_IN (GIVEN_IN): Fixed input amount, calculate output (Tərcümə qiyməti sabitdir) EXACT_OUT (GIVEN_OUT): Fixed output amount, calculate input. Vault and BatchSwapBalancer Vault manages all operations. BatchSwap combines multiple swaps in one transaction and uses "deferred settlement" like flashloans. BPTs act like normal tokens, bypassing min pool supply limit to drop liquidity very low. 1) Analitik analizlər 1.1 Sürücülər On November 3, 2025, at around 7:40 AM UTC, specific Balancer v2 stable pools were targeted with a sophisticated attack that resulted in a cumulative loss of $120+ million across Balancer and its forks. The attack leveraged several circumstances: 
 
 
 
 
 VVD - Hollandiyada futbolçu bu adla tanımır, orada VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir - artıq sorğu-suala ehtiyacı olmayan ulduzdu. "Balancer Vault" sözleşmesinin batchSwap funksiyası, sərf edən deltaların düzəltilməsinə ehtiyac olmadan keçən alış-verişlərin meydana gəlməsinə imkan verir. VVD - Hollandiyada futbolçu bu adla tanımır, orada VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir - artıq sorğu-suala ehtiyacı olmayan ulduzdu. Bütün bunların hamısı tamamilə lazımlı, lakin qısa bir nəticə deyil, bunun olması üçün tek lazımlı səbəblər isə problemin kök səbəbi, _upscale funksiyasında yuvarlanma davranışıdır. Xatırladaq ki, bu vektor ilk dəfə 16 iyul 2021-ci ildə MetaStablePool vasitəsilə təqdim edildi. Bu dəyişiklik 1 sentyabr 2021-ci ildə, komite 4e9e70a-da, 20 sentyabr 2021-ci ildə StablePhantomPool üçün komite f450760-da, daha sonra ComposableStablePool adını dəyişdi. _scalingFactors Aşağıdaki problemin təsvirində, niyə bu üsyanın girişinin hücumun qəlbində olduğunu izah edirik. 1.2 Problemlər VVD - Hollandiyada futbolçu bu adla tanımır, orada VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir - artıq sorğu-suala ehtiyacı olmayan ulduzdu. Xatırladaq ki, “SwapWithPools” və “SwapWithPools” arasında “SwapWithPool”, “SwapWithPool” və “SwapWithPool” arasında “SwapWithPool” və “SwapWithPool” arasında “SwapWithPool”, “SwapWithPool” və “SwapWithPool” arasında “SwapWithPool”, “SwapWithPool” və “ComposableStablePool”. Bir dəfə ComposableStablePool'da yerləşdirildikdən sonra, yürütmə onSwap qolu içində davam edir, orada iki şey olur: 
 
 
 Bu funksiya _scalingFactors funksiyasına çağırılır. Xatırladaq ki, hücumçu _swapGivenIn şablonu qəbul etməyə qərar verə bilər, lakin saldırı şablonunda göstərilən inputlar seçimi açıq şəkildə göstərir. Bu iki funksiyaya bir göz atalım. - Şirkətlər 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;
}
 Bu funksiya iki şeyi edə bilər: 
 
 
 O, _getScalingFactor funksiyasının önerdiyi kimi hər hansı bir miktarı sabit sayda decimallara və nə qaytarır. Bu faktorlar dövriyyədə 1e18 ilə bölünür və 1e18 ilə bölünür. Yüksək 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);
}
 Bu, yalnız qiyməti ölçülən faktorla multiplikat edir, sonunda 1e18 ilə bölünür. Bu problem iki faktdan ibarətdir: 
 
 
 Bu funksiyalar hər zaman swapın yönündən bağımsızdır (mulDown). Xatırladaq ki, əvvəllər “Scaling Factors” və “Scaling Factor” arasında “Scaling Factor”, “Scaling Factor” və “Scaling Factor”, “Scaling Factor” və “Scaling Factor”, “Scaling Factor” və “Scaling Factor”, “Scaling Factor”, “Scaling Factor” və “Scaling Factor”, “Scaling Factor”, “Scaling Factor”, “Scaling Factor”, “Scaling Factor”, “Scaling Factor”, “Scaling Factor”, “Scaling Factor”, “Scaling Factor”, “Scaling Factor”, “Scaling Factor”, “Scaling Factor”, “Scaling Factor”, “Scaling Factor”, “Scaling Factor Hesab edirəm ki, Biz qalmışıq “Dünyanın ən yaxşı futbolçularından biri olduqca çoxdur. Bu səbəbdən a Şirkətdə funksiyaları amount * scalingFactor / 1e18 17.98 17 0% net change _upscale Hesab edirəm ki, bir neçə 18 ildir ki, bu problemlər həll olunacaq. “A”ya representasiya Qiyməti düzgün göstərə bilər. 17,000000000000000000 17.988250950000000000 5.8% increase Buna görə də, bir neçə Bir neçə ildir ki, bu problemlər çoxdur. Dərslər Buna görə də bu, təxminən aynı . 6 decimals 17,000000 17.988250 5.8% positive change Maksimallaşdırma prosesini həyata keçirir   as large as possible, so the product loses the maximum precision when divided by 1e18. amount*scalingFactor mod 1e18 Misal olaraq, aşağıdaki tabelada, sayı=17 və sayı=50 hər ikisi 0.90-ci ilə qədər mutlak yuvarlanma zərərini verir.Ancaq, həddi aşan həddi çox fərqlidir və həddi aşan həddi daha da fərqlidir. Misalları Təxminən bir neçə ildir ki, ABŞ-ın İŞİD-ə qarşı hökmdarlıq hökmdarlığı 1 058132408689971699-ə çatıb. 
 
 
 
 
 
 
 
 
 
 
 
 amount 
 upscale 
 error 
 %error 
 %increase lost 
 
 
 
 
 
 
 17 
 17 
 0.98 
 5.76% 
 100% 
 
 
 
 
 
 
 50 
 52 
 0.90 
 1.80% 
 17% 
 
 
 
 
 
 
 ... 
 ... 
 ... 
 ... 
 ... 17 17 0.98 Əməkdarlıq 5,76% 100 faiz 50 52 0.90 1.80 faiz 17% nəfəri ... ... ... ... ... İŞİD VVD - Hollandiyada futbolçu bu adla tanımır, orada VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir - artıq sorğu-suala ehtiyacı olmayan ulduzdu. VVD - Hollandiyada futbolçu bu adla tanımır, orada VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir - artıq sorğu-suala ehtiyacı olmayan ulduzdu. _swapGivenOut _swapGivenOut Son olaraq, yüksək sayda iterasiya ilə, batchSwapdan sonra deltalar böyüyür, hücumçunun havada olan xərclərin əksəriyyəti ilə kredit edilir. Bundan başqa, _upscale-in-line docstrings ilə bağlı bir baxış var: /* 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. */
 Əvvəlki yazıda bu barədə daha bir məlumat var: /* …as the impact of this rounding is expected to be minimal (and there's no rounding error unless `_scalingFactor()` is overriden). */
 Bu çox vacibdir, çünki Əsas səhifə Daha sonra yenidən Bu, tamamilə Yuxarıda danışdığım problemlər var. StablePhantomPool September 20, 2021 ComposableStablePool _scalingFactor Əvvəlki versiyalarda “The VVD - Hollandiyada futbolçu bu adla tanımır, orada VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir - artıq sorğu-suala ehtiyacı olmayan ulduzdu Bu, fundamental dəyişikliklərə səbəb olur. StablePool _scalingFactor exchange rate Tədbirdə bildirildiyi kimi, funksiyasının komentara, kodun istifadədən evrimlənməsi (Əvvəlcə İstehsal Bu dəyişiklik, funksiyaya ehtiyac olsa da, potensial yaratır. Onlarla birlikdə yeni . _upscale unitary scaling factors 1e12 non-unitary exchange rates rounding errors attack vector Xüsusilə, qısa müddətdə bu problemin yaranmasına səbəb olduqca, bu problemin istifadə edilməsi üçün adi protokol mekanikaları və spesifik hücum etirazları lazım idi. "Balancer"in batchSwap, batchın sonunda yalnız net-qorxulanmış geçici iç balanslara imkan verir.Bu sayədək, hücumçular bir batch içində BPT-yi effektiv olaraq "çalışdılar" ki, BPT-yi tutan transaksiyanı bitirmədən pulları manipülə edə bilsinlər. VVD - Hollandiyada futbolçu bu adla tanımır, orada VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir - artıq çox adi bir hala çevrilib. Birinci fəsada pool token bilansiyaları (yani, WETH / osETH) BPT-nin token1 və BPT-nin token2 ilə dəyişməsi ilə çox aşağı düymalara (yaxud 100k) çıxdı. VVD - Hollandiyada futbolçu bu adla tanımır, orada VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir - artıq sorğu-suala ehtiyacı olmayan ulduzdu. Tədbirdə 3 dəfə iştirak edib: 
 
 
 
 Əsas səhifə » Əsas səhifə » Əsas səhifə » Əsas səhifə » Əsas səhifə Xatırladaq ki, ABŞ-ın İŞİD-in hökmdarlığına görə 17 ildir ki, ABŞ-ın hökmdarlığına görə 17 ildir ki, ABŞ-ın hökmdarlığına görə 20 ildir ki, ABŞ-ın hökmdarlığına görə 20 ildir ki, ABŞ-ın hökmdarlığına görə 20 ildir ki, ABŞ-ın hökmdarlığına görə 20 ildir. Xatırladaq ki, bu, bir neçə ildir ki, bir neçə ildir ki, bu, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir ki, bir neçə ildir. As shown in the trace below, the critical swap often uses an amount=17 against a vault balance of 18. You can see the repeated 17 amounts in the second swap of each triplet. Müəllimlər üçün ən yaxşı praktikalar: İnşaat VVD - Hollandiyada futbolçu bu adla tanımır, orada VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir - artıq sorğu-suala ehtiyacı olmayan ulduzdu. “OpenZeppelin” hər il 700-dən çox kritiki və yüksək şiddətli zərbəni bütün auditlarımızda istehsal etmədən əvvəl tanımışdır.Bu zərbələr titrələr verməz, lakin milyarlarca istifadəçi qoruyub zərbədən qurtara bilirlər. Auditlərin ineffektiv olduğunu söyləmək olmaz – bu, sektorun auditi proseduru nə qədər çətindir ki, böyük qiymət göstərən kompleks protokollar nə qədər çətindir ki, nə qədər çətindir ki, nə qədər çətindir ki, nə qədər çətindir ki, nə qədər çətindir ki, nə qədər çətindir ki, nə qədər çətindir. 2.1 Şirkət standartı kimi davamlı təhlükəsizlik qurulması “Balancer v2” layihəsi, 2016-cı ildə smart kontrat auditunun praktikasını qurbanlaşdırdıqdan bu yana, ən uğurlu güvenlik nəticələri bütün protokol kod bazalarını və onların bütün dəyişmələrini zamanla dəstəkləyən davamlı güvenlik ortaqlığından necə gəldiyini görmüşük, əksəriyyəti yalnız bu dəyişmələr ilə sınırlı olan böyük yeniləmələrin ad-hoc kodu reviziyasından başqa. Təhlükəsizlik tədqiqatçıları protokollarla davamlı olaraq işləyibkən, protokolun arkitekturası, inqilab prosesləri və niyə spesifik dizayn qərarları qəbul edildiyi ilə tanınırlar. “Balancer v2” kod bazası dörd bağımsız audit firması tərəfindən revizionlaşdırılmış olsa da, hər bir firma protokolun farklı sahələrinə diqqət çəkmək üçün iştirak etmişdir. “Balancer v2” kod bazası çoxlu auditorlarla işləmək, zəlzələnin olmaması riskini azaldır, lakin ən azı bir uzun müddətli güvenlik ortaqlığı ilə işləmək, kod bazasının necə evrimləşdiyini və yeni dəyişikliklərin var olan logika ilə necə mübahisə etdiyini daha dərin, davamlı anlayış verir. 2.2 Daha yaxşı təhlükəsizlik sistemləri “OpenZeppelin Kontraktları” sistemdə 30 trilyon dolların üstündə transfer edilən ümumi qiymətdən istifadə edən, güvenli smart kontraktlar yaratmaq üçün de facto standart haline gəlmişdir. “OpenZeppelin” şirkəti “Blockchain Security Standards Council”, “Enterprise Ethereum Alliance” və “International Standards Organization” (ISO) kimi endüstri standartlaşdırma organlarına kömək edir ki, komandamızın və topluluğumuzun ən yaxşı təhlükəsizlik praktikalarının bütün endüstriyə hazır olmasını təmin edir. VVD - Hollandiyada futbolçu bu adla tanımır ki, Hollandiyada, orada VVD daha çox mərkəz-sağı təmsilən edən siyasi partiyanın adının qısaltması kimi bilinir - artıq sorğu-suala ehtiyacı olmayan ulduzdu. Blockchain təhlükəsizliyi ekosisteminin gücləndirilməsi “Balancer v2” layihəsi protokolların daha qiymətli və sofistike olunca, protokol komandalarının davamlı təhlükəsizliyə investisiya etmək və firmalara bunu dəstəkləyən çərşənbə qurmaq üçün audit etmək üçün vacibdir.

This story contains new, firsthand information uncovered by the writer.

2022 - HackerNoon Contributor of the Year - Bots

2022 - HackerNoon Contributor of the Year - Solidity

Nominated for 2022 - HackerNoon Contributor of the Year - Solidity

Nominated for 2022 - HackerNoon Contributor of the Year - Bots

Bu audio hekayənin orijinal dilində hazırlanmışdır!

“Balancer V2 Exploit”in açıqlaması: 120 milyon dollar xərclənənən “Smart Contract Rounding Error”

About Author

ŞƏRHLƏR

ETİKET ASIN

BU MƏQALƏ TƏQDİM EDİLMİŞDİR

Related Stories

Women in Tech: Azize Sultan Shares Her Inspiring Journey from Architecture to Tech Leadership

Optimizing Operations for Real Estate Investors - Interview with Startups of the Year Nominee, Azibo

How Azarus's Technology is Transforming Viewer Engagement on Stream

Women in Tech: Azize Sultan Shares Her Inspiring Journey from Architecture to Tech Leadership

Optimizing Operations for Real Estate Investors - Interview with Startups of the Year Nominee, Azibo

How Azarus's Technology is Transforming Viewer Engagement on Stream

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps