Citrea rakentaa ensimmäistä rollupia Bitcoinille. Ainutlaatuinen koodikantamme on käynyt läpi auditointeja. Sigma Prime (@sigp_io) on nyt saanut päätökseen Citrean rollup-infrastruktuurin yksityisen tarkastuksen. Kriittisiä haavoittuvuuksia ei löytynyt. Tässä on koko raportti 🧵

Sigma Prime suoritti yksityisiä tarkastuksia Citrean seuraavista: • Bitcoin DA: Erityinen DA-sovitin Bitcoinille, joka rakentaa ja seuraa Citrean sitoumuksia ja todisteita • Citrea STF: Konsensuskriittinen tilasiirtymälogiikka, jonka mukaan jokaisen solmun ja todistajan on toistettava bitti bitiltä.

Sigma Prime suoritti yksityisiä tarkastuksia Citrean seuraavista: • EVM: Citrean suoritusmoottori, jota STF ja piirit käyttävät. • Light Client Prover Circuit: Luo rekursiivisen SNARK:n, joka pakkaa otsikot, sitoumukset ja erävedokset yhdeksi valoasiakasvedokseksi.

Sigma Primen tietoturva-arvioinnissa havaittiin yhteensä 24 ongelmaa: - 5 Korkea - 6 Keskikokoinen - 4 Matala - 9 Informatiivinen Citrea-tiimi ratkaisi kaikki ongelmat onnistuneesti.

Tarkastusraportti kokonaisuudessaan löytyy täältä:

Citrean rollup-infrastruktuuri on nyt julkisen tarkastuskilpailun kohteena @cantinaxyz! $80,000+ palkintoina jaossa 15. elokuuta asti: