Citrea створює перший ролап для Bitcoin. Наша унікальна кодова база пройшла аудит. Наразі приватний аудит інфраструктури ролапу Citrea завершила компанія Sigma Prime (@sigp_io). Критичних вразливостей не виявлено. Ось повний звіт 🧵

Sigma Prime провела приватний аудит компанії Citrea: • Bitcoin DA: Спеціальний адаптер DA для Bitcoin, який будує та відстежує зобов'язання та докази Citrea • Citrea STF: Критична до консенсусу логіка переходу стану, яку кожен вузол і виконавець повинні відтворювати біт за бітом.

Sigma Prime провела приватний аудит компанії Citrea: • EVM: механізм виконання Citrea, який використовується STF і схемами. • Light Client Prover Circuit: генерує рекурсивний SNARK, який стискає заголовки, зобов'язання та пакетні докази в один доказ легкого клієнта.

Загалом під час оцінки безпеки Sigma Prime було виявлено 24 проблеми: - 5 Високий - 6 Середні - 4 Низькі - 9 Інформаційні Всі питання були успішно вирішені командою Citrea.

З повним текстом звіту про аудит можна ознайомитися тут:

Зведена інфраструктура Citrea зараз проходить конкурс на публічний аудит з @cantinaxyz! Розігруються винагороди на суму $80 000+, які триватимуть до 15 серпня: