Premiera pierwszego ZK Rollupu Bitcoina jest bliska! Sigma Prime (@sigp_io) zakończyło prywatny audyt mostu Clementine opartego na BitVM od Citrea. Będzie to pierwszy most Bitcoina z minimalnym zaufaniem do w pełni programowalnego środowiska. Nie znaleziono krytycznych luk w zabezpieczeniach 🧵

Sigma Prime przeprowadził prywatne audyty Clementine: • Implementacja Signera: Podmioty, które egzekwują zasady wydawania BitVM. • Implementacja Operatora: Podmioty dążące do zysku, które ułatwiają wypłaty. • Musig2: Budowa portfeli multisig na Bitcoinie.

• Optymistyczny lekki klient Bitcoin: Dołącza zwięzły dowód łańcucha nagłówków zk-SNARK, pokazujący cięższy łańcuch. Ten dowód staje się wejściem do wyzwań.

Zidentyfikowano łącznie 36 problemów podczas prywatnego audytu: - 2 Wysokie - 13 Średnie - 13 Niskie - 8 Informacyjne Wszystkie problemy zostały pomyślnie rozwiązane przez zespół Citrea.

Pełny raport znajdziesz tutaj:

Dzięki Clementine, Bitcoin będzie miał pierwszy most, którego zasady są egzekwowane przez sieć Bitcoin z co najmniej jedną uczciwą stroną obecna, do programowalnej globalnej platformy. Clementine wkrótce wejdzie w fazę publicznej konkurencji audytowej. Bądź na bieżąco 🍊