Dåliga revisorer missar uppenbara buggar. Vi har byggt ett AI-verktyg som hittar dem. Vi presenterar V12: den enda autonoma Solidity-revisorn som faktiskt hittar toppar och kritiska värden. Vi kommer att släppa den gratis. V12 hittar Crits i Zellic-auditeringar, High/Mediums i Cantina och en bugg i Pendle.

Först och främst, varför bygga V12? 1. LLM:er överträffar nu mediokra revisionsföretag. Dåliga revisorer (1) suger och missar uppenbara buggar, (2) introducerar förseningar, (3) kostar $10 000 för små recensioner. 2. 70% av highs/crits är enkla kodningsfel. LLM:er utmärker sig när det gäller att hitta dessa buggar på ytnivå. Sålunda...

Vårt mål var att bygga ett AI-verktyg som överträffar de sämsta revisorerna på att hitta enkla men viktiga buggar. Hur gick det för oss? V12 hittar buggar som revisionsbyråer missat:

I tävlingar har historiskt sett mänskliga forskare lämnat in mestadels samma buggar som V12 hittar:

V12 upptäcker Highs och Mediums i offentliga, direktsända tävlingar:

V12 hittar buggar som, om de hade hittats, skulle ha undvikit miljontals dollar i hacks:

V12:s rapportskrivningskvalitet är jämförbar med toppmänniskor:

V12 är inte bara en kraftfull buggsökningsmotor. Den har en fullfjädrad, intuitiv frontend för enkel granskning.

V12 är självbetjäning. Logga in med Google, anslut dina Github-lagringsplatser, välj omfånget och klicka på Kör. Ingen "boka en demo", ingen "kontakta oss"-prissättning.

Till skillnad från många appar som försöker låsa in dig med dina data, låter V12 dig exportera fritt till PDF, CSV, JSON och Markdown. Dessutom fakturerar vi dig inte per plats eller prenumeration. Vi låter dig bjuda in så många personer du vill till dina revisioner.

Vi planerar att distribuera V12 i: - En fristående app som alla kan använda - Zellics och Zeniths revisioner - Code4renas tävlingar, där alla V12-utgåvor automatiskt kommer att markeras som OOS - Code4renas bug bounties, liknande bug bounties - En GitHub-åtgärd för CI/CD-integrering

Sugen på att prova V12? Kolla in hela tillkännagivandet här: