La startup ZKP (Zero-Knowledge Proof) Succinct Labs a annoncé le lancement du premier concours d'audit de machine virtuelle à connaissance zéro (zkVM) entièrement open source. Il vise à améliorer la transparence et la sécurité de leur technologie grâce à l’engagement communautaire.

Conformément aux règles du concours, les personnes qui réussiront à percer le testnet SP1 recevront 110 000 $. Le concours d'audit, sur invitation uniquement, a débuté à 20h00 UTC le 3 juin et se poursuivra jusqu'à 20h00 UTC le 24 juin. Les invitations peuvent être obtenues sur le marché des solutions de sécurité Web3, Cantina, dans un délai de 24 heures à compter du début du concours. Les participants sont encouragés à retweeter tous les messages d'annonce sur la plateforme de médias sociaux X afin d'être invités.

L'audit se concentre sur les programmes de base SP1. Récemment, le principal prouveur, contraintes et système de récursion du SP1 a fait l'objet d'audits menés par deux auditeurs de premier plan à connaissance nulle (ZK). Ce concours agit comme un processus de vérification secondaire pour garantir que le SP1 est exempt de tout exploit ou vulnérabilité potentiel.

Pour aider les participants à comprendre chaque programme, une présentation du code du SP1 est disponible sur le serveur Cantina Discord.

SP1 représente un zkVM hautes performances, entièrement open source et convivial pour les contributeurs, conçu pour vérifier l'exécution des programmes Rust ou de tout programme compilé avec LLVM.

Il est open source sous licences MIT / Apache 2.0, sans obscurcissement du code et tous les développements sont menés publiquement. Contrairement aux zkVM existants dotés d'une logique de contrainte fermée et immuable, le SP1 présente une architecture modulaire conçue pour la personnalisation dès le départ. Cette personnalisation permet aux individus d'ajouter des « précompilations » à la logique principale de zkVM, conduisant à des améliorations notables des performances.

Annonce du premier concours d'audit pour un zkVM 100 % open source. Prime de 110 000 $ si vous parvenez à briser le SP1. Mettez vos compétences à l'épreuve pic.twitter.com/V3YEIKYrZV

– Succinct (@SuccinctLabs) 3 juin 2024

Qu’est-ce que Succinct Labs ?

Succinct Labs développe un réseau de preuves décentralisé pour faciliter la création d'applications et d'infrastructures blockchain sécurisées par vérification cryptographique. Unifiant la chaîne d'approvisionnement des preuves, il offre une infrastructure de génération de preuves hautement disponible avec des prix compétitifs pour les cumuls, les coprocesseurs et d'autres applications tirant parti des ZKP.

Récemment, la startup a levé 55 millions de dollars en financement d'amorçage et de série A, dirigé par Paradigm Capital, avec la participation de Robot Ventures, Bankless Ventures, Geometry et d'autres investisseurs de premier plan.

L'article Succinct Labs lance un concours d'audit ZkVM open source avec un prix de 110 000 $ apparaît en premier sur Metaverse Post.