Zcash says Ironwood proof rules out undetectable counterfeiting bugs

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

Введение

Zcash researchers have completed formal verification of Ironwood, a new shielded pool introduced via the NU6.3 upgrade. They published a machine-checked proof, written in Lean and comprising over 2,700 theorems, that establishes the pool's "balance integrity." This proof confirms that, under its cryptographic assumptions, Ironwood cannot contain undetectable counterfeiting bugs, ensuring it cannot pay out more value than has publicly entered it. The verification, which took multiple teams over a month, covers the zero-knowledge proof system, circuit rules, and ledger accounting but not Ironwood's separate privacy guarantees. Ironwood was created in response to a theoretical vulnerability in the older Orchard pool that could have allowed undetectable counterfeiting, though there's no evidence of exploitation. Funds migrating from Orchard must pass through a public "turnstile" checkpoint, designed to prevent any hypothetical excess coins from entering the new pool and to provide evidence on whether the old pool was exploited.

Zcash researchers have completed formal verification of Ironwood, publishing a machine-checked proof that the network’s new shielded pool does not contain undetectable counterfeiting bugs under its stated cryptographic assumptions.

On Tuesday, Project Tachyon said that the proof, written in the Lean programming language, comprises over 2,700 theorems and took three teams of researchers and cryptographers over a month to complete. The work establishes a security property known as balance integrity, designed to ensure the shielded pool cannot pay out more value than has publicly entered it.

The researchers said the proof covers the components needed for that property, including Ironwood’s zero-knowledge proof system, circuit rules and ledger-level accounting. It does not cover Ironwood’s separate privacy guarantees.

Ironwood was introduced through Zcash’s NU6.3 upgrade in response to a vulnerability discovered in its Orchard shielded pool that could theoretically have enabled undetectable ZEC counterfeiting. Zcash developers said they found no evidence that the flaw had been exploited. The new pool was designed to restore confidence in Zcash’s supply integrity.

Funds migrating from Orchard must pass through a public accounting checkpoint known as a turnstile, which is designed to prevent any hypothetical excess coins from entering Ironwood. As funds leave Orchard, the process could also provide growing evidence about whether the old pool was exploited.

Related: Why ZEC fell 40% even after Zcash patched a shielded pool bug

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

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

QWhat is the main security property formally verified for Ironwood, and what does it guarantee?

AThe main security property formally verified for Ironwood is 'balance integrity'. It guarantees that the shielded pool cannot pay out more value than has publicly entered it, ruling out undetectable counterfeiting under the stated cryptographic assumptions.

QWhat was the catalyst for the development of the Ironwood shielded pool in Zcash?

AIronwood was developed and introduced through Zcash's NU6.3 upgrade in direct response to a vulnerability discovered in the older Orchard shielded pool, which could theoretically have enabled undetectable ZEC counterfeiting. It was designed to restore confidence in Zcash's supply integrity.

QHow was the formal verification proof for Ironwood created and how extensive was it?

AThe formal verification proof was written in the Lean programming language. It comprises over 2,700 theorems and took three separate teams of researchers and cryptographers over a month to complete.

QDoes the formal verification proof cover Ironwood's privacy guarantees? What components does it primarily cover?

ANo, the proof does not cover Ironwood's separate privacy guarantees. It primarily covers the components needed for the balance integrity property, including Ironwood’s zero-knowledge proof system, circuit rules, and ledger-level accounting.

QWhat mechanism is used to ensure funds migrating from the old Orchard pool to Ironwood cannot introduce counterfeit coins?

AFunds migrating from the Orchard pool to Ironwood must pass through a public accounting checkpoint called a 'turnstile'. This mechanism is designed to prevent any hypothetical excess or counterfeit coins from the old pool from entering the new Ironwood shielded pool.

Похожее

NEAR внедрила оплату ИИ через стейкинг

NEAR AI, платформа для конфиденциальных вычислений и автономных ИИ-агентов, представила новый способ оплаты вычислительных ресурсов для искусственного интеллекта через стейкинг токенов $NEAR. Вместо традиционной подписки с банковской картой пользователи могут заблокировать определенное количество $NEAR, получая ежемесячные вычислительные кредиты, объем которых зависит от суммы в стейкинге. При этом токены не списываются и остаются во владении пользователя, а после выхода из стейкинга могут быть возвращены на кошелек, при этом объем застейканных средств можно гибко регулировать в зависимости от потребностей. Механизм поддерживает 43 модели на платформе, включая решения от Anthropic, OpenAI и Google, и ориентирован на конфиденциальную обработку запросов и работу автономных агентов. Это решение стало первым практическим применением концепции «AI money», предложенной NEAR, которая напрямую связывает использование ИИ-сервисов с базовым криптоактивом сети.

cryptonews.ru1 ч. назад

NEAR внедрила оплату ИИ через стейкинг

cryptonews.ru1 ч. назад

Плохие новости для тех, кто ожидает крупного обвала биткоина (BTC): известный аналитик высказался по этому поводу очень четко!

Известный криптоаналитик Килла высказался против ожиданий значительного обвала биткоина (BTC). По его мнению, ведущая криптовалюта, торгующаяся около $64 000, достигла дна, и резкого падения до $36 000–48 000, которого опасаются многие инвесторы, не произойдет. Аналитик указывает, что в прошлых медвежьих циклах BTC формировал три ключевых минимума, и текущая ситуация, включая недавнее снижение до ~$59 000 и формирование бычьей дивергенции, говорит об укреплении рынка. Он считает, что условия для глубокого спада исчезли. Сейчас, по оценке эксперта, биткоин вошел в фазу накопления с важной нижней границей около $57 000. Хотя возможны краткосрочные падения ниже этого уровня, они не ознаменуют начало нового медвежьего тренда. Основываясь на исторических паттернах, аналитик заключает, что продолжительное и резкое снижение до диапазона $36 000–48 000 не соответствует текущей рыночной структуре, и если бы такая волна падения планировалась, она уже началась бы.

cryptonews.ru1 ч. назад

Плохие новости для тех, кто ожидает крупного обвала биткоина (BTC): известный аналитик высказался по этому поводу очень четко!

cryptonews.ru1 ч. назад

Акции падают сильнее, чем криптовалюта. Куда ушли деньги?

В конце июля южнокорейский фондовый рынок пережил историческое падение: индекс Kospi дважды сработал на остановку торгов, откатившись на 40% от пиков июня. Особенно пострадали полупроводниковые акции, такие как SK Hynix, чьи отличные, но не оправдавшие максимальных ожиданий результаты спровоцировали обвал. Ещё сильнее упали связанные с ними leveraged ETF, один из которых потерял 83% за месяц. Парадоксально, но в это же время биткоин, известный высокой волатильностью, показал относительную стабильность, даже немного вырос. Автор объясняет это не притоком «уклоняющихся» от акций денег, а тем, что биткоин уже пережил собственное сильное падение в мае-июне, когда инвесторы массово выводили средства из биткоин-ETF. Таким образом, к моменту кризиса на фондовом рынке продавцы в криптосфере уже истощились. Основная причина обвала — глобальное принудительное снижение левериджа (делеверидж) на самых перегретых направлениях, в первую очередь в AI и полупроводниках. Катализаторами стали не совсем идеальные отчёты компаний, выход на IPO китайского конкурента в производстве памяти и давление от сворачивания «кэрри-трейда» в японской иене. Настоящим убежищем для капитала в этой ситуации стало золото, цена которого значительно выросла. Биткоин же, по данным корреляции, перестал восприниматься институтами как «цифровое золото» и остаётся активом для роста с высокой долей риска. Вывод: деньги с фондового рынка не ушли в биткоин. Они ушли в наличность, гособлигации и золото. Биткоин просто уже пережил свою фазу распродаж раньше. Для его устойчивого роста нужны три условия: смягчение глобальной ликвидности, снижение ставок ФРС без рецессии и принятие чёткой регуляции (CLARITY Act). Его текущая низкая корреляция с Nasdaq может в будущем сделать его привлекательным для диверсификации портфелей, но только после окончания общей рыночной бури.

marsbit2 ч. назад

Акции падают сильнее, чем криптовалюта. Куда ушли деньги?

marsbit2 ч. назад

Торговля

Спот

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

Что такое 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 служит напоминанием о динамичной, иногда непредсказуемой природе криптоиндустрии, отмеченной постоянной эволюцией и энтузиазмом в отношении инициатив, управляемых сообществом.

797 просмотров всегоОпубликовано 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 готов стать неотъемлемой частью будущих разработок в области криптовалют.

176 просмотров всегоОпубликовано 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) представлены ниже.

活动图片