Zcash mengatakan bukti Ironwood menyingkirkan bug pemalsuan yang tak terdeteksi

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

Abstract

Para peneliti Zcash telah menyelesaikan verifikasi formal Ironwood, mempublikasikan bukti yang dapat diperiksa mesin bahwa kolam terlindungi baru jaringan tersebut tidak mengandung bug pemalsuan yang tidak dapat dideteksi, berdasarkan asumsi kriptografis yang dinyatakan. Bukti ini, ditulis dalam bahasa pemrograman Lean, terdiri dari lebih dari 2.700 teorema dan membutuhkan waktu lebih dari sebulan untuk diselesaikan oleh tiga tim peneliti. Pekerjaan ini menetapkan properti keamanan yang disebut integritas keseimbangan, dirancang untuk memastikan kolam terlindungi tidak dapat mengeluarkan nilai lebih dari yang telah masuk secara publik. Buktinya mencakup komponen yang diperlukan untuk properti tersebut, termasuk sistem bukti tanpa pengetahuan (zero-knowledge proof) Ironwood, aturan sirkuit, dan akuntansi tingkat ledger. Namun, tidak mencakup jaminan privasi terpisah Ironwood. Ironwood diperkenalkan melalui peningkatan NU6.3 Zcash sebagai tanggapan atas kerentanan yang ditemukan di kolam terlindungi Orchard, yang secara teoritis dapat memungkinkan pemalsuan ZEC yang tidak dapat dideteksi. Pengembang Zcash menyatakan tidak ada bukti kerentanan itu dieksploitasi. Kolam baru dirancang untuk memulihkan kepercayaan pada integritas pasokan Zcash. Dana yang bermigrasi dari Orchard harus melewati pos pemeriksaan akuntansi publik yang disebut 'turnstile', yang dirancang untuk mencegah koin berlebih hipotetis memasuki Ironwood. Proses ini juga dapat memberikan bukti yang semakin jelas...

Para peneliti Zcash telah menyelesaikan verifikasi formal Ironwood, mempublikasikan bukti yang terverifikasi mesin bahwa kumpulan terlindungi baru jaringan tersebut tidak mengandung bug pemalsuan yang tak terdeteksi di bawah asumsi kriptografis yang dinyatakannya.

Pada hari Selasa, Project Tachyon mengatakan bahwa bukti tersebut, yang ditulis dalam bahasa pemrograman Lean, terdiri dari lebih dari 2.700 teorema dan membutuhkan tiga tim peneliti dan kriptografer lebih dari sebulan untuk menyelesaikannya. Pekerjaan ini menetapkan properti keamanan yang dikenal sebagai integritas keseimbangan, yang dirancang untuk memastikan kumpulan terlindungi tidak dapat membayar nilai lebih dari yang telah masuk secara publik ke dalamnya.

Para peneliti mengatakan bukti tersebut mencakup komponen-komponen yang diperlukan untuk properti itu, termasuk sistem bukti pengetahuan nol Ironwood, aturan sirkuit, dan akuntansi tingkat buku besar. Bukti ini tidak mencakup jaminan privasi terpisah Ironwood.

Ironwood diperkenalkan melalui peningkatan NU6.3 Zcash sebagai tanggapan atas kerentanan yang ditemukan di kumpulan terlindungi Orchardnya yang secara teoretis dapat memungkinkan pemalsuan ZEC yang tak terdeteksi. Para pengembang Zcash mengatakan mereka tidak menemukan bukti bahwa kelemahan itu telah dieksploitasi. Kumpulan baru ini dirancang untuk mengembalikan kepercayaan pada integritas pasokan Zcash.

Dana yang bermigrasi dari Orchard harus melewati pos pemeriksaan akuntansi publik yang dikenal sebagai turnstile, yang dirancang untuk mencegah koin berlebih hipotetis apa pun masuk ke Ironwood. Saat dana meninggalkan Orchard, proses tersebut juga dapat memberikan bukti yang berkembang tentang apakah kumpulan lama dieksploitasi.

Terkait: Mengapa ZEC turun 40% bahkan setelah Zcash memperbaiki bug kumpulan terlindungi

Trending Cryptos

Related Questions

QApa yang telah dibuktikan oleh para peneliti Zcash melalui verifikasi formal Ironwood?

APara peneliti Zcash telah menyelesaikan verifikasi formal Ironwood, mempublikasikan bukti yang diperiksa mesin bahwa kolam terlindungi baru jaringan tersebut (Ironwood) tidak mengandung bug pemalsuan yang tidak dapat dideteksi di bawah asumsi kriptografis yang dinyatakan.

QBerapa banyak teorema yang tercakup dalam bukti tertulis dalam bahasa pemrograman Lean, dan berapa lama waktu yang dibutuhkan untuk menyelesaikannya?

ABukti tersebut, yang ditulis dalam bahasa pemrograman Lean, terdiri dari lebih dari 2.700 teorema dan membutuhkan waktu lebih dari satu bulan untuk diselesaikan oleh tiga tim peneliti dan kriptografer.

QApa sifat keamanan yang dibuktikan oleh karya verifikasi formal Ironwood ini, dan apa tujuannya?

AKarya tersebut membuktikan sifat keamanan yang disebut integritas saldo (balance integrity), yang dirancang untuk memastikan bahwa kolam terlindungi (shielded pool) tidak dapat mengeluarkan nilai lebih banyak daripada yang secara publik dimasukkan ke dalamnya.

QMengapa Ironwood diperkenalkan dalam upgrade NU6.3 Zcash?

AIronwood diperkenalkan melalui upgrade NU6.3 Zcash sebagai respons terhadap kerentanan yang ditemukan dalam kolam terlindungi Orchard-nya, yang secara teoritis dapat mengaktifkan pemalsuan ZEC yang tidak dapat dideteksi. Kolam baru ini dirancang untuk mengembalikan kepercayaan pada integritas pasokan Zcash.

QBagaimana proses migrasi dana dari kolam Orchard ke Ironwood dirancang untuk mencegah masuknya koin hipotetis yang berlebih?

ADana yang bermigrasi dari Orchard harus melewati pos pemeriksaan akuntansi publik yang disebut 'turnstile' (pintu putar). Turnstile ini dirancang untuk mencegah masuknya koin hipotetis yang berlebih ke dalam Ironwood.

Related Reads

Weekly Editor's Picks (0725-0731)

Weekly Editor's Picks (0725-0731) provides a curated selection of deep analysis, filtering out market noise. Key themes from this week include: **Macro & Policy:** The Federal Reserve's upcoming meeting is marked by high uncertainty, balancing cooling inflation data against persistent price pressures. Meanwhile, the U.S. crypto regulatory Clarity Act faces critical political hurdles, with its 2026 passage probability seen as low. **Investing & Crypto:** Analysis suggests long-term crypto success depends on conviction through volatile cycles, focusing on assets like Bitcoin and core smart contract platforms. A trend noted is the increasing similarity between global equity markets (especially tech) and crypto, driven by narrative and leverage. Several major crypto protocols show strong revenue growth, but this isn't always translating to token price appreciation due to sell pressure and structural factors. **AI & Semiconductors:** Nvidia's rising credit default swap rates signal market concern over AI infrastructure financing risks. The storage sector experienced volatility as markets began pricing in potential 2027 oversupply. Despite a record profitable quarter, SK Hynix's results were deemed "below expectations," reflecting heightened investor demands for future growth visibility. **Markets & DeFi:** TradeXYZ demonstrated remarkable accuracy in pre-market pricing for a major A股 listing. The token ONDO saw gains, linked to its growing role in the on-chain tokenized stock ecosystem. **Ethereum:** Post-Pectra upgrade, a major structural shift is underway as Lido begins migrating millions of ETH to new validator architectures designed for capital efficiency. **Also Highlighted:** Butian's bullish stock market move; OpenAI's Altman promising major advances; Samsung and SK Hynix securing large AI chip deals; Apple reaching a $5T market cap; and ongoing discussions around exchange security following Poolin's bankruptcy case.

marsbit22m ago

Weekly Editor's Picks (0725-0731)

marsbit22m ago

Low Investment Isn't Apple's Immunity Pass

While Meta and Google face investor scrutiny over ballooning AI capital expenditures, Apple's minimal AI investment has paradoxically become a strength. Its market cap recently reclaimed the global top spot, surpassing $5 trillion. The irony is deep: Apple's own AI efforts have lagged, with "Apple Intelligence" delayed and core talent lost, forcing reliance on partners like Google Gemini and Alibaba's Qianwen. Its Q3 FY2026 (Q2 CY) earnings initially seemed stellar. Revenue hit $109.4B (up 16% YoY), with iPhone and Mac sales, growing 22% and 29% respectively, driving most of the growth. However, the stock fell over 8% post-earnings. The primary concern was a weaker Q4 revenue growth forecast of 9-11%, below expectations, due to looming supply chain constraints. Apple is feeling the indirect cost of the AI boom. Soaring memory and chip prices, fueled by massive data center investments from Microsoft, Amazon, and others, are forcing Apple to raise Mac and iPad prices significantly. The upcoming iPhone launch is also expected to see substantial price hikes. Despite avoiding heavy AI infrastructure spending—its capital expenditures are actually down 28%—Apple cannot escape the industry-wide supply and cost pressures. While Apple's operating cash flow remains robust, its substantial R&D spending (up 32% YoY) has yet to yield major AI breakthroughs. As Tim Cook prepares to step down as CEO, Apple faces a challenging transition: balancing its premium hardware success against the strategic and cost pressures of the AI era it has so far cautiously navigated.

marsbit1h ago

Low Investment Isn't Apple's Immunity Pass

marsbit1h ago

PA Graphics Explanation | One Chart to Understand the Major Web3 Events in August 2026

**PANews Crypto Calendar: Key Web3 Events in August 2026** PANews introduces its revamped crypto calendar, featuring comprehensive coverage, flexible filtering, and easy export options. The market in August will be shaped by multiple key events across macroeconomics, regulation, tokenomics, and project developments: * **Macro & Policy:** Key US economic data releases (July Non-Farm Payrolls, CPI), the Federal Reserve meeting minutes, and the Jackson Hole Economic Symposium will be in focus. On the regulatory front, the US Senate plans to release a new draft of the *CLARITY Act*, while the EU's expanded crypto ban against Belarus comes into effect. * **Token Unlocks:** Significant token unlocks are scheduled for assets including ENA, AVAX, CONX, ZRO, and KAITO, which may influence market volatility. * **Project Updates & Shutdowns:** Several services, including Exchange Art, Ctrl Wallet, Zapper, NFTfi, and Summer.fi, are set to cease operations or undergo major adjustments. Users are advised to manage their assets accordingly. * **Corporate Activity:** Q2 earnings reports from companies like SpaceX, Circle, and Nvidia are due. Unitree Robotics will initiate its IPO subscription on the STAR Market, and Moonshot AI plans to begin a Pre-IPO financing round. * **Industry Events:** Major conferences such as Bitcoin Asia 2026 and the 2026 Digital Expo will take place. The overarching market narrative for August will revolve around macroeconomic expectations, regulatory developments, token unlock schedules, and ongoing industry consolidation.

marsbit1h ago

PA Graphics Explanation | One Chart to Understand the Major Web3 Events in August 2026

marsbit1h ago

Wall Street's Most Famous 'Cassandra' Now Has His Sights Set on Nvidia

Michael Burry, the famed "Big Short" investor, has once again captured Wall Street's attention with a series of short positions against major tech and semiconductor stocks, most notably Nvidia. In late June and July, through his "Cassandra Unchained" newsletter, Burry disclosed short bets against Nvidia, Tesla, Applied Materials, Caterpillar, the SOXX semiconductor ETF, and later, Micron Technology. His core thesis revolves around potential distortions in the AI infrastructure boom, specifically questioning whether extended depreciation schedules (e.g., 6 years vs. a realistic 2-3 years for AI chips) by cloud giants like Microsoft and Google artificially inflate profits. He also raises concerns about possible "off-balance-sheet circular financing," where chip demand might be propped up by vendor-backed funding to clients. Nvidia's stock experienced volatility following these disclosures, briefly dipping but largely holding near Burry's reported entry points, leaving his positions roughly flat or slightly underwater as of late July. This move is part of a pattern for Burry, whose track record since his legendary 2008 bet is mixed. He has faced notable losses, such as on Tesla in 2021, while scoring on broader market turns like the 2020 pandemic crash. His methodology focuses intensely on free cash flow and scrutinizing original financial documents to spot overvaluation and structural risks, but it often struggles with timing the market. The article contrasts Burry's stance with other prominent investors. Steve Eisman, another "Big Short" figure, is not shorting Nvidia, citing strong fundamentals but expressing nervousness about sustainability. Jim Chanos agrees with the broad "accounting mismatch" concern—comparing it to the dot-com bubble—but targets financial leverage in private equity firms rather than the chip stocks themselves. While Nvidia's short interest remains relatively low at 1.3-1.4% of float, the massive stock size means absolute short losses have been significant, exceeding $5 billion earlier this year. The piece concludes that for ordinary investors, the key takeaway is not replicating specific short bets but learning from the critical frameworks these investors use: questioning rosy accounting, identifying structural vulnerabilities, and maintaining skepticism during market euphoria, even if pinpointing the exact catalyst for a downturn remains elusive.

marsbit1h ago

Wall Street's Most Famous 'Cassandra' Now Has His Sights Set on Nvidia

marsbit1h 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 characterised by a commitment to harnessing community involvement and support. Unlike traditional cryptocurrencies that often emphasise 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, emphasising 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, emphasising the importance of collective effort. Unlike centralised 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.

587 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 decentralised 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 fulfil 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 organisation 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 decentralised 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 programmes. 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 utilising 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 decentralisation. 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 prioritises improved user experiences while adhering to the foundational principles of decentralisation 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 decentralised 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.

101 Total ViewsPublished 2025.03.18Updated 2025.03.18

What is $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.

活动图片