Новый приватный пул Zcash Ironwood будет использовать формальную верификацию для устранения невидимых уязвимостей, ведущих к несанкционированной эмиссии.
По данным Odaily, команда разработчиков Zcash объявила о плане внедрить формальную верификацию через новый приватный пул Ironwood, чтобы математически доказать устранение риска «невидимого выпуска дополнительных монет (Undetectable Counterfeiting)».
Ранее сообщалось, что уязвимость в пуле Orchard была устранена, и нет доказательств её эксплуатации, но из-за невозможности теоретически подтвердить по истории блокчейна факт скрытого дополнительного выпуска монет, сообщество решило запустить новый приватный пул Ironwood и провести комплексную формальную верификацию его протокола.
Дисклеймер: содержание этой статьи отражает исключительно мнение автора и не представляет платформу в каком-либо качестве. Данная статья не должна являться ориентиром при принятии инвестиционных решений.
Вам также может понравиться
Q достиг минимального значения 0,02 USDT за сутки, снижение за 24 часа составило 29,75%
Южнокорейский фондовый рынок упал более чем на 1%
«Большой медведь» Michael Burry: пузырь вокруг искусственного интеллекта может лопнуть «раньше, чем ожидалось», усиливает плечо, заменяя короткие позиции на пут-опционы
Майкл Бьюрри намекнул, что крах пузыря искусственного интеллекта произойдет уже следующим летом, и заменил все свои шортовые позиции по акциям Micron, Nebius, SOXX semiconductor ETF и Palantir на пут-опционы, чтобы получить более дешевое и более высокое плечо для короткой позиции. По его мнению, процветание AI строится на непроверенной гипотезе о «постоянных капитальных затратах», и если доходы не оправдают ожиданий, капитал быстро уйдет.
Цены на крипто
Далее
