Citrea construiește primul rollup pentru Bitcoin. Baza noastră unică de cod a fost supusă unor audituri. Auditul privat al infrastructurii Citrea a fost finalizat de Sigma Prime (@sigp_io). Nu au fost găsite vulnerabilități critice. Iată raportul 🧵 complet

Sigma Prime a efectuat audituri private ale Citrea: • Bitcoin DA: Un adaptor special DA pentru Bitcoin care construiește și urmărește angajamentele și dovezile Citrea • Citrea STF: Logica de tranziție a stării critică de consens pe care fiecare nod și demonstrator trebuie să o reproducă bit cu bit.

Sigma Prime a efectuat audituri private ale Citrea: • EVM: motorul de execuție al Citrea utilizat de STF și circuite. • Light Client Prover Circuit: generează SNARK recursiv care comprimă antetele, angajamentele și dovezile lotului într-o singură dovadă light-client.

Un total de 24 de probleme au fost identificate în timpul evaluării de securitate a Sigma Prime: - 5 Ridicat - 6 Mediu - 4 Scăzut - 9 Informațional Toate problemele au fost abordate cu succes de echipa Citrea.

Găsiți raportul complet de audit aici:

Infrastructura de rollup a Citrea este acum supusă unei competiții de audit public cu @cantinaxyz! $80.000+ în recompense puse în joc, până pe 15 august: