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

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

Sigma Prime провела частные аудиты Citrea: • EVM: Исполнительный движок Citrea, используемый STF и цепями. • Цикл доказательства легкого клиента: Генерирует рекурсивный SNARK, который сжимает заголовки, обязательства и пакетные доказательства в одно доказательство легкого клиента.

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

Полный отчет об аудите можно найти здесь:

Инфраструктура роллапов Citrea сейчас проходит публичный конкурс аудита с @cantinaxyz! Более $80,000 в наградах на кону, конкурс продлится до 15 августа: