Der erste ZK Rollup-Start von Bitcoin steht kurz bevor! Sigma Prime (@sigp_io) hat das private Audit der BitVM-basierten Brücke von Citrea, Clementine, abgeschlossen. Dies wird die erste vertrauensminimierte Brücke von Bitcoin zu einer vollständig programmierbaren Umgebung sein. Es wurden keine kritischen Sicherheitsanfälligkeiten gefunden 🧵

Sigma Prime führte private Prüfungen von Clementine durch: • Signer-Implementierung: Entitäten, die die BitVM-Ausgaberegeln durchsetzen. • Operator-Implementierung: Gewinnorientierte Entitäten, die Abhebungen erleichtern. • Musig2: Konstruktion von Multisig-Wallets auf Bitcoin.

• Optimistischer Bitcoin Light Client: Hängt einen prägnanten zk-SNARK Header-Chain-Beweis an, der eine schwerere Kette zeigt. Dieser Beweis wird zu einem Input für die Herausforderungen.

Insgesamt wurden 36 Probleme während des privaten Audits identifiziert: - 2 Hoch - 13 Mittel - 13 Niedrig - 8 Informativ Alle Probleme wurden erfolgreich vom Citrea-Team behoben.

Den vollständigen Bericht hier finden:

Mit Clementine wird Bitcoin die erste Brücke haben, deren Regeln vom Bitcoin-Netzwerk mit mindestens einer ehrlichen Partei durchgesetzt werden, zu einer programmierbaren globalen Plattform. Clementine wird bald in die Phase des öffentlichen Prüfungswettbewerbs eintreten. Bleiben Sie dran 🍊