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

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

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