Zcash принимает формальную верификацию для обновления Ironwood

2 мин чтения

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

Ironwood будет формально верифицировать спецификации, чтобы предотвратить невидимое подделывание.