Citrea baut das erste Rollup für Bitcoin. Unsere einzigartige Codebasis wurde Audits unterzogen. Das private Audit der Rollup-Infrastruktur von Citrea wurde nun von Sigma Prime (@sigp_io) abgeschlossen. Es wurden keine kritischen Schwachstellen gefunden. Hier ist der vollständige Bericht 🧵
Sigma Prime führte private Audits bei 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 Bit für Bit reproduzieren muss.
Sigma Prime führte private Audits bei Citrea durch: • EVM: Die Ausführungs-Engine von Citrea, die von der STF und den Schaltkreisen verwendet wird. • Light Client Prover Circuit: Generiert den rekursiven SNARK, der Header, Zusagen und Batch-Proofs in einem Light-Client-Proof komprimiert.
Insgesamt wurden im Rahmen der Sicherheitsbewertung von Sigma Prime 24 Probleme identifiziert: - 5 Hoch - 6 Mittel - 4 Niedrig - 9 Informativ Alle Probleme wurden vom Citrea-Team erfolgreich gelöst.
Den vollständigen Auditbericht finden Sie hier:
Die Rollup-Infrastruktur von Citrea wird derzeit einem öffentlichen Prüfungswettbewerb mit @cantinaxyz! $80.000+ an Belohnungen gibt es bis zum 15. August zu gewinnen:
12,53K