Основатель ZODL: Уязвимость ZEC не связана с недостатками базовой криптографии или движка генерации доказательств
По сообщению Jinse Finance, 5 июня ZEC резко упал на 30% из-за уязвимости неограниченной подделки в пуле Orchard. Основатель ZODL Josh Swihart написал, что уязвимость Orchard заключалась в одной из правил, которое было написано слишком либерально, что позволяло принимать ложную информацию и все же проходить верификацию. Из-за этого движок мог ошибочно считать фальшивые транзакции действительными. На самом деле, кто-то мог подделать ZEC в пуле Orchard. Это дефект в ручных правилах, а не в базовой криптографии или в движке генерации доказательств. Вопрос в том, как гарантировать, что проблема не повторится. Лучший ответ — формальная верификация. Сейчас Tachyon разрабатывается с применением формальной верификации, используя более лаконичное и унифицированное руководство по правилам. По сравнению с Orchard, здесь меньше особых случаев и сложных деталей, что позволяет полностью математически проверить всё руководство по правилам. Несколько команд уже приступили к формальной верификации существующих цепей Orchard. Если верификация пройдет успешно, то до запуска Tachyon запуск второго пула Orchard в ближайшее время может быть наилучшим вариантом. Tachyon проще, но формально проверенный пул Orchard может быть эффективной промежуточной мерой.
Дисклеймер: содержание этой статьи отражает исключительно мнение автора и не представляет платформу в каком-либо качестве. Данная статья не должна являться ориентиром при принятии инвестиционных решений.
Вам также может понравиться
МВФ: к 2029 году глобальный долг превысит ВВП
Последний прогноз IMF показывает, что к 2029 году глобальный государственный долг превысит 100% ВВП, что на два года раньше прежних ожиданий. Глава IMF в редкой форме прямо предупредила о "неустойчивом" долговом пути США, отметив серьёзное отставание многих стран в фискальной реструктуризации. Более опасно то, что продолжающаяся инфляция может вынудить Федеральную резервную систему продолжить повышение ставок, увеличивая стоимость финансирования и формируя "порочный круг высоких долгов, высоких ставок и ещё более высоких долгов".
Сообщается, что в следующем году производство HBM4/HBM4E у Samsung может удвоиться, а доля этих продуктов увеличится с 40% до 80%.
Samsung делает ставку на обновление чипов памяти с искусственным интеллектом: в следующем году выпуск серии HBM4 может как минимум удвоиться, общий месячный объем производства HBM увеличится почти на 40%, а доля поставок высококачественных продуктов возрастет с 40% до 80%. Спрос на стеклянные подложки за два года увеличился в 5 раз — это отражает ускоренное расширение производства по технологии высоких стэков, и заказы в цепочке поставок одновременно выигрывают.
Цены на крипто
Далее
