Новый приватный пул Zcash Ironwood будет использовать формальную верификацию для устранения невидимых уязвимостей, ведущих к несанкционированной эмиссии.

По данным Odaily, команда разработчиков Zcash объявила о плане внедрить формальную верификацию через новый приватный пул Ironwood, чтобы математически доказать устранение риска «невидимого выпуска дополнительных монет (Undetectable Counterfeiting)».

Ранее сообщалось, что уязвимость в пуле Orchard была устранена, и нет доказательств её эксплуатации, но из-за невозможности теоретически подтвердить по истории блокчейна факт скрытого дополнительного выпуска монет, сообщество решило запустить новый приватный пул Ironwood и провести комплексную формальную верификацию его протокола.