Zcash принимает формальную верификацию для обновления Ironwood
Разработчики Zcash перешли к формальной верификации для сетевого обновления Ironwood после недавно опубликованной бухгалтерской неточности в приватном пуле Orchard, которая выявила ограничения обычных аудитов. Уязвимость, обнаруженная исследователем Shielded Labs Тейлором Хорни, была исправлена до известного использования. Команда говорит, что невидимое подделывание происходит из-за ошибок в спецификации или криптографических предположениях, а не багов реализации, и сосредотачивает доказательства на криптографической спецификации Ironwood с использованием теоремного доказателя Lean, с участием zkSecurity и Лаборатории открытой разработки Zcash. Ironwood закроет старый пул Shielded, запустит исправленный заменяющий пул и применит миграцию через турникет, чтобы продемонстрировать целостность поставок при активации в июле 2026 года.
Ironwood будет формально верифицировать спецификации, чтобы предотвратить невидимое подделывание.
Контекст
В приватном пуле Orchard обнаружена уязвимость и исправлена до эксплуатации. Разработчики теперь доказывают криптографическую спецификацию Ironwood формальными методами. Ожидается, что Ironwood активируется в июле 2026 года и будет…
Полный анализ
19 параметров этой новости — мировое влияние, оценка рынка и что будет дальше.
- Полный контекстЗаблокировано
- Затронутые отраслиЗаблокировано
- Влияние на биржуЗаблокировано
- Экономический показательЗаблокировано
- Значимость для инвесторовЗаблокировано
- Профессиональная значимостьЗаблокировано
- На что обратить вниманиеЗаблокировано
- Вероятность измененийЗаблокировано
- Спорные моментыЗаблокировано
- Необходимые базовые знанияЗаблокировано
- Вопросы для дальнейшего изученияЗаблокировано
- Плюсы и минусыЗаблокировано