Новый приватный пул Zcash Ironwood будет использовать формальную верификацию для устранения невидимых уязвимостей, ведущих к несанкционированной эмиссии.
По данным Odaily, команда разработчиков Zcash объявила о плане внедрить формальную верификацию через новый приватный пул Ironwood, чтобы математически доказать устранение риска «невидимого выпуска дополнительных монет (Undetectable Counterfeiting)».
Ранее сообщалось, что уязвимость в пуле Orchard была устранена, и нет доказательств её эксплуатации, но из-за невозможности теоретически подтвердить по истории блокчейна факт скрытого дополнительного выпуска монет, сообщество решило запустить новый приватный пул Ironwood и провести комплексную формальную верификацию его протокола.
Дисклеймер: содержание этой статьи отражает исключительно мнение автора и не представляет платформу в каком-либо качестве. Данная статья не должна являться ориентиром при принятии инвестиционных решений.
Вам также может понравиться
Fundstrat заявил, что bitcoin может испытать волатильность более чем на 30%.
SMTC и MRVL перед публикацией финансовых отчетов получили рекомендацию "покупать" от UBS: долгосрочный потенциал AI одобрен
SMTC и Marvell Technology (MRVL.US) опубликуют свои квартальные результаты соответственно 25 августа и 27 августа.

Первая инвестиция в американский проект под угрозой? Сообщается, что США оказывают давление на Samsung и SK Hynix по п оводу строительства завода по производству памяти в США, Южная Корея срочно опровергает, но отказывается раскрывать детали.
Президентская резиденция Южной Кореи Чхонвадэ недавно опровергла сообщение местных СМИ о том, что правительство обсуждает с США определение проекта в сфере полупроводников в качестве первого инвестиционного проекта в рамках обещания инвестировать в США 3500 миллиардов долларов.

