Citrea vytváří první rollup pro Bitcoin. Naše unikátní kódová základna prochází audity. Společnost Sigma Prime (@sigp_io) nyní dokončila soukromý audit infrastruktury rollupu společnosti Citrea. Nebyly nalezeny žádné kritické chyby zabezpečení. Zde je celá zpráva 🧵

Společnost Sigma Prime provedla soukromé audity společnosti Citrea: Bitcoin DA: Speciální DA adaptér pro Bitcoin, který vytváří a sleduje závazky a důkazy Citrea • Citrea STF: Konsensuálně kritická logika přechodu stavu, že každý uzel a dokazovatel musí reprodukovat bit-for-bit.

Společnost Sigma Prime provedla soukromé audity společnosti Citrea: EVM: Prováděcí engine Citrea používaný STF a obvody. • Light Client Prover Circuit: Generuje rekurzivní SNARK, který komprimuje hlavičky, závazky a dávkové korektury do jednoho důkazu light-client.

Během bezpečnostního hodnocení společnosti Sigma Prime bylo identifikováno celkem 24 problémů: - 5 Vysoká - 6 Střední - 4 Slabý - 9 Informační Všechny problémy byly úspěšně vyřešeny týmem Citrea.

Celou zprávu o auditu naleznete zde:

Infrastruktura rollupu společnosti Citrea nyní prochází veřejnou auditorskou soutěží se společností @cantinaxyz! $80,000+ v odměnách k mání, které poběží do 15. srpna: