Первый запуск ZK Rollup для Bitcoin близок! Sigma Prime (@sigp_io) завершила частный аудит моста Clementine на основе BitVM от Citrea. Это будет первый мост Bitcoin с минимизацией доверия к полностью программируемой среде. Критических уязвимостей не найдено 🧵
Sigma Prime провела частные аудиты Clementine: • Реализация Signer: Субъекты, которые обеспечивают соблюдение правил расходования BitVM. • Реализация Operator: Субъекты, стремящиеся к прибыли, которые облегчают вывод средств. • Musig2: Создание мультиподписных кошельков на Bitcoin.
• Оптимистичный легкий клиент Bitcoin: прикрепляет сжатое доказательство цепочки заголовков zk-SNARK, показывающее более тяжелую цепь. Это доказательство становится входом для вызовов.
В ходе частного аудита было выявлено всего 36 проблем: - 2 Высокие - 13 Средние - 13 Низкие - 8 Информационных Все проблемы были успешно решены командой Citrea.
Полный отчет можно найти здесь:
С помощью Clementine Биткойн получит первый мост, правила которого будут обеспечиваться сетью Биткойн с присутствием как минимум одной честной стороны, к программируемой глобальной платформе. Clementine вскоре войдет в фазу публичного аудита конкуренции. Следите за новостями 🍊
10,42K