Los malos auditores pasan por alto errores obvios. Construimos una herramienta de IA que los encuentra. Presentamos V12: el único auditor autónomo de Solidity que realmente encuentra Altos y Críticos. Lo lanzaremos de forma gratuita. V12 encuentra críticos en las auditorías de Zellic, altos/medios en Cantina y un error en Pendle.

Primero, ¿por qué construir V12? 1. Los LLM ahora superan a las firmas de auditoría mediocres. Los malos auditores (1) apestan y pasan por alto errores obvios, (2) introducen retrasos, (3) cuestan $ 10,000 por pequeñas revisiones. 2. El 70% de los altos/críticos son simples errores de codificación. Los LLM se destacan en la búsqueda de estos errores a nivel superficial. Así...

Nuestro objetivo era construir una herramienta de IA que superara a los peores auditores en la búsqueda de errores simples pero importantes. ¿Cómo lo hicimos? V12 encuentra errores que las firmas de auditoría pasaron por alto:

En las competencias, los investigadores históricamente humanos envían principalmente los mismos errores que los hallazgos de V12:

V12 descubre los agudos y medios en competiciones públicas y en directo:

V12 encuentra errores que, de haberlos encontrado, habrían evitado millones de dólares en hackeos:

La calidad de redacción de informes de V12 es comparable a la de los mejores humanos:

V12 no es solo un potente motor de búsqueda de errores. Tiene una interfaz intuitiva y con todas las funciones para facilitar la revisión.

V12 es de autoservicio. Inicie sesión con Google, conecte sus repositorios de Github, seleccione el ámbito y haga clic en Ejecutar. No hay precios de "reserva una demostración", no hay precios de "contáctanos".

A diferencia de muchas aplicaciones que intentan bloquearlo usando sus datos, V12 le permite exportar libremente a PDF, CSV, JSON y Markdown. Además, no le facturamos por puesto o suscripción. Le permitimos invitar a tantas personas como desee a sus auditorías.

Planeamos implementar V12 en: - Una aplicación independiente que cualquiera puede usar - Auditorías de Zellic y Zenith - Competiciones de Code4rena, donde todos los problemas de V12 se marcarán automáticamente como OOS - Recompensas por errores de Code4rena, similar a las recompensas por errores - Una acción de GitHub para la integración de CI/CD

¿Emocionado por probar V12? Echa un vistazo al anuncio completo aquí: