Citrea sta costruendo il primo rollup per Bitcoin. Il nostro codice unico è stato sottoposto a verifiche. L'audit privato dell'infrastruttura rollup di Citrea è stato completato da Sigma Prime (@sigp_io). Non sono state trovate vulnerabilità critiche. Ecco il rapporto completo 🧵

Sigma Prime ha condotto audit privati di Citrea: • Bitcoin DA: Un adattatore DA speciale per Bitcoin che costruisce e traccia gli impegni e le prove di Citrea • Citrea STF: La logica di transizione di stato critica per il consenso che ogni nodo e provatore deve riprodurre bit per bit.

Sigma Prime ha condotto audit privati di Citrea: • EVM: il motore di esecuzione di Citrea utilizzato dallo STF e dai circuiti. • Circuito Prover del Light Client: genera lo SNARK ricorsivo che comprime intestazioni, impegni e prove batch in un'unica prova per light client.

Un totale di 24 problemi sono stati identificati durante la valutazione della sicurezza di Sigma Prime: - 5 Alti - 6 Medi - 4 Bassi - 9 Informativi Tutti i problemi sono stati affrontati con successo dal team di Citrea.

Trova il rapporto di audit completo qui:

L'infrastruttura rollup di Citrea è attualmente sottoposta a una competizione pubblica di audit con @cantinaxyz! Oltre $80.000 in premi in palio, fino al 15 agosto: