Jag tittade på koden som var fel med Cetus igår kväll, och det första jag var väldigt misstänksam mot get_delta_b var varför den här funktionen skulle konvertera u256 till u64, vilket orsakade problemet med noggrannhetsavlyssning. Efter att ha frågat AI:n är det troligt att när cetus migrerade alla uniswap v3-formler, eftersom uni använder en fast punkt, måste det konverteras till ett flyttal utan noggrann säkerhetshänsyn. En sådan affärslogik, som hör till algoritmnivån, är svår att upptäcka vid kodauditeringar, om det inte också finns forskare som är förtrogna med både algoritmer och kod i revisionsinstitutet. Här är logiken för varför AI analyserar koden på det sätt som den gör: Baserat på min analys av kodbasen kan jag nu förklara varför författaren valde att implementera den på detta sätt get_delta_b funktioner och möjliga orsaker: Varför författaren till funktionen implementerar get_delta_b sättet Prestandaoptimering: ) och bitmask hanterar direkt U256-typer. Detta kommer med...
Visa original56,12 tn
2
Innehållet på den här sidan tillhandahålls av tredje part. Om inte annat anges är OKX inte författare till den eller de artiklar som citeras och hämtar inte någon upphovsrätt till materialet. Innehållet tillhandahålls endast i informationssyfte och representerar inte OKX:s åsikter. Det är inte avsett att vara ett godkännande av något slag och bör inte betraktas som investeringsrådgivning eller en uppmaning att köpa eller sälja digitala tillgångar. I den mån generativ AI används för att tillhandahålla sammanfattningar eller annan information kan sådant AI-genererat innehåll vara felaktigt eller inkonsekvent. Läs den länkade artikeln för mer detaljer och information. OKX ansvarar inte för innehåll som finns på tredje parts webbplatser. Innehav av digitala tillgångar, inklusive stabila kryptovalutor och NFT:er, innebär en hög grad av risk och kan fluktuera kraftigt. Du bör noga överväga om handel med eller innehav av digitala tillgångar är lämpligt för dig mot bakgrund av din ekonomiska situation.