Citrea buduje pierwszy rollup dla Bitcoina. Nasza unikalna baza kodu była poddawana audytom. Prywatny audyt infrastruktury rollupu Citrea został właśnie zakończony przez Sigma Prime (@sigp_io). Nie znaleziono krytycznych luk w zabezpieczeniach. Oto pełny raport 🧵

Sigma Prime przeprowadził prywatne audyty Citrea: • Bitcoin DA: Specjalny adapter DA dla Bitcoina, który buduje i śledzi zobowiązania oraz dowody Citrea. • Citrea STF: Krytyczna dla konsensusu logika przejścia stanu, którą każdy węzeł i dowodzący musi odtworzyć bit po bicie.

Sigma Prime przeprowadził prywatne audyty Citrea: • EVM: silnik wykonawczy Citrea używany przez STF i obwody. • Obwód dowodzenia klienta lekkiego: generuje rekurencyjny SNARK, który kompresuje nagłówki, zobowiązania i dowody zbiorcze w jeden dowód klienta lekkiego.

Podczas oceny bezpieczeństwa Sigma Prime zidentyfikowano łącznie 24 problemy: - 5 Wysokich - 6 Średnich - 4 Niskich - 9 Informacyjnych Wszystkie problemy zostały pomyślnie rozwiązane przez zespół Citrea.

Pełny raport audytu znajdziesz tutaj:

Infrastruktura rollup Citrea przechodzi obecnie publiczną konkurencję audytową z @cantinaxyz! Ponad 80 000 $ w nagrodach do zdobycia, trwająca do 15 sierpnia: