Investment
Features
FeesSafety
Academy
More
Pluang+

Zcash's Ironwood upgrade uses formal verification to fix hidden counterfeiting bugs in its shielded pool.

Protocol Fundamentals
07 Jul 2026
Crypto Briefing
View Source
Bullish
pluang ai news

Zcash is launching the Ironwood upgrade this month to replace its Orchard shielded pool with a formally verified version that mathematically proves its correctness. This move addresses a recently found vulnerability that could have allowed undetectable counterfeiting, discovered by a security researcher and patched before exploitation. The upgrade uses formal verification to focus on the cryptographic protocol's correctness rather than just code audits, aiming to prevent any future undetectable bugs. Users will migrate funds through a controlled process ensuring no counterfeit ZEC enters circulation, restoring trust in the cryptocurrency's supply integrity.

More News

Global automotive microcontrollers market to reach $34.31B by 2035, driven by ADAS, electrification, and software-defined vehicles.

Global automotive microcontrollers market to reach $34.31B by 2035, driven by ADAS, electrification, and software-defined vehicles.

The global automotive microcontrollers market is projected to grow from USD 15.49 billion in 2025 to USD 34.31 billion by 2035, at a CAGR of 8.28%. Growth is fueled by increasing adoption of advanced driver-assistance systems (ADAS), vehicle electrif...

Market News
Bullish
1 hour ago
Sodexo wins major global catering contract with Meta for 130+ sites in 30+ countries

Sodexo wins major global catering contract with Meta for 130+ sites in 30+ countries

Sodexo has secured a major global contract to provide catering services across more than 130 Meta sites in over 30 countries. This large-scale partnership includes diverse locations such as headquarters, campuses, data centers, and conference centers...

Market News
Bullish
4 hours ago
Viasat and BMW Group demonstrate the first integrated automotive satellite voice call, enabling connectivity in remote areas.

Viasat and BMW Group demonstrate the first integrated automotive satellite voice call, enabling connectivity in remote areas.

Viasat and BMW Group have successfully demonstrated the first integrated automotive satellite voice call, allowing drivers to make calls directly through the car's infotainment system even in areas without cellular coverage. This advancement, utilizi...

Market News
Bullish
4 hours ago
Iran warns of crushing retaliation if US targets its infrastructure amid escalating strikes.

Iran warns of crushing retaliation if US targets its infrastructure amid escalating strikes.

Iran has warned it will retaliate fiercely if the US targets its infrastructure, following President Trump's threat to strike Iranian power plants and bridges next week if negotiations fail. The US recently conducted airstrikes against Iranian milita...

Market News
Bearish
4 hours ago
Solana (SOL) holds steady in the mid-$70s, boosted by $500M USDC mint, institutional access, and ETF momentum.

Solana (SOL) holds steady in the mid-$70s, boosted by $500M USDC mint, institutional access, and ETF momentum.

Solana (SOL) maintains its price in the mid-$70 range, supported by several key developments. These include Circle's recent issuance of $500 million in USDC on the Solana network, increasing liquidity and transactional demand. Additionally, instituti...

Market News
Bullish
4 hours ago
banner-footerbanner-footer

Invest & Trade with
#1 Award-Winning Investment Super App