Новый приватный пул Zcash Ironwood будет использовать формальную верификацию для устранения невидимых уязвимостей, ведущих к несанкционированной эмиссии.
По данным Odaily, команда разработчиков Zcash объявила о плане внедрить формальную верификацию через новый приватный пул Ironwood, чтобы математически доказать устранение риска «невидимого выпуска дополнительных монет (Undetectable Counterfeiting)».
Ранее сообщалось, что уязвимость в пуле Orchard была устранена, и нет доказательств её эксплуатации, но из-за невозможности теоретически подтвердить по истории блокчейна факт скрытого дополнительного выпуска монет, сообщество решило запустить новый приватный пул Ironwood и провести комплексную формальную верификацию его протокола.
Дисклеймер: содержание этой статьи отражает исключительно мнение автора и не представляет платформу в каком-либо качестве. Данная статья не должна являться ориентиром при принятии инвестиционных решений.
Вам также может понравиться
Производительность в Великобритании была "недооценена"! С момента финансового кризиса темпы роста пересмотрены до 1,3%, почти в два раза выше предыдущих показателей.
Британское национальное статистическое управление (ONS) в четверг объявило о новом методе расчета, который показал, что п роизводительность в Великобритании после глобального финансового кризиса была выше, чем предполагалось ранее, поскольку специалисты обнаружили, что раньше переоценивали количество рабочих часов населения.
KKR и Blackstone участвуют в приобретении GFL Environmental (GFL.US), сделка может стать одной из крупнейших левериджированных покупок года.
Эта сделка может стать одной из крупнейших сделок с использованием заемных средств в этом году.
Доля убыточных держателей Bitcoin снижается
Экспорт инновационных лекарств: почему этот двухнедельный период так важен?
Цены на крипто
Далее
