Succinct Labs Launches Open-Source ZkVM Audit Competition With $110K Prize

MetaversePost · 2024-06-04T07:23:05.000Z

Zero-knowledge proof (ZKP) startup Succinct Labs announced the launch of the first fully open-source zero-knowledge virtual machine (zkVM) audit competition. It aims to improve transparency and security in their technology through community engagement. As per the competition rules, individuals who manage to crack the SP1 testnet will be awarded $110,000. The audit competition, which is by invitation only, commenced at 20:00 UTC on June 3rd and will continue until 20:00 UTC on June 24th. Invitations can be obtained from the Web3 security solutions marketplace, Cantina, within a 24-hour window from the competition start. Participants are encouraged to retweet all announcement posts on the social media platform X in order to get invited. The audit focuses on the SP1 core programs. Recently, SP1’s core prover, constraints, and recursion system underwent audits conducted by two leading zero-knowledge (ZK) auditors. This competition acts as a secondary verification process to ensure that SP1 is free from any potential exploits or vulnerabilities. To assist participants in understanding each program, a code walkthrough of SP1 is available on the Cantina Discord server. SP1 represents a high-performance, fully open-source, and contributor-friendly zkVM designed to verify the execution of Rust programs or any programs compiled with LLVM. Its is open-source under MIT / Apache 2.0 licenses, with no code obfuscation with all development conducted publicly. Unlike existing zkVMs with closed-source, immutable constraint logic, SP1 features a modular architecture designed for customization from the start. This customizability allows individuals to add “precompiles” to the core zkVM logic, leading to notable performance improvements. Announcing the first audit competition for a 100% open-source zkVM.$110,000 bounty if you can break SP1.Put your skills to the test pic.twitter.com/V3YEIKYrZV — Succinct (@SuccinctLabs) June 3, 2024 What Is Succinct Labs? Succinct Labs is developing a decentralized prover network to facilitate the creation of blockchain applications and infrastructure secured by cryptographic verification. Unifying the proof supply chain, it offers highly available proof generation infrastructure with competitive pricing for rollups, coprocessors, and other applications leveraging ZKPs. Recently, the startup raised $55 million in seed and Series A funding, led by Paradigm Capital, with participation from Robot Ventures, Bankless Ventures, Geometry, and other prominent investors. The post Succinct Labs Launches Open-Source ZkVM Audit Competition With $110K Prize appeared first on Metaverse Post.

Startup-ul Zero-Knowledge proof (ZKP) Succinct Labs a anunțat lansarea primului concurs de audit de mașină virtuală zero-knowledge (zkVM) complet open-source. Acesta își propune să îmbunătățească transparența și securitatea tehnologiei lor prin implicarea comunității.
Conform regulilor competiției, persoanele care reușesc să spargă rețeaua de test SP1 vor primi 110.000 USD. Concursul de audit, care este doar pe bază de invitație, a început la ora 20:00 UTC pe 3 iunie și va continua până la ora 20:00 UTC pe 24 iunie. Invitațiile pot fi obținute de pe piața de soluții de securitate Web3, Cantina, într-o fereastră de 24 de ore de la începerea competiției. Participanții sunt încurajați să retwitteze toate postările de anunț de pe platforma social media X pentru a fi invitați.
Auditul se concentrează pe programele de bază SP1. Recent, sistemul de verificare, constrângeri și recursivitate de bază al SP1 a fost supus auditurilor efectuate de doi auditori de top cu cunoștințe zero (ZK). Această competiție acționează ca un proces secundar de verificare pentru a se asigura că SP1 este lipsit de orice potențiale exploatări sau vulnerabilități.
Pentru a ajuta participanții să înțeleagă fiecare program, pe serverul Cantina Discord este disponibilă o prezentare a codului SP1.
SP1 reprezintă un zkVM de înaltă performanță, complet open-source și prietenos cu colaboratorii, conceput pentru a verifica execuția programelor Rust sau a oricăror programe compilate cu LLVM.
Este open-source sub licențe MIT / Apache 2.0, fără a fi înfundat codul cu toată dezvoltarea realizată public. Spre deosebire de zkVM-urile existente cu logica de constrângere cu sursă închisă, imuabilă, SP1 are o arhitectură modulară concepută pentru personalizare de la început. Această personalizare permite persoanelor să adauge „precompilări” la logica de bază zkVM, ceea ce duce la îmbunătățiri notabile ale performanței.
Anunțul primului concurs de audit pentru un zkVM 100% open-source. Recompensă de 110.000 USD dacă poți depăși SP1. Pune-ți abilitățile la încercare pic.twitter.com/V3YEIKYrZV
— Succinct (@SuccinctLabs) 3 iunie 2024
Ce este Succinct Labs?
Succinct Labs dezvoltă o rețea de testare descentralizată pentru a facilita crearea de aplicații blockchain și a infrastructurii securizate prin verificare criptografică. Unificând lanțul de aprovizionare a probelor, oferă o infrastructură de generare a probelor de înaltă disponibilitate, cu prețuri competitive pentru rollup-uri, coprocesoare și alte aplicații care folosesc ZKP.
Recent, startup-ul a strâns 55 de milioane de dolari în finanțare de început și seria A, condusă de Paradigm Capital, cu participarea Robot Ventures, Bankless Ventures, Geometry și alți investitori proeminenți.
Postarea Succinct Labs lansează competiția de audit ZkVM cu sursă deschisă cu premiu de 110.000 USD a apărut mai întâi pe Metaverse Post.

Succinct Labs lansează competiția de audit ZkVM open-source cu un premiu de 110.000 USD

Explorați mai multe de la acest creator

Ultimele știri