Das Zero-Knowledge-Proof-(ZKP)-Startup Succinct Labs hat den Start des ersten vollständig Open-Source-Audit-Wettbewerbs für Zero-Knowledge-Virtual-Machine (zkVM) angekündigt. Ziel ist es, durch die Einbindung der Community die Transparenz und Sicherheit ihrer Technologie zu verbessern.
Gemäß den Wettbewerbsregeln erhalten Personen, die es schaffen, das SP1-Testnetz zu knacken, 110.000 US-Dollar. Der Audit-Wettbewerb, der nur auf Einladung stattfindet, begann am 3. Juni um 20:00 UTC und dauert bis zum 24. Juni um 20:00 UTC. Einladungen können innerhalb von 24 Stunden nach Wettbewerbsbeginn beim Marktplatz für Web3-Sicherheitslösungen, Cantina, bezogen werden. Die Teilnehmer werden aufgefordert, alle Ankündigungsbeiträge auf der Social-Media-Plattform X zu retweeten, um eingeladen zu werden.
Der Schwerpunkt der Prüfung liegt auf den SP1-Kernprogrammen. Vor Kurzem wurden die Kernprüfer, Einschränkungen und das Rekursionssystem von SP1 von zwei führenden Zero-Knowledge-Auditoren (ZK) geprüft. Dieser Wettbewerb dient als sekundärer Verifizierungsprozess, um sicherzustellen, dass SP1 frei von potenziellen Exploits oder Schwachstellen ist.
Um den Teilnehmern das Verständnis der einzelnen Programme zu erleichtern, ist auf dem Cantina-Discord-Server eine Code-Anleitung zu SP1 verfügbar.
SP1 stellt eine leistungsstarke, vollständig Open Source und mitwirkendenfreundliche zkVM dar, die zur Überprüfung der Ausführung von Rust-Programmen oder anderen mit LLVM kompilierten Programmen entwickelt wurde.
Es ist Open Source unter MIT/Apache 2.0-Lizenzen, ohne Code-Verschleierung und die gesamte Entwicklung erfolgt öffentlich. Im Gegensatz zu bestehenden zkVMs mit Closed-Source-, unveränderlicher Constraint-Logik verfügt SP1 über eine modulare Architektur, die von Anfang an auf Anpassung ausgelegt ist. Diese Anpassbarkeit ermöglicht es Einzelpersonen, der Kernlogik von zkVM „Vorkompilierungen“ hinzuzufügen, was zu erheblichen Leistungsverbesserungen führt.
Ankündigung des ersten Audit-Wettbewerbs für eine 100 % Open-Source-zkVM. 110.000 US-Dollar Kopfgeld, wenn Sie SP1 knacken können. Stellen Sie Ihre Fähigkeiten auf die Probe. pic.twitter.com/V3YEIKYrZV
– Succinct (@SuccinctLabs), 3. Juni 2024
Was ist Succinct Labs?
Succinct Labs entwickelt ein dezentrales Prover-Netzwerk, um die Erstellung von Blockchain-Anwendungen und -Infrastrukturen zu erleichtern, die durch kryptografische Verifizierung gesichert sind. Durch die Vereinheitlichung der Proof-Lieferkette bietet es eine hochverfügbare Proof-Generierungsinfrastruktur zu wettbewerbsfähigen Preisen für Rollups, Coprozessoren und andere Anwendungen, die ZKPs nutzen.
Vor Kurzem hat das Startup 55 Millionen US-Dollar an Startkapital und Finanzierung der Serie A aufgebracht. Angeführt wurde das Projekt von Paradigm Capital, mit Beteiligung von Robot Ventures, Bankless Ventures, Geometry und anderen namhaften Investoren.
Der Beitrag „Succinct Labs startet Open-Source-ZkVM-Audit-Wettbewerb mit einem Preisgeld von 110.000 US-Dollar“ erschien zuerst auf Metaverse Post.