Huonot tilintarkastajat jättävät huomiotta ilmeiset virheet. Rakensimme tekoälytyökalun, joka löytää heidät. Esittelyssä V12: ainoa itsenäinen Solidity-auditoija, joka todella löytää korkeat ja kriittiset arvot. Julkaisemme sen ilmaiseksi. V12 löytää kriittisiä Zellic-tarkastuksista, High/Mediumsia Cantinasta ja bugin Pendlestä.

Ensinnäkin, miksi rakentaa V12? 1. LLM:t menestyvät nyt keskinkertaisia tilintarkastusyrityksiä paremmin. Huonot tilintarkastajat (1) imevät ja jättävät huomiotta ilmeiset virheet, (2) aiheuttavat viiveitä, (3) maksavat 10 000 dollaria pienistä arvosteluista. 2. 70 % huippuista/kriittisistä arvoista on yksinkertaisia koodausvirheitä. LLM:t ovat erinomaisia näiden pintatason virheiden löytämisessä. Näin...

Tavoitteenamme oli rakentaa tekoälytyökalu, joka päihittää huonoimmat tarkastajat yksinkertaisten mutta tärkeiden virheiden löytämisessä. Miten pärjäsimme? V12 löytää virheitä, jotka tilintarkastusyritykset eivät huomanneet:

Kilpailuissa historiallisesti ihmistutkijat lähettävät enimmäkseen samoja bugeja kuin V12:n löydökset:

V12 löytää korkeat ja keskitasot julkisissa live-kilpailuissa:

V12 löytää bugeja, jotka olisivat välttäneet miljoonien dollarien hakkeroinnin:

V12:n raporttien kirjoittamisen laatu on verrattavissa huippuihmisiin:

V12 ei ole vain tehokas virheetsintämoottori. Siinä on täysin varusteltu, intuitiivinen käyttöliittymä, joka helpottaa tarkastelua.

V12 on itsepalvelu. Kirjaudu sisään Googlella, yhdistä Github-säilösi, valitse laajuus ja napsauta Suorita. Ei "varaa demo", ei "ota yhteyttä" -hinnoittelua.

Toisin kuin monet sovellukset, jotka yrittävät lukita sinut tietojesi avulla, V12:n avulla voit viedä vapaasti PDF-, CSV-, JSON- ja Markdown-muotoon. Emme myöskään laskuta sinua istumapaikan tai tilauksen mukaan. Annamme sinun kutsua auditointeihisi niin monta ihmistä kuin haluat.

Aiomme ottaa V12:n käyttöön: - Itsenäinen sovellus, jota kuka tahansa voi käyttää - Zellicin ja Zenithin auditoinnit - Code4renan kilpailut, joissa kaikki V12-numerot merkitään automaattisesti OOS:ksi - Code4renan bug bountyt, samanlaiset bug bountyt - GitHub-toiminto CI/CD-integraatiota varten

Oletko innostunut kokeilemaan V12:ta? Katso koko ilmoitus täältä: