← Monitor · Scanare avansată · Executor independent
Raport V19.1 — teste EVM, securitate și economie
Nu este un audit independent și nu confirmă profit real. Contractele V19 rămân neinstalate pe mainnet. Pentru schimburi gasless, vezi integrarea V29 CoW; analiza V19 este istorică.
Testare EVM executată
5/5 scenarii reușite într-un EVM izolat Ganache (routere și prețuri simulate): flash loan cu două swap-uri, trei swap-uri, revert pe pierdere, callback neautorizat respins și V19 one-shot cu distribuția 85%/15%. Nu reprezintă încasări reale.
Fork Base la blocul 53.321.380: tranzacția V19 a fost respinsă cu NoProfit() = 0xe39aafee după 2.142.797 gas. V18 persistent a fost instalat local și un apel ulterior a fost respins tot cu NoProfit() după 459.576 gas. Niciuna nu este tranzacție mainnet.
Compararea arhitecturilor
| Operație | Gas observat pe fork |
|---|---|
| V19 one-shot, rută neprofitabilă | 2.142.797 |
| Instalare unică V18 | 1.652.091 |
| Apel repetat V18, rută neprofitabilă | 459.576 |
Gas price verificat în eșantion: 0,006 gwei. Taxa Base L1 data estimată pentru calldata: V19 one-shot 47.598.038.046 wei; deployment V18 38.828.264.486 wei; apel V18 1.245.507.688 wei. Sunt valori specifice blocului și datelor apelului; o execuție reușită va consuma diferit.
Recomandare pentru repetare: V18 persistent, cu instalarea finanțată de operator și amortizată. Nu reduce la zero necesarul de gas sau capitalul de execuție al terțului.
Analiză statică Slither
Slither 0.11.6, solc 0.8.30: 13 constatări — 1 ridicată, 3 medii, 8 reduse, 1 informativă.
Constatarea ridicată: reentrancy-balance în OperatorFundedBalancerArbV18.initiate(), legată de valoarea originalBalance folosită după apelul Vault. Contractul setează indicatorul active înaintea apelului, dar analiza statică singură nu dovedește că avertismentul este fals pozitiv.
Constatările medii includ verificări stricte de egalitate și reentrancy fără transfer ETH. Ele trebuie analizate contextual. Niciun rezultat Slither nu înlocuiește un audit independent, testele de proprietăți sau un fuzzing exhaustiv.
Blocajele încă existente
Scannerul a returnat cotații cu surplus brut negativ în rutele recente; un operator independent nu a acceptat proiectul; nu s-a făcut auditul independent și nu există receipt pe mainnet cu transfer de profit beneficiarului. Nu se transmit tranzacții mainnet până la eliminarea acestor blocaje.