Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Měl jsem štěstí, že jsem se @savantchat mohl podívat na kód, který jsem napsal v @twynexyz, a jako bývalý auditor jsem byl ohromen
Dokonce našel chybu, která byla v kódové základně týdny a kterou jsme *jen* opravili v kódu až před <48 hodinami

14. 7. 22:21
Auditor umělé inteligence našel chybu způsobenou exploitem opětovného zásobování
Protokol byl auditován dvěma významnými auditorskými firmami, z nichž obě tento problém přehlédly. Sledoval jsem tento projekt auditu umělé inteligence s názvem @savantchat takže mě zajímalo, zda zachytí hlavní příčinu.
Správně identifikoval chybějící kontroly na nulovou nebo extrémně vysokou cenu (>1E36), ale hodnocení toho, co dělá, bylo rozporuplné. V čísle 3 se píše, že směnný kurz 0 obchází kontroly solventnosti, ale v čísle 4 se říká, že stejná hodnota činí každého dlužníka okamžitě insolventním.
To je stále působivý výsledek a ukazuje, že lidský auditor pracující s nástrojem umělé inteligence by tento problém pravděpodobně zachytil. Doufejme, že brzy budeme mít auditory umělé inteligence, dokonce i jako součást CI pipeline.
Zvláštní poděkování patří @igorgulamov za to, že to pro mě uspořádali.

5,38K
Top
Hodnocení
Oblíbené