Katsoin eilen illalla koodia, joka oli vialla Cetusissa, ja ensimmäinen asia, jota epäilin get_delta_b, oli se, miksi tämä toiminto muuntaa u256:n u64:ksi, mikä aiheutti tarkkuuden sieppausongelman. Tekoälyltä kysymisen jälkeen on todennäköistä, että kun cetus siirsi kaikki uniswap v3 -kaavat, koska uni käyttää kiinteää lukua, se on muunnettava liukuluvuksi ilman huolellista turvallisuusharkintaa. Tällaista algoritmitasolle kuuluvaa liiketoimintalogiikkaa on vaikea havaita kooditarkastuksissa, ellei tarkastuslaitoksessa ole myös tutkijoita, jotka tuntevat sekä algoritmit että koodin. Tässä on logiikka, miksi tekoäly analysoi koodia niin kuin se tekee: Koodipohjan analyysini perusteella voin nyt selittää, miksi kirjoittaja päätti toteuttaa sen tällä tavalla get_delta_b Toiminnot ja mahdolliset syyt: Miksi funktion tekijä toteuttaa get_delta_b tavalla Suorituskyvyn optimointi: ) ja bittimaski käsittelevät suoraan U256-tyyppejä. Tämä todennäköisesti parantaa suorituskykyä ja vähentää...