Špatní auditoři přehlédnou zjevné chyby. Vytvořili jsme nástroj umělé inteligence, který je najde. Představujeme V12: jediný autonomní auditor Solidity, který skutečně nachází vysoké a kritické hodnoty. Budeme ho vydávat zdarma. V12 najde Crits v auditech Zellic, High/Mediums v Cantině a chybu v Pendle.

Za prvé, proč vytvářet V12? 1. LLM nyní překonávají průměrné auditorské firmy. Špatní auditoři (1) vysávají a přehlédnou zjevné chyby, (2) zavádějí zpoždění, (3) stojí 10 000 dolarů za malé recenze. 2. 70 % výšek/kritických chyb jsou jednoduché chyby v kódování. LLM vynikají v hledání těchto povrchových chyb. Tedy...

Naším cílem bylo vytvořit nástroj umělé inteligence, který překoná nejhorší auditory při hledání jednoduchých, ale důležitých chyb. Jak se nám dařilo? V12 najde chyby, které auditorské firmy přehlédly:

V soutěžích historicky lidští výzkumníci odesílají většinou stejné chyby, jaké zjistila verze V12:

V12 objevuje vysoké a střední hodnoty ve veřejných, živých soutěžích:

V12 najde chyby, které, pokud by byly nalezeny, by se vyhnuly milionům dolarů v hackování:

Kvalita psaní zpráv V12 je srovnatelná se špičkovými lidmi:

V12 není jen výkonný engine pro hledání chyb. Má plně vybavený, intuitivní frontend pro snadné prohlížení.

V12 je samoobslužný. Přihlaste se pomocí Googlu, připojte úložiště Github, vyberte obor a klikněte na Spustit. Žádné "rezervujte si demo", žádné ceny "kontaktujte nás".

Na rozdíl od mnoha aplikací, které se vás snaží uzamknout pomocí vašich dat, V12 vám umožňuje volně exportovat do PDF, CSV, JSON a Markdown. Navíc vám neúčtujeme podle licence nebo předplatného. Umožňujeme vám pozvat na audity tolik lidí, kolik chcete.

Nasazení V12 plánujeme v: - Samostatná aplikace, kterou může používat kdokoli - Audity společností Zellic a Zenith - Soutěže Code4rena, kde budou všechna vydání V12 automaticky označena jako OOS - Odměny za chyby Code4rena, podobné odměnám za chyby - Akce GitHubu pro integraci CI/CD

Těšíte se, že vyzkoušíte V12? Podívejte se na celé oznámení zde: