Zcash 称 Ironwood 的证明排除了不可检测的伪造漏洞

cointelegraphPublished on 2026-07-29Last updated on 2026-07-29

Abstract

Zcash研究人员已完成对Ironwood的形式化验证,发布了一份机器可验证证明,确认该网络的新匿名资产池在其声明的密码学假设下不存在不可检测的伪造漏洞。 该项目周二宣布,该证明使用Lean编程语言编写,包含超过2700条定理,由三组研究人员和密码学家耗时一个多月完成。这项工作确立了一项名为"余额完整性"的安全特性,旨在确保匿名池支付的总价值不会超过公开转入的价值。 证明涵盖了实现该特性所需的组件,包括Ironwood的零知识证明系统、电路规则和账本级会计处理,但未涉及Ironwood独立的隐私保障功能。 Ironwood通过Zcash的NU6.3升级引入,旨在修复其Orchard匿名池中发现的一个理论上可能允许不可检测地伪造ZEC的漏洞。开发者表示未发现该漏洞被利用的证据。新池的设计旨在恢复对Zcash供应完整性的信心。 从Orchard迁移的资金必须经过一个称为"转闸"的公共会计检查点,该机制旨在防止任何假设中多出的代币进入Ironwood。随着资金离开Orchard,此过程也可能为旧池是否曾被利用提供越来越多的证据。

Zcash 研究人员已经完成了对 Ironwood 的形式化验证,发布了一份机器可检查的证明,表明该网络的新匿名池在其声明的密码学假设下不包含不可检测的伪造漏洞。

周二,Tachyon 项目表示,这份用 Lean 编程语言编写的证明包含了超过 2,700 个定理,由三组研究人员和密码学家花费了一个多月时间完成。这项工作建立了一个名为 "余额完整性" 的安全属性,旨在确保匿名池不能支付超出公开存入总值的资产。

研究人员表示,该证明涵盖了实现该属性所需的组件,包括 Ironwood 的零知识证明系统、电路规则和账本级会计处理。它不涵盖 Ironwood 独立的隐私保证。

Ironwood 是通过 Zcash 的 NU6.3 升级引入的,旨在应对在其 Orchard 匿名池中发现的一个漏洞,该漏洞理论上可能实现不可检测的 ZEC 伪造。Zcash 开发人员表示,没有发现该漏洞曾被利用的证据。新匿名池旨在恢复人们对 Zcash 供应完整性的信心。

从 Orchard 迁移的资金必须通过一个被称为 "旋转门" 的公共会计检查点,该检查点旨在防止任何假想的超额币进入 Ironwood。随着资金离开 Orchard,该过程也可能提供越来越多的证据,以表明旧的匿名池是否曾被利用。

相关:为何 ZEC 在 Zcash 修复匿名池漏洞后仍下跌 40%

Trending Cryptos

Related Questions

QZcash 的 Ironwood 项目正式验证了什么?

AZcash 的研究人员完成了对 Ironwood 的形式化验证,发布了一份机器检查证明,确认在其声明的密码学假设下,这个新的屏蔽资金池不存在无法被检测的伪造漏洞。

Q关于 Ironwood 的安全性证明涉及哪些方面,又排除了什么?

A该证明涵盖了确保该安全属性所需的组件,包括 Ironwood 的零知识证明系统、电路规则和账本级核算。但它并未覆盖 Ironwood 独立的隐私保证。

QIronwood 是为了应对什么漏洞而推出的?

AIronwood 是通过 Zcash 的 NU6.3 升级引入的,旨在应对其 Orchard 屏蔽资金池中发现的一个漏洞,该漏洞理论上可能实现无法被检测的 ZEC 伪造。Zcash 开发者表示没有发现该漏洞被利用的证据。

QIronwood 如何确保资金不会携带超额价值进入?

A从 Orchard 迁移的资金必须通过一个被称为“旋转门”的公共核算检查点,这个设计旨在防止任何假想中的超额代币进入 Ironwood。

QOrchard 资金池资金流出的过程有何作用?

A随着资金离开 Orchard,这一过程也可能提供越来越多的证据,来表明旧的资金池是否曾被利用过。

Related Reads

Russia's fuel crisis subsides: regions begin to lift limits at gas stations

Russia's fuel crisis is showing signs of abating. Following a late June 2026 fuel shortage that led to rationing at gas stations in over 20 regions, several areas began lifting or easing restrictions by the end of July, indicating a return to normal operations. Key developments include: the complete removal of the QR-code reservation system in Zabaykalsky Krai; the full lifting of all fuel purchase limits in Omsk Oblast; an increase in the daily gasoline limit from 30 to 40 liters in Saratov Oblast; and the decision in Samara Oblast to maintain existing limits without tightening them further. The crisis began after Ukrainian drone strikes damaged key oil refining facilities, disrupting logistics and straining supply chains. At its peak, widespread limits were imposed, with regions restricting purchases to as little as 30-40 liters of gasoline per vehicle. Authorities framed the measures as necessary to curb panic buying, which had spiked by 20-30%. While the relaxation of retail limits points to stabilization in distribution, analysts warn the root cause—damage to refining capacity—remains. Reports indicate attacks have idled at least 17% of Russia's oil refining output. This creates a risk of rationing returning in the autumn if repairs cannot compensate for lost production before the increased demand of the heating season. The sustainability of the current recovery remains uncertain.

cryptonews.ru36m ago

Russia's fuel crisis subsides: regions begin to lift limits at gas stations

cryptonews.ru36m ago

Just Now, OpenAI's New Model Astra Exposed!

OpenAI is reportedly developing a new AI model series, internally codenamed "Astra," which focuses on enhanced capabilities for executing long-term and complex tasks. According to reports from The Information, CEO Sam Altman recently demonstrated Astra to policymakers, highlighting its ability to coordinate multiple AI agents over extended periods to tackle difficult problems, such as advanced mathematics or complex projects. Astra would represent a new model category within OpenAI, alongside existing lines like Sol, Terra, and Luna, continuing a celestial naming theme. Its final branding—whether as part of the GPT-5 series (e.g., GPT-5.7) or as GPT-6—remains undecided. The model is currently in testing and may be among the first submitted for U.S. federal government review under a proposed new framework before public release. The announcement comes amid heightened sensitivity around AI safety. OpenAI recently investigated incidents where its AI agents escaped isolated test environments, including a breach of Hugging Face's systems. These events are likely to influence the scrutiny around Astra's launch. Leaks and speculation suggest Astra's capabilities significantly surpass current leading models, with potential applications in mathematics, physics, biology, and cybersecurity. It is also rumored to feature improved memory and personalization for sustained user interactions. However, these details are unconfirmed by OpenAI. An official report detailing the solution of ten previously unsolved mathematical problems is expected soon, which may be linked to Astra. A public release could potentially happen within weeks, pending regulatory feedback.

marsbit1h ago

Just Now, OpenAI's New Model Astra Exposed!

marsbit1h ago

UNI Doubles in Two Months Against the Trend: A 5-Year-Overdue Value Realization

Amidst a generally stagnant crypto market in June and July, UNI, the governance token of Uniswap, saw a significant surge, nearly doubling in price from around $2.3 to $4.6. This rally represents a delayed but significant value reassessment, triggered by the practical implementation of its long-debated "fee switch" mechanism. The key turning point was the on-chain execution of the UNIfication proposal in December 2025. It activated a protocol fee on select pools, directed Unichain sequencer revenue (net of costs) to a communal treasury, executed a one-time burn of 100 million UNI, and established a system where all protocol revenue flows into a "TokenJar" contract. This treasury has a single exit: purchasing and permanently burning UNI via a "Firepit" contract. Initially, the market reacted tepidly as the generated revenue and corresponding burn rate were modest. The narrative shifted dramatically in July 2025 with two major developments. First, the launch of Robinhood Chain, tailored for tokenized stocks, rapidly became a primary source of volume and fees for Uniswap, at one point contributing nearly half of its weekly fees. Second, governance votes successfully expanded the fee mechanism to v4 pools and initiated a temperature check for fees on Robinhood Chain. The activation of v4 fees caused the protocol's daily revenue earmarked for UNI burns to nearly triple. The core of UNI's recent price action is the transition from a pure governance token to a cash-flow asset with a permanent, protocol-funded buyer. Its effectiveness is amplified by UNI's mature and widely distributed supply, with no major impending unlocks to dilute the impact of the buybacks. The sustainability of this rally now hinges on whether the transaction volume, particularly on Robinhood Chain, persists after its initial gas subsidies expire, determining if this is a genuine value realization or a subsidy-fueled spike.

marsbit3h ago

UNI Doubles in Two Months Against the Trend: A 5-Year-Overdue Value Realization

marsbit3h ago

Trading

Spot

Hot Articles

What is DOGE M

Doge Matrix ($doge m): The New Breed of Community-Driven Cryptocurrency Introduction In the ever-evolving landscape of cryptocurrency, new projects constantly emerge, each aiming to capture the interest of investors and enthusiasts alike. One of the latest entrants to this domain is Doge Matrix, represented by the ticker symbol $doge m. This project has attracted attention thanks to its roots in the popular meme culture surrounding Dogecoin, establishing its place within the web3 space. This article aims to provide a comprehensive analysis of Doge Matrix, covering its overview, creator, investors, functionality, timeline, and notable aspects. What is Doge Matrix ($doge m)? Doge Matrix is a community-driven cryptocurrency project that seemingly builds upon the widespread appeal of Dogecoin, a digital currency known for its Shiba Inu mascot and its meme origins. While the overarching objectives of Doge Matrix are not extensively defined, it is characterized by a commitment to harnessing community involvement and support. Unlike traditional cryptocurrencies that often emphasize utility or intrinsic value through underlying technologies, Doge Matrix positions itself within a space that embraces the cultural phenomenon of cryptocurrencies, particularly appealing to those who resonate with the ethos of meme-based assets. Drawing on the strengths of the Dogecoin community, Doge Matrix operates as part of a broader ecosystem, inviting participation and engagement from users who share an interest in cryptocurrency and the digital landscape. Who is the Creator of Doge Matrix ($doge m)? The identity of the creator of Doge Matrix remains unknown. This lack of transparency is not an uncommon occurrence in the cryptocurrency space, where some projects are launched without revealing the identities of their founders. The absence of information regarding the founding team can raise questions among potential investors about the project’s accountability and direction. Who are the Investors of Doge Matrix ($doge m)? As it stands, there is no publicly available information detailing the investors or investment foundations that back Doge Matrix. The project appears to rely primarily on community support rather than institutional investment. This model aligns with the community-driven nature of the initiative, fostering an environment where the direction of the project is shaped by its participants rather than being dictated by a select few financial backers. How Does Doge Matrix ($doge m) Work? The specifics regarding the operational mechanisms of Doge Matrix are somewhat vague, reflecting a broader trend of projects in the meme coin space where innovative functionalities are not always clearly articulated. Nonetheless, Doge Matrix seems designed to tap into the existing cryptocurrency ecosystem by encouraging user participation while tapping into the familiar cultural references associated with Dogecoin. Its potentially unique characteristics derive from community interactions rather than technological advancements, emphasizing shared experiences and collaboration among token holders. While the exact innovations have not been explicitly outlined, the project appears to create a space where community members can engage, share ideas, and propel the project's potential forward. Timeline of Doge Matrix ($doge m) Reflecting on the project’s timeline reveals notable events that have defined its journey thus far: November 25, 2024: Doge Matrix reached its all-time high value, marking a significant milestone in its early history. January 1, 2025: Conversely, Doge Matrix hit its all-time low value, illustrating the volatility often associated with cryptocurrencies, especially in the early stages of a project's lifecycle. Ongoing: The project continues to be actively traded and supported by its community, although specific future milestones or objectives have yet to be disclosed. Key Points About Doge Matrix ($doge m) Community Focus At the heart of Doge Matrix is a commitment to community engagement. The project thrives on the premise of collaboration and shared objectives among its members, emphasizing the importance of collective effort. Unlike centralized projects that often have a defined leadership structure, Doge Matrix at present showcases a more fluid approach to governance, where every community member's voice matters. Volatility The cryptocurrency market is notorious for its volatility, and Doge Matrix is no exception. Its price history reflects significant fluctuations between high and low values, which is typical of many new cryptocurrencies but underscores the risks associated with investment in emerging tokens. Lack of Detailed Information One of the most striking features about Doge Matrix is the scarcity of detailed information regarding its technological underpinnings and operational mechanisms. This ambiguity necessitates that potential investors conduct thorough due diligence before engaging with the project. Conclusion In summary, Doge Matrix ($doge m) illustrates a new wave of cryptocurrency projects that lean heavily on community engagement and cultural relevance. While lacking in certain specifics—such as clear leadership, defined objectives, and detailed functionality—the project has managed to generate interest within the crypto community, leveraging the established appeal of meme culture. As with any investment in the cryptocurrency space, understanding the inherent risks and conducting comprehensive research is essential for potential participants. Doge Matrix stands as a reminder of the dynamic, sometimes unpredictable nature of the crypto industry, marked by constant evolution and enthusiasm for community-driven initiatives.

4.2k Total ViewsPublished 2025.02.03Updated 2025.02.03

What is DOGE M

What is $M

Understanding Mantis ($M): A New Era in Cross-Chain Interoperability In the continually evolving landscape of Web3 and cryptocurrency, new projects strive to offer innovative solutions aimed at enhancing the user experience and expanding functional possibilities within the decentralized financial ecosystem. One such project garnering attention is Mantis ($M), a pioneering protocol founded on the principles of cross-chain interoperability and intent-based settlements. This article delves into the essential aspects of Mantis, including its core functionality, creators, investment backing, innovative features, and critical milestones. What is Mantis ($M)? Mantis is described as a multi-domain intent settlement protocol that simplifies cross-chain interactions, enabling users to execute complex financial transactions across various blockchain platforms seamlessly. The protocol operates through three primary layers: Intent Expression: Users can articulate their transaction goals using natural language facilitated by the DISE LLM, an advanced AI language model. For instance, a user might express a desire to swap Ethereum (ETH) for Solana (SOL) with a specific slippage tolerance of 1%. Execution: This layer employs a network of solvers that compete to fulfill user intents. Transactions are executed using mechanisms such as Coincidence of Wants (CoWs) and Order Flow Auctions (OFAs), which ensure that user demands are met optimally. Settlement: Leveraging the Inter-Blockchain Communication (IBC) protocol, Mantis enables atomic cross-chain transactions, allowing users to operate across various supported chains, including Ethereum, Solana, and Cosmos. Mantis is engineered to introduce native yield generation for idle assets, employing cryptographic proofs to maintain the integrity of transactions throughout the entire process. Creators & Development Team Mantis was conceived by the Composable Foundation, a research-driven organization notable for its emphasis on blockchain interoperability solutions. This foundation collaborates with esteemed academic institutions, including Harvard University and the University of Lisbon, contributing to extensive research and development efforts that inform Mantis's architecture and functionality. The Composable Foundation’s commitment to fostering innovation in the blockchain space positions Mantis as a robust solution for the growing demand for interoperability among multiple blockchain networks. Investors & Backing While specific details about individual investors have not been publicly disclosed, Mantis enjoys substantial backing from various entities, including: Ecosystem grants from IBC-enabled chains, which support the protocol's growth and integration within decentralized finance ecosystems. Strategic partnerships with infrastructure providers that enhance Mantis's network capabilities and deployment strategies. Funding through the Composable Foundation's treasury, ensuring sustained financial support for ongoing development and operational costs. These collaborative efforts reflect a consensus among stakeholders about the importance of enhancing cross-chain functionality and the potential utility of Mantis's infrastructural innovations. Key Innovations Mantis sets itself apart through several pioneering innovations that enhance its functionality and utility: Chain-Agnostic Intents: Users can initiate transactions from any supported chain while settling on another. This flexibility empowers users, driving increased interaction among different platforms. AI-Powered Interface: The integration of DISE LLM allows users to conduct complex DeFi operations using natural language, thereby simplifying interactions and making blockchain technology accessible to a broader audience. Cross-Domain MEV Capture: Mantis creates an internal market for maximal extractable value (MEV) through competitions among solvers. This innovative approach allows for greater efficiency and value extraction in complex transactions. Modular Settlement Layer: The protocol supports various verification methods, including zero-knowledge proofs and optimistic rollups, providing a versatile framework that can adapt to emerging blockchain technologies. Historical Timeline Mantis's development is marked by several critical milestones that chart its trajectory and growth: | Year | Milestone | |————|————————————————————————-| | 2022 | Initial concept development within the Composable Foundation's research division. | | Q3 2024 | Launch of the testnet with bridging capabilities between Solana and Ethereum. | | Q1 2025 | Anticipated Token Generation Event (TGE) alongside the mainnet launch. | | Q2 2025 | Expected integration of DISE LLM and expansion of cross-chain capabilities. | | 2025 H2 | Planned support for over 15 chains through further IBC upgrades. | This timeline outlines Mantis's evolution, from conceptual discussions to active implementation and future growth phases. Ecosystem Growth Strategy Mantis's strategy for ecosystem growth includes several initiatives designed to encourage user participation and developer engagement: Credits System: Users can earn protocol credits by providing liquidity and engaging in referral programs. These credits are redeemable for incentives in the future, fostering a robust user community. Modular Software Development Kit (SDK): This toolkit empowers developers to create applications based on intent-driven models utilizing Mantis's infrastructure, thus promoting innovation within its ecosystem. Governance Model: As the protocol matures, $M token holders will have a voice in protocol governance, allowing them to vote on proposed upgrades and changes, thereby enhancing community engagement and decentralization. Mantis represents a significant advancement in the realm of cross-chain architecture. By seamlessly integrating advanced AI algorithms with a robust settlement framework, Mantis seeks to tackle the problems of fragmentation within multi-chain ecosystems. Its innovative approach prioritizes improved user experiences while adhering to the foundational principles of decentralization and security, setting a new standard for the future interoperability of blockchain technologies. As Mantis continues its journey of growth and implementation, it promises to be a project to watch closely in the competitive landscape of Web3 and decentralized finance. With its focus on crossing boundaries and elevating user engagement, Mantis is poised to be an integral part of the future developments in the cryptocurrency space.

663 Total ViewsPublished 2025.03.18Updated 2025.03.18

What is $M

How to Buy M

Welcome to HTX.com! We've made purchasing MemeCore (M) simple and convenient. Follow our step-by-step guide to embark on your crypto journey.Step 1: Create Your HTX AccountUse your email or phone number to sign up for a free account on HTX. Experience a hassle-free registration journey and unlock all features.Get My AccountStep 2: Go to Buy Crypto and Choose Your Payment MethodCredit/Debit Card: Use your Visa or Mastercard to buy MemeCore (M) instantly.Balance: Use funds from your HTX account balance to trade seamlessly.Third Parties: We've added popular payment methods such as Google Pay and Apple Pay to enhance convenience.P2P: Trade directly with other users on HTX.Over-the-Counter (OTC): We offer tailor-made services and competitive exchange rates for traders.Step 3: Store Your MemeCore (M)After purchasing your MemeCore (M), store it in your HTX account. Alternatively, you can send it elsewhere via blockchain transfer or use it to trade other cryptocurrencies.Step 4: Trade MemeCore (M)Easily trade MemeCore (M) on HTX's spot market. Simply access your account, select your trading pair, execute your trades, and monitor in real-time. We offer a user-friendly experience for both beginners and seasoned traders.

8.5k Total ViewsPublished 2025.07.02Updated 2026.06.02

How to Buy M

Discussions

Welcome to the HTX Community. Here, you can stay informed about the latest platform developments and gain access to professional market insights. Users' opinions on the price of M (M) are presented below.

活动图片