Исследователи Zcash
ZEC$494.88-4.70% опубликовали более 2 700 машинно-проверенных теорем, которые полностью исключают возможность существования необнаружимых ошибок подделки монет в новом протоколе Ironwood. Любой потенциальный баг, позволяющий чеканить Zcash без ведома сети, будет гарантированно найден на этапе формальной верификации.
Как формальная верификация Ironwood исключает скрытую подделку монет
Ironwood — это последнее обновление консенсусного протокола Zcash, которое вводит новый механизм доказательств с нулевым разглашением — zero-knowledge proofs. В отличие от традиционных аудитов безопасности, проверяющих код вручную, формальная верификация использует математические теоремы, чтобы доказать корректность работы программы для всех возможных сценариев.
Напомним, что ранее Zcash заблокировал пул на $1,7 млрд из-за уязвимости чеканки, активной с 2021 года.
Исследователи Zcash применили этот подход к ключевым компонентам Ironwood, связанным с проверкой транзакций. Каждая из 2 700 теорем была автоматически проверена специальным программным обеспечением, которое подтвердило, что ни один из возможных путей выполнения кода не приводит к созданию неучтённых монет.
Почему скрытая подделка — главная угроза для анонимных блокчейнов
Главная угроза для любого анонимного блокчейна — это так называемая «скрытая подделка» (undetectable counterfeiting), при которой злоумышленник может создать фальшивые монеты, не нарушая видимых правил консенсуса. В обычных блокчейнах такой баг может оставаться незамеченным годами, пока не будет случайно обнаружен или не приведёт к катастрофическим последствиям.
Обновление Ironwood было анонсировано как замена скомпрометированного пула Orchard, о чём сообщалось ранее.
Формальная верификация Ironwood гарантирует, что ни один скрытый путь подделки монет не останется незамеченным при проверке кода.
Для пользователей Zcash это означает принципиально иной уровень доверия: безопасность протокола подкреплена не просто аудитом, а математическим доказательством. Любое будущее обновление кода потребует повторного прохождения той же процедуры верификации, что делает Zcash одним из самых формально защищённых блокчейнов в индустрии.
Как публикация 2 700 теорем повлияет на индустрию приватных блокчейнов
Zcash с момента запуска в 2016 году фокусируется на приватных транзакциях, используя технологию zk-SNARKs — разновидность доказательств с нулевым разглашением. Ironwood — это эволюция их протокола, которая должна повысить как производительность, так и безопасность сети. Публикация 2 700 теорем — результат многомесячной работы исследовательской команды, стремящейся устранить любые теоретические риски, связанные с математическими уязвимостями.
Ранее разработчики Zcash также представили узел Zakura, способный обрабатывать до 50 000 транзакций в секунду, о чём мы писали.
Подход Zcash к формальной верификации может стать стандартом для других конфиденциальных блокчейнов. Если технология докажет свою эффективность на практике, регуляторы и институциональные инвесторы получат дополнительный аргумент в пользу использования приватных криптовалют, поскольку математическая гарантия безопасности снижает операционные риски.
Остаётся открытым вопрос, как быстро другие проекты последуют примеру Zcash и внедрят аналогичные методы верификации. Пока что Ironwood остаётся одним из немногих протоколов, чья безопасность подтверждена не только кодом, но и строгими математическими теоремами.