Citrea baut das erste Rollup für Bitcoin. Unsere einzigartige Codebasis wurde auditiert. Das private Audit der Rollup-Infrastruktur von Citrea wurde nun von Sigma Prime (@sigp_io) abgeschlossen. Es wurden keine kritischen Sicherheitsanfälligkeiten gefunden. Hier ist der vollständige Bericht 🧵

Sigma Prime führte private Audits von Citrea durch: • Bitcoin DA: Ein spezieller DA-Adapter für Bitcoin, der die Verpflichtungen und Nachweise von Citrea erstellt und verfolgt. • Citrea STF: Die konsenskritische Zustandsübergangslogik, die jeder Knoten und Beweiser bitgenau reproduzieren muss.

Sigma Prime führte private Audits von Citrea durch: • EVM: Citrea’s Ausführungsengine, die von der STF und den Schaltungen verwendet wird. • Light Client Prover Circuit: Generiert den rekursiven SNARK, der Header, Verpflichtungen und Batch-Beweise in einen Light-Client-Beweis komprimiert.

Insgesamt wurden 24 Probleme während der Sicherheitsbewertung von Sigma Prime identifiziert: - 5 Hoch - 6 Mittel - 4 Niedrig - 9 Informativ Alle Probleme wurden erfolgreich vom Citrea-Team behoben.

Den vollständigen Prüfbericht hier finden:

Die Rollup-Infrastruktur von Citrea unterliegt jetzt einem öffentlichen Audit-Wettbewerb mit @cantinaxyz! Über 80.000 $ an Belohnungen sind bis zum 15. August zu gewinnen: