La startup de prueba de conocimiento cero (ZKP), Succinct Labs, anunció el lanzamiento del primer concurso de auditoría de máquina virtual de conocimiento cero (zkVM) de código abierto. Su objetivo es mejorar la transparencia y la seguridad en su tecnología a través de la participación de la comunidad.
Según las reglas de la competencia, las personas que logren descifrar la red de prueba SP1 recibirán $110,000. El concurso de auditoría, que se realiza únicamente por invitación, comenzó a las 20:00 UTC del 3 de junio y continuará hasta las 20:00 UTC del 24 de junio. Las invitaciones se pueden obtener en el mercado de soluciones de seguridad Web3, Cantina, dentro de un plazo de 24 horas desde el inicio de la competencia. Se anima a los participantes a retuitear todas las publicaciones de anuncios en la plataforma de redes sociales X para poder ser invitados.
La auditoría se centra en los programas básicos del SP1. Recientemente, el sistema de recursividad, restricciones y comprobador principal de SP1 se sometió a auditorías realizadas por dos auditores líderes de conocimiento cero (ZK). Esta competencia actúa como un proceso de verificación secundario para garantizar que SP1 esté libre de posibles exploits o vulnerabilidades.
Para ayudar a los participantes a comprender cada programa, hay disponible un tutorial del código de SP1 en el servidor de Cantina Discord.
SP1 representa un zkVM de alto rendimiento, totalmente de código abierto y fácil de contribuir, diseñado para verificar la ejecución de programas Rust o cualquier programa compilado con LLVM.
Es de código abierto bajo licencias MIT/Apache 2.0, sin confusión de código y todo el desarrollo se realiza públicamente. A diferencia de los zkVM existentes con lógica de restricción inmutable y de código cerrado, SP1 presenta una arquitectura modular diseñada para la personalización desde el principio. Esta personalización permite a las personas agregar "precompilaciones" a la lógica central de zkVM, lo que genera mejoras notables en el rendimiento.
Anuncio del primer concurso de auditoría para un zkVM 100 % de código abierto. Recompensa de 110 000 dólares si puedes romper el SP1. Pon a prueba tus habilidades pic.twitter.com/V3YEIKYrZV
– Sucinto (@SuccinctLabs) 3 de junio de 2024
¿Qué son los laboratorios sucintos?
Succinct Labs está desarrollando una red de prueba descentralizada para facilitar la creación de aplicaciones e infraestructura blockchain aseguradas mediante verificación criptográfica. Al unificar la cadena de suministro de pruebas, ofrece una infraestructura de generación de pruebas de alta disponibilidad con precios competitivos para paquetes acumulativos, coprocesadores y otras aplicaciones que aprovechan los ZKP.
Recientemente, la startup recaudó 55 millones de dólares en financiación inicial y Serie A, liderada por Paradigm Capital, con la participación de Robot Ventures, Bankless Ventures, Geometry y otros inversores destacados.
La publicación Succinct Labs lanza competencia de auditoría ZkVM de código abierto con un premio de $ 110 mil apareció por primera vez en Metaverse Post.
