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

cointelegraphОпубликовано 2026-07-29Обновлено 2026-07-29

Введение

Исследователи Zcash завершили формальную верификацию Ironwood, опубликовав машинно-проверенное доказательство, что новый экранированный пул сети не содержит необнаружимых ошибок, способных привести к подделке монет, при соблюдении заявленных криптографических предположений. Доказательство, написанное на языке Lean, содержит более 2700 теорем и потребовало более месяца работы трёх команд. Оно устанавливает свойство безопасности «целостности баланса», гарантируя, что пул не может выплатить большую сумму, чем была публично в него внесена. Работа покрывает необходимые компоненты, включая систему доказательств с нулевым разглашением, но не касается гарантий конфиденциальности. Ironwood был представлен в обновлении NU6.3 как ответ на уязвимость в старом пуле Orchard, которая теоретически позволяла подделку ZEC. Для восстановления доверия к целостности эмиссии Zcash средства при миграции из Orchard проходят через публичный контрольный пункт («турникет»), предотвращающий попадание потенциально избыточных монет в новый пул. Этот процесс также может со временем предоставить данные о возможной эксплуатации старой уязвимости.

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

Во вторник проект Tachyon сообщил, что доказательство, написанное на языке программирования Lean, включает более 2700 теорем, и на его выполнение у трех команд исследователей и криптографов ушло более месяца. Эта работа устанавливает свойство безопасности, известное как целостность баланса, призванное гарантировать, что защищенный пул не может выплатить больше стоимости, чем было публично в него внесено.

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

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

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

По теме: Почему ZEC упал на 40%, даже после того как Zcash исправил ошибку в защищенном пуле

Трендовые криптовалюты

Связанные с этим вопросы

QЧто такое формальная верификация Ironwood и какую проблему она решает?

AФормальная верификация Ironwood — это создание и проверка с помощью инструментов автоматического доказательства (на языке программирования Lean) того, что новый защищённый пул Zcash не содержит необнаружимых ошибок, позволяющих подделывать монеты (ZEC), при соблюдении заявленных криптографических допущений. Это решает проблему целостности предложения, исключая возможность незаметной подделки.

QКакое ключевое свойство безопасности доказано для Ironwood и что оно гарантирует?

AДоказанное ключевое свойство безопасности называется целостностью баланса (balance integrity). Оно гарантирует, что защищённый пул Ironwood не может вывести или выплатить большую сумму средств, чем та, которая была публично внесена в него.

QПочему Zcash потребовалось внедрять новый защищённый пул Ironwood?

AНовый пул Ironwood был внедрён в ответ на уязвимость, обнаруженную в предыдущем защищённом пуле Orchard, которая теоретически могла позволить совершать необнаружимую подделку монет ZEC. Ironwood был разработан для восстановления доверия к целостности предложения Zcash.

QКак работает механизм "турникет" при миграции средств из Orchard в Ironwood?

AПри миграции средств из старого пула Orchard в новый Ironwood все средства должны пройти через публичный контрольный пункт учёта, называемый "турникетом". Этот механизм предназначен для предотвращения попадания любых потенциально избыточных (поддельных) монет из старой системы в новый защищённый пул.

QЧто именно охватывает и что не охватывает данное формальное доказательство для Ironwood?

AФормальное доказательство охватывает компоненты, необходимые для обеспечения целостности баланса: систему доказательств с нулевым разглашением (zk-SNARKs), правила схемы (circuit rules) и учёт на уровне реестра. Доказательство не охватывает отдельные гарантии конфиденциальности, которые предоставляет протокол Ironwood.

Похожее

Японская компания, занимающаяся разработкой искусственного интеллекта, объявила о приобретении этого альткоина! Вот подробности

Японская публичная компания eole, специализирующаяся на ИИ и центрах обработки данных, объявила о стратегических инвестициях в токен $HYPE экосистемы Hyperliquid. Первоначальные вложения составили 10 млн иен (~67 тыс. долларов), с планом увеличения до 100 млн иен (~670 тыс. долларов) к концу августа. Это первая подобная инвестиция публичной компании в Японии. Компания подчеркивает, что приобретение $HYPE — не спекулятивная сделка, а часть долгосрочной корпоративной стратегии по созданию «Нео-криптобанка» (финансовой инфраструктуры нового поколения). Токен добавлен в список стратегических резервных активов вслед за биткоином. eole видит значительную будущую роль блокчейн-активов в финансовой системе и отмечает, что блокчейн Hyperliquid, построенный на архитектуре первого уровня, предлагает подходящую инфраструктуру для транзакций автономных ИИ-агентов. Компания прогнозирует рост активности ИИ-приложений в торговле цифровыми активами и автоматизированном принятии финансовых решений.

cryptonews.ru12 мин. назад

Японская компания, занимающаяся разработкой искусственного интеллекта, объявила о приобретении этого альткоина! Вот подробности

cryptonews.ru12 мин. назад

Единичные криптопроекты забрали основной доход. Что будет с остальными

Рынок криптовалют переживает глубокую консолидацию, более масштабную, чем в предыдущие медвежьи циклы. По мнению экспертов, это приведет к росту банкротств, слияний и поглощений, что в долгосрочной перспективе полезно для индустрии. Капитал стал избирательным, и проекты без востребованного продукта уходят с рынка. Статистика показывает рекордную концентрацию доходов: на долю Hyperliquid и Pump.fun приходится 67% доходов приложений в криптоиндустрии, а вместе с Ethena — почти 80%. Эта тенденция, вероятно, усилится. С начала года около 100 криптокомпаний прекратили деятельность, включая биржи и DeFi-проекты. Дополнительным фактором консолидации станет европейское регулирование MiCA, вступившее в силу с 1 июля. Новые требования, аналогичные банковским, могут вынудить небольшие компании продать бизнес или объединиться с крупными игроками. Ожидается, что рынок в Европе сместится в сторону регулируемых компаний, подобно тому, как это произошло в Швейцарии, где большинство крупных банков теперь предлагают криптоуслуги.

cryptonews.ru22 мин. назад

Единичные криптопроекты забрали основной доход. Что будет с остальными

cryptonews.ru22 мин. назад

Трейдер заработал более $1,2 млн за семь часов на мемкоине PIPEDOG

Неизвестный криптотрейдер получил нереализованную прибыль более $1,2 млн менее чем за семь часов, инвестировав в мемкоин PIPEDOG. Согласно данным Lookonchain, он купил 293,75 млн токенов за примерно $16 000 (8,39 ETH). Позже трейдер продал часть токенов (34,55 млн) за около $62 000 (32,67 ETH), зафиксировав часть прибыли. Оставшиеся 259,2 млн PIPEDOG на его кошельке оценивались примерно в $1,18 млн, хотя позднее их стоимость упала ниже $900 000. С учетом реализованной прибыли общий доход превысил $1,2 млн, что соответствует 77-кратной доходности. Успешная сделка вызвала оживленное обсуждение в соцсетях. Некоторые пользователи предположили, что трейдер мог использовать снайпер-бота для покупки токена сразу после запуска. Другие отметили сложность поиска перспективных активов до их роста. Также прозвучали напоминания, что подобные истории успеха редки на фоне множества убыточных инвестиций в мемкоины.

cryptonews.ru22 мин. назад

Трейдер заработал более $1,2 млн за семь часов на мемкоине PIPEDOG

cryptonews.ru22 мин. назад

IOTA интегрировала Pyth Pro

L1-сеть IOTA интегрировала Pyth Pro — новую инфраструктуру ценовых оракулов от децентрализованной сети Pyth. Это обновление дает разработчикам в экосистеме IOTA доступ к более чем 3000 ценовым потокам институционального уровня с уменьшенной задержкой и повышенной скоростью обновления данных. Ранее IOTA использовала старую инфраструктуру Pythnet, данные через которую передавались мостом Wormhole. Сейчас Pyth поэтапно выводит Pythnet из эксплуатации, переводя все поддерживаемые блокчейны, включая IOTA, на новую платформу Pyth Pro. Разработчикам экосистемы IOTA необходимо подключить тариф Pyth Pro и обновить интеграции своих приложений. Миграция должна быть завершена до 18 августа. После этой даты старые ценовые потоки Pyth Core перестанут функционировать, и проекты, не перешедшие на Pyth Pro, потеряют доступ к рыночным данным.

cryptonews.ru42 мин. назад

IOTA интегрировала Pyth Pro

cryptonews.ru42 мин. назад

K3 Capital запускает ончейн-кредитование Galaxy

K3 Capital, инвестиционная компания, специализирующаяся на DeFi, запустила ончейн-кредитную линию для финансовой компании Galaxy в сети Monad на базе платформы Accountable, обеспечивающей криптографическую проверку данных в блокчейне. От инвесторов привлечено $30 млн, с планами увеличить объем до $100 млн по мере подключения новых поставщиков ликвидности. Кредитная линия работает на основе пула в AUSD, где инвесторы вносят средства, K3 Capital управляет капиталом, а Galaxy получает заемное финансирование. Все операции, состояние займов и выплаты процентов можно проверить в блокчейне через Accountable. Продукт предназначен для институциональных инвесторов. Займы предоставляются на 90 дней с возможностью продления, а инвесторы могут ежемесячно выводить до 30% своих средств. Участники также получают токенизированные доли в пуле, которые можно использовать в других DeFi-протоколах Monad для получения дополнительной доходности или в сервисах вторичного кредитования.

cryptonews.ru42 мин. назад

K3 Capital запускает ончейн-кредитование Galaxy

cryptonews.ru42 мин. назад

Торговля

Спот

Популярные статьи

Что такое DOGE M

Doge Matrix ($doge m): Новая порода криптовалюты, управляемой сообществом Введение В постоянно развивающемся мире криптовалют новые проекты постоянно появляются, каждый из которых стремится привлечь интерес инвесторов и энтузиастов. Одним из последних участников этой области является Doge Matrix, представленный тикером $doge m. Этот проект привлек внимание благодаря своим корням в популярной мем-культуре, окружающей Dogecoin, и занял свое место в пространстве web3. Эта статья направлена на предоставление всестороннего анализа Doge Matrix, охватывающего его обзор, создателя, инвесторов, функциональность, временную шкалу и примечательные аспекты. Что такое Doge Matrix ($doge m)? Doge Matrix — это проект криптовалюты, управляемый сообществом, который, по-видимому, основывается на широкой привлекательности Dogecoin, цифровой валюты, известной своим маскотом Шиба Ину и мем-истоками. Хотя общие цели Doge Matrix не определены в широком смысле, он характеризуется стремлением к вовлечению и поддержке сообщества. В отличие от традиционных криптовалют, которые часто подчеркивают полезность или внутреннюю ценность через базовые технологии, Doge Matrix позиционирует себя в пространстве, которое охватывает культурный феномен криптовалют, особенно привлекая тех, кто резонирует с этосом активов на основе мемов. Опираясь на сильные стороны сообщества Dogecoin, Doge Matrix функционирует как часть более широкой экосистемы, приглашая участие и вовлеченность пользователей, которые разделяют интерес к криптовалюте и цифровому пространству. Кто является создателем Doge Matrix ($doge m)? Личность создателя Doge Matrix остается неизвестной. Эта нехватка прозрачности не является редкостью в пространстве криптовалют, где некоторые проекты запускаются без раскрытия личностей своих основателей. Отсутствие информации о команде основателей может вызывать вопросы у потенциальных инвесторов о подотчетности и направлении проекта. Кто являются инвесторами Doge Matrix ($doge m)? На данный момент нет общедоступной информации, подробно описывающей инвесторов или инвестиционные фонды, поддерживающие Doge Matrix. Проект, похоже, в основном полагается на поддержку сообщества, а не на институциональные инвестиции. Эта модель соответствует управляемой сообществом природе инициативы, способствуя созданию среды, в которой направление проекта формируется его участниками, а не диктуется избранными финансовыми спонсорами. Как работает Doge Matrix ($doge m)? Специфика операционных механизмов Doge Matrix несколько расплывчата, отражая более широкую тенденцию проектов в пространстве мем-коинов, где инновационные функции не всегда четко сформулированы. Тем не менее, Doge Matrix, похоже, разработан для того, чтобы использовать существующую экосистему криптовалют, поощряя участие пользователей и опираясь на знакомые культурные ссылки, связанные с Dogecoin. Его потенциально уникальные характеристики происходят от взаимодействий сообщества, а не от технологических достижений, подчеркивая общие переживания и сотрудничество среди держателей токенов. Хотя точные инновации не были явно изложены, проект, похоже, создает пространство, где члены сообщества могут взаимодействовать, делиться идеями и продвигать потенциал проекта вперед. Временная шкала Doge Matrix ($doge m) Обзор временной шкалы проекта выявляет значимые события, которые определили его путь до сих пор: 25 ноября 2024 года: Doge Matrix достиг своего исторического максимума, что стало значительной вехой в его ранней истории. 1 января 2025 года: Напротив, Doge Matrix достиг своего исторического минимума, иллюстрируя волатильность, часто ассоциируемую с криптовалютами, особенно на ранних стадиях жизненного цикла проекта. В процессе: Проект продолжает активно торговаться и поддерживаться своим сообществом, хотя конкретные будущие вехи или цели еще не были раскрыты. Ключевые моменты о Doge Matrix ($doge m) Ориентированность на сообщество В центре Doge Matrix лежит стремление к вовлечению сообщества. Проект процветает на основе сотрудничества и общих целей среди своих участников, подчеркивая важность коллективных усилий. В отличие от централизованных проектов, которые часто имеют четкую структуру руководства, Doge Matrix в настоящее время демонстрирует более гибкий подход к управлению, где голос каждого члена сообщества имеет значение. Волатильность Криптовалютный рынок известен своей волатильностью, и Doge Matrix не является исключением. Его история цен отражает значительные колебания между высокими и низкими значениями, что типично для многих новых криптовалют, но подчеркивает риски, связанные с инвестициями в новые токены. Нехватка детальной информации Одной из самых поразительных особенностей Doge Matrix является нехватка детальной информации о его технологических основах и операционных механизмах. Эта неопределенность требует от потенциальных инвесторов проведения тщательной проверки перед взаимодействием с проектом. Заключение В заключение, Doge Matrix ($doge m) иллюстрирует новую волну проектов криптовалют, которые сильно полагаются на вовлечение сообщества и культурную значимость. Хотя проект и не хватает некоторых конкретных деталей — таких как четкое руководство, определенные цели и детальная функциональность — он сумел вызвать интерес в крипто-сообществе, используя установленную привлекательность мем-культуры. Как и в случае с любыми инвестициями в пространстве криптовалют, понимание присущих рисков и проведение комплексного исследования являются необходимыми для потенциальных участников. Doge Matrix служит напоминанием о динамичной, иногда непредсказуемой природе криптоиндустрии, отмеченной постоянной эволюцией и энтузиазмом в отношении инициатив, управляемых сообществом.

762 просмотров всегоОпубликовано 2025.02.03Обновлено 2025.02.03

Что такое DOGE M

Что такое $M

Понимание Mantis ($M): Новая эра в кросс-цепной интероперабельности В постоянно развивающемся ландшафте Web3 и криптовалют новые проекты стремятся предложить инновационные решения, направленные на улучшение пользовательского опыта и расширение функциональных возможностей в рамках децентрализованной финансовой экосистемы. Один из таких проектов, привлекающих внимание, — Mantis ($M), пионерский протокол, основанный на принципах кросс-цепной интероперабельности и расчетов на основе намерений. Эта статья углубляется в основные аспекты Mantis, включая его основную функциональность, создателей, инвестиционную поддержку, инновационные функции и ключевые вехи. Что такое Mantis ($M)? Mantis описывается как протокол расчетов по намерениям в нескольких доменах, который упрощает кросс-цепные взаимодействия, позволяя пользователям без труда выполнять сложные финансовые транзакции на различных блокчейн-платформах. Протокол работает через три основных уровня: Выражение намерений: Пользователи могут формулировать свои цели транзакций на естественном языке с помощью DISE LLM, продвинутой модели AI. Например, пользователь может выразить желание обменять Ethereum (ETH) на Solana (SOL) с определенной допустимой проскальзыванием в 1%. Исполнение: Этот уровень использует сеть решателей, которые конкурируют за выполнение намерений пользователей. Транзакции выполняются с использованием таких механизмов, как совпадение желаний (CoWs) и аукционы потока заказов (OFAs), которые обеспечивают оптимальное удовлетворение потребностей пользователей. Расчет: Используя протокол межблокчейн-коммуникации (IBC), Mantis позволяет атомарные кросс-цепные транзакции, позволяя пользователям работать на различных поддерживаемых цепях, включая Ethereum, Solana и Cosmos. Mantis разработан для введения родного генерации дохода для неактивных активов, используя криптографические доказательства для поддержания целостности транзакций на протяжении всего процесса. Создатели и команда разработки Mantis был задуман Composable Foundation, исследовательской организацией, известной своим акцентом на решениях для блокчейн-интероперабельности. Этот фонд сотрудничает с уважаемыми академическими учреждениями, включая Гарвардский университет и Университет Лиссабона, внося вклад в обширные исследования и разработки, которые информируют архитектуру и функциональность Mantis. Обязательство Composable Foundation по содействию инновациям в области блокчейна позиционирует Mantis как надежное решение для растущего спроса на интероперабельность среди множества блокчейн-сетей. Инвесторы и поддержка Хотя конкретные детали о частных инвесторах не были публично раскрыты, Mantis пользуется значительной поддержкой от различных организаций, включая: Гранты экосистемы от цепей с поддержкой IBC, которые поддерживают рост протокола и его интеграцию в экосистемы децентрализованных финансов. Стратегические партнерства с поставщиками инфраструктуры, которые усиливают сетевые возможности Mantis и стратегии развертывания. Финансирование через казну Composable Foundation, обеспечивая устойчивую финансовую поддержку для продолжающейся разработки и операционных расходов. Эти совместные усилия отражают консенсус среди заинтересованных сторон о важности улучшения кросс-цепной функциональности и потенциальной полезности инфраструктурных инноваций Mantis. Ключевые инновации Mantis выделяется благодаря нескольким пионерским инновациям, которые улучшают его функциональность и полезность: Независимые от цепи намерения: Пользователи могут инициировать транзакции с любой поддерживаемой цепи, при этом расчет происходит на другой. Эта гибкость дает пользователям больше возможностей, способствуя увеличению взаимодействия между различными платформами. Интерфейс на базе AI: Интеграция DISE LLM позволяет пользователям проводить сложные операции DeFi на естественном языке, тем самым упрощая взаимодействия и делая технологии блокчейн доступными для более широкой аудитории. Кросс-доменное захватывание MEV: Mantis создает внутренний рынок для максимальной извлекаемой ценности (MEV) через конкуренцию между решателями. Этот инновационный подход позволяет достичь большей эффективности и извлечения ценности в сложных транзакциях. Модульный уровень расчетов: Протокол поддерживает различные методы верификации, включая нулевые доказательства и оптимистичные роллапы, предоставляя универсальную структуру, которая может адаптироваться к новым технологиям блокчейна. Историческая хронология Разработка Mantis отмечена несколькими критическими вехами, которые определяют его траекторию и рост: | Год | Веха | |————|———————————————————————–| | 2022 | Начальная разработка концепции в исследовательском подразделении Composable Foundation. | | Q3 2024 | Запуск тестовой сети с возможностями мостов между Solana и Ethereum. | | Q1 2025 | Ожидаемое событие генерации токенов (TGE) наряду с запуском основной сети. | | Q2 2025 | Ожидаемая интеграция DISE LLM и расширение кросс-цепных возможностей. | | 2025 H2 | Запланированная поддержка более 15 цепей через дальнейшие обновления IBC. | Эта хронология описывает эволюцию Mantis, от концептуальных обсуждений до активной реализации и будущих этапов роста. Стратегия роста экосистемы Стратегия Mantis по росту экосистемы включает несколько инициатив, направленных на поощрение участия пользователей и вовлечения разработчиков: Система кредитов: Пользователи могут зарабатывать кредиты протокола, предоставляя ликвидность и участвуя в реферальных программах. Эти кредиты можно будет обменять на стимулы в будущем, способствуя формированию активного сообщества пользователей. Модульный комплект для разработки программного обеспечения (SDK): Этот инструмент позволяет разработчикам создавать приложения на основе моделей, управляемых намерениями, используя инфраструктуру Mantis, тем самым способствуя инновациям в его экосистеме. Модель управления: По мере взросления протокола держатели токенов $M получат возможность участвовать в управлении протоколом, позволяя им голосовать за предлагаемые обновления и изменения, тем самым усиливая вовлеченность сообщества и децентрализацию. Mantis представляет собой значительный шаг вперед в области кросс-цепной архитектуры. Путем бесшовной интеграции продвинутых алгоритмов AI с надежной расчетной структурой Mantis стремится решить проблемы фрагментации в многоцепных экосистемах. Его инновационный подход приоритизирует улучшение пользовательского опыта, соблюдая при этом основные принципы децентрализации и безопасности, устанавливая новый стандарт для будущей интероперабельности технологий блокчейн. По мере того как Mantis продолжает свой путь роста и реализации, он обещает стать проектом, за которым стоит внимательно следить в конкурентной среде Web3 и децентрализованных финансов. С акцентом на преодоление границ и повышение вовлеченности пользователей Mantis готов стать неотъемлемой частью будущих разработок в области криптовалют.

145 просмотров всегоОпубликовано 2025.03.18Обновлено 2025.03.18

Что такое $M

Как купить M

Добро пожаловать на HTX.com! Мы сделали приобретение MemeCore (M) простым и удобным. Следуйте нашему пошаговому руководству и отправляйтесь в свое крипто-путешествие.Шаг 1: Создайте аккаунт на HTXИспользуйте свой адрес электронной почты или номер телефона, чтобы зарегистрироваться и бесплатно создать аккаунт на HTX. Пройдите удобную регистрацию и откройте для себя весь функционал.Создать аккаунтШаг 2: Перейдите в Купить криптовалюту и выберите свой способ оплатыКредитная/Дебетовая Карта: Используйте свою карту Visa или Mastercard для мгновенной покупки MemeCore (M).Баланс: Используйте средства с баланса вашего аккаунта HTX для простой торговли.Третьи Лица: Мы добавили популярные способы оплаты, такие как Google Pay и Apple Pay, для повышения удобства.P2P: Торгуйте напрямую с другими пользователями на HTX.Внебиржевая Торговля (OTC): Мы предлагаем индивидуальные услуги и конкурентоспособные обменные курсы для трейдеров.Шаг 3: Хранение MemeCore (M)После приобретения вами MemeCore (M) храните их в своем аккаунте на HTX. В качестве альтернативы вы можете отправить их куда-либо с помощью перевода в блокчейне или использовать для торговли с другими криптовалютами.Шаг 4: Торговля MemeCore (M)С легкостью торгуйте MemeCore (M) на спотовом рынке HTX. Просто зайдите в свой аккаунт, выберите торговую пару, совершайте сделки и следите за ними в режиме реального времени. Мы предлагаем удобный интерфейс как для начинающих, так и для опытных трейдеров.

1.3k просмотров всегоОпубликовано 2025.07.02Обновлено 2026.06.02

Как купить M

Обсуждения

Добро пожаловать в Сообщество HTX. Здесь вы сможете быть в курсе последних новостей о развитии платформы и получить доступ к профессиональной аналитической информации о рынке. Мнения пользователей о цене на M (M) представлены ниже.

活动图片