GitHub Internal Repositories Breached as Binance’s CZ Calls for Immediate Key Rotation

GitHub has stated that there is currently no evidence suggesting customer repositories or external enterprise data were compromised.

Earlier today, hackers reportedly gained access to GitHub’s internal repositories after exploiting an employee’s device through a malicious VS Code extension.

Following the breach, reports surfaced claiming that a threat actor operating under the alias TeamPCP is attempting to sell what is allegedly around 4,000 private GitHub repositories on a cybercriminal forum, with a minimum asking price of $50,000.

What GitHub Says Happened

GitHub confirmed the security incident through a series of posts on its X account, outlining the details known so far. According to the company, the attacker accessed an internal repository through a malicious VS Code extension installed on an employee’s machine.

The company stated that once the attack was detected, the malicious software was immediately removed from the compromised device. GitHub also emphasized that there is currently no evidence indicating that customer data stored outside its internal systems, including enterprise accounts, organizations, or user repositories, was accessed.

GitHub further explained that it quickly rotated credentials, prioritizing the most sensitive secrets first. The company is also reviewing logs to determine whether any additional unauthorized activity occurred and said more information will be shared once the investigation is complete.

Meanwhile, French researcher Sébastien Latombe highlighted a listing on a criminal forum posted by a threat actor known as TeamPCP. The listing allegedly references repositories connected to GitHub Actions, GitHub Enterprise, GitHub Copilot, Azure, CodeQL, billing systems, and authentication services.

According to the claims, the attackers are not attempting to extort GitHub directly but are instead seeking a single buyer for the stolen data, with a reported minimum price of $50,000.

However, neither GitHub nor Microsoft has officially confirmed the authenticity of the data mentioned in the forum post. Claims made on cybercriminal forums are often exaggerated or based on outdated material intended to increase the perceived value of the data.

Security Concerns Spread Across Crypto Industry

Reaction to the breach spread rapidly online, particularly within the crypto industry. Changpeng Zhao, widely known as CZ, urged crypto developers to immediately review and rotate any exposed API keys.

He warned:

“If you have API keys in your code, even private repos, now is the time to double check and change them.”

The responses highlighted a long standing issue across the industry. Aaron Shames described storing API keys in repositories, whether public or private, as poor security practice, while still appreciating the warning.

Others pointed out that developers managing hundreds of keys across multiple projects face a far more complicated challenge.

Digital artist Tuteth commented that the entire approach to key storage requires modernization.

Security commentator Dhanush Nehru also raised concerns about the broader software ecosystem, warning that many developers have little visibility into the permissions granted to VS Code extensions and describing the cybersecurity landscape as increasingly alarming.

The timing of the breach has intensified ongoing concerns about crypto security, especially following several major attacks this month. These include the breach of Echo Protocol, where hackers reportedly minted $76.7 million worth of eTC.

That attack came shortly after multimillion dollar exploits targeting THORChain and the Verus Ethereum Bridge.

The growing number of incidents has reignited discussions around code verification and software supply chain security. Vitalik Buterin recently argued that AI assisted formal verification could help make software more secure by mathematically proving how programs behave.#crypto#cryptonewshttps://coinsignals.net https://t.me/coinsignalpublic

Bitwise CIO Says Investors Are Undervaluing Hyperliquid and HYPE Token

Matt Hougan believes investors are significantly underestimating both Hyperliquid and its native HYPE token, describing the project as one of the most important developments in the crypto industry in recent years.

Despite the platform still being unavailable to users in the United States, Hougan said Hyperliquid has become one of the fastest growing financial businesses he has ever observed.

Hyperliquid Expands Beyond Crypto Trading

In a recent memo, the Bitwise executive explained that Hyperliquid has evolved far beyond a standard crypto perpetual futures exchange.

According to Hougan, the platform is increasingly positioning itself as a financial “super app” that offers access to multiple asset classes, including commodities, S&P 500 futures, pre IPO stocks, and prediction markets.

He added that Hyperliquid’s rapid growth has been partly supported by the changing regulatory climate under Paul Atkins. Hougan referenced comments made by Atkins in November 2025 that supported the idea of multi asset trading platforms operating outside traditional SEC regulatory frameworks.

The Bitwise CIO stated that nearly half of Hyperliquid’s trading volume now comes from non crypto assets, with that figure potentially climbing to 70 percent before the end of the year.

Even without access to the US market, Hougan noted that the platform is already generating approximately 170 billion dollars in monthly trading volume.

HYPE Token Seen as a New Generation Crypto Asset

Hougan also described HYPE as a “Gen 2” crypto token designed specifically to generate value for holders from the very beginning.

He highlighted Hyperliquid’s reported strategy of allocating 99 percent of trading fees toward buying back HYPE tokens, creating direct economic value tied to platform activity.

According to Hougan, this structure is very different from many earlier crypto governance tokens launched during the tenure of former SEC Chair Gary Gensler.

He explained that many older governance tokens intentionally avoided strong economic connections to their underlying platforms in order to reduce the appearance of profit expectations.

Hougan believes future token designs will increasingly adopt models similar to Hyperliquid’s approach. He argued that this is one reason why HYPE has become one of the best performing large cap crypto assets over the past year.

The Bitwise executive further claimed that HYPE may currently be one of the most mispriced assets in the crypto market due to investor misunderstanding and valuation bias.

Institutional Interest Continues to Grow

Hougan’s comments arrive shortly after 21Shares launched the first US spot ETF tracking the HYPE token under the ticker THYP.

Bitwise later introduced its own HYPE focused exchange traded fund under the ticker BHYP on the New York Stock Exchange.

While many major cryptocurrencies continue facing market pressure, HYPE has significantly outperformed the broader market. Over the past week alone, the token has gained more than 25 percent.#crypto#cryptonews https://coinsignals.net https://t.me/coinsignalpublic

Ethereum Insider Explains Recent Wave of Ethereum Foundation Departures

A longtime Ethereum investor and prominent community member has responded to growing concerns surrounding the recent departures from the Ethereum Foundation, arguing that the organization remains fully committed to the network’s long term future.

Ryan Berckmans, who has worked full time within the Ethereum ecosystem for eight years, shared one of the most detailed community responses so far regarding the Foundation’s direction amid the increasing number of exits this year.

Departures Linked to Internal Strategy Differences

According to Berckmans, many observers are misunderstanding the reasons behind the departures.

He explained that those leaving the Ethereum Foundation do not fundamentally disagree with Ethereum’s overall vision or future direction compared to those remaining within the organization or the broader community.

Instead, he believes the exits were mainly driven by disagreements over specific internal strategies rather than any loss of confidence in Ethereum itself. He also pointed to what he described as a broader generational transition taking place inside the organization.

Berckmans noted that some contributors disagreed internally on certain approaches, while others were reportedly asked to leave for undisclosed reasons. Some individuals also chose to step away because of personal or professional considerations.

At the same time, he emphasized that younger contributors are increasingly prepared to assume leadership roles across different teams and departments within the Ethereum ecosystem.

Long Term Vision Remains the Focus

Berckmans also addressed a recurring criticism within the community that the Ethereum Foundation and Vitalik Buterin do not care about ETH’s market price.

According to him, that perception is inaccurate. He argued that the Foundation deeply cares about Ethereum’s value and future success, but its perspective is focused on much longer time horizons than most traders or community members typically consider.

He explained that the organization is thinking about questions such as how Ethereum can remain dominant in a future shaped by quantum computing and how it can evolve into a global economic hub supporting trillions of dollars in assets and thousands of layer two networks across many countries.

Berckmans described the Foundation’s efforts toward those goals as strongly bullish for Ethereum’s long term future.

Several High Profile Contributors Recently Departed

The recent wave of exits has included several notable figures, including Tim Beiko, Josh Stark, Tomasz Stanczak, Carl Beek, Julian Ma, Barnabé Monnot, Trent Van Epps, and others.

Stanczak’s departure attracted particular attention because it occurred only 11 months after he assumed the role of co executive director.

The exits also appeared unusually concentrated, with several prominent departures occurring within roughly four weeks during April and May.

Meanwhile, crypto researcher Nick Sawinyh referenced unconfirmed reports circulating online claiming that staff members had been asked to formally align themselves with the Foundation’s updated mandate.

However, the Ethereum Foundation has not publicly confirmed those claims, and none of the departing contributors officially cited the mandate as their reason for leaving.

Attention Turns Toward Ethereum’s Glamsterdam Upgrade

Community discussions are also increasingly focused on Ethereum’s upcoming Glamsterdam upgrade, which is still undergoing testing.

The protocol update includes improvements related to network scaling and validator infrastructure. However, some anticipated features, including FOCIL and native account abstraction, have already been postponed to a future upgrade cycle.

Despite the recent leadership changes, many Ethereum supporters believe the ecosystem has matured enough to handle organizational transitions without threatening the broader network.

Among them is author William Mougayar, who argued that the Ethereum Foundation’s reduced influence is part of a deliberate effort to eliminate remaining centralized points of control within Ethereum rather than a sign of institutional weakness.#crypto#cryptonews https://coinsignals.net https://t.me/coinsignalpublic

Tether Takes Over SoftBank’s Stake in Bitcoin Treasury Firm Twenty One Capital

Tether has officially acquired the minority stake previously held by SoftBank Group in Bitcoin treasury focused company Twenty One Capital.

Following the completion of the deal, SoftBank representatives stepped down from Twenty One Capital’s board of directors in accordance with the shareholder agreement.

Tether Strengthens Its Position in Twenty One Capital

In an official statement, Tether explained that the acquisition reflects the continued evolution of Twenty One Capital as it advances its long term Bitcoin focused strategy.

With the transaction finalized, SoftBank’s direct involvement in the company’s governance structure has now officially ended.

Tether CEO Paolo Ardoino praised SoftBank’s contribution during the company’s early development phase. According to Ardoino, SoftBank’s experience investing in major global technology firms helped provide credibility, strategic perspective, and operational discipline during a crucial stage of Twenty One Capital’s formation.

He added that Tether’s confidence in the company has only grown stronger and that the firm plans to continue building on the foundation established during SoftBank’s involvement.

Twenty One Capital’s Growth Story

Twenty One Capital was launched in April 2025 as a crypto focused investment venture led by Jack Mallers, who was appointed chief executive officer.

The company was initially backed by Tether International and Bitfinex as majority owners, while SoftBank Group and Cantor Fitzgerald joined as early investors.

At launch, the company disclosed that it would begin operations with approximately 3.6 billion dollars worth of Bitcoin held in its treasury reserves. SoftBank participated as a minority stakeholder, while Tether maintained controlling ownership.

Later that same year, Twenty One Capital became a publicly traded company in New York through a SPAC merger.

Future Merger Plans Already Under Discussion

Last month, Tether introduced a multi stage proposal involving Twenty One Capital. The plan includes an initial merger between Twenty One Capital and Strike.

Following that step, the proposal outlines a second merger involving the combined entity and bitcoin mining company Elektron Energy.

According to the latest available data, Twenty One Capital currently holds 43,514 BTC, making it the second largest publicly traded corporate holder of Bitcoin.

The company still trails far behind Strategy, led by Michael Saylor, which reportedly holds 843,738 BTC in its treasury reserves.#cryptp#cryptonews https://coinsignals.net https://t.me/coinsignalpublic

Two Altcoins Post Double Digit Gains as Bitcoin Climbs Back Above $77k

While Bitcoin remains significantly down on the weekly chart, the cryptocurrency has staged a modest recovery over the last 24 hours and is now trading above the 77,000 dollar level.

Most large cap altcoins continue to show limited movement, with only minor gains across the market. Ethereum has managed to stay above 2,100 dollars, while BNB continues trading above 640 dollars. Meanwhile, XRP has slipped back into negative territory.

Bitcoin Rebounds Above $77K

Bitcoin briefly climbed to 82,400 dollars on May 11, but the rally quickly lost momentum and turned into another failed breakout.

The following pullback, partly influenced by rising inflation concerns in the United States, pushed BTC below 79,000 dollars within days. Optimism surrounding developments tied to the CLARITY Act later helped fuel another rebound toward 82,000 dollars on Thursday.

However, bearish momentum returned shortly afterward. The market downturn accelerated last Friday, dragging Bitcoin below 80,000 dollars by Saturday before extending losses under 78,000 dollars on Monday. Selling pressure intensified further that afternoon, driving BTC down to a three week low near 76,000 dollars.

After losing roughly 6,000 dollars within a few days, Bitcoin eventually found support and rebounded toward 77,000 dollars. Although the recovery stalled temporarily yesterday, the asset has now reclaimed the level and is currently trading close to 77,500 dollars.

Bitcoin’s market capitalization has also recovered slightly, rising to approximately 1.55 trillion dollars. At the same time, its dominance over the broader altcoin market remains strong at more than 58 percent according to CoinGecko data.

Altcoins Remain Mostly Quiet as WV and XDC Surge

The broader altcoin market has shown little major movement among larger cryptocurrencies.

Ethereum continues defending its support above 2,100 dollars, while BNB remains near 645 dollars. XRP continues to lag behind with a small daily decline, similar to the price action seen in Dogecoin and Cardano.

Among privacy focused cryptocurrencies, Zcash posted one of the stronger gains with a 4 percent increase, while Monero advanced by around 3 percent.

Uniswap and WLFI also moved higher, whereas Stellar and Bitcoin Cash recorded declines of roughly 3 percent.

The biggest movers of the day were WV and XDC Network, which emerged as the only major double digit gainers. WV surged by approximately 20 percent to reach 17.3 dollars, while XDC climbed 12 percent to around 0.036 dollars.

Overall, the total cryptocurrency market capitalization recovered nearly 40 billion dollars over the past day and now stands at approximately 2.66 trillion dollars according to CoinGecko.#crypto#cryptonews https://coinsignals.net https://t.me/coinsignalpublic

Key XRP Indicators Point to a Bullish Turn After Weeks of Selling Pressure

Exchange activity surrounding XRP is beginning to shift after weeks of persistent selling pressure, according to fresh analysis from CryptoQuant.

Recent data from the XRP Multi Exchange Daily Depositing and Withdrawing Transactions Delta revealed that Bybit’s transaction imbalance moved back toward neutral around May 16, ending an extended period of strong deposit activity that had lasted from mid April through mid May.

Exchange Flow Dynamics Begin to Change

Heavy deposit activity on exchanges is often interpreted as a sign of potential selling pressure because assets transferred onto trading platforms are generally easier to sell or liquidate. The latest data suggests that this pressure may now be easing, at least based on transaction count trends.

While Bybit previously dominated exchange inflows, the pattern has now shifted. Both Binance and Coinbase are currently showing stronger withdrawal activity, with outgoing transactions surpassing deposits on both platforms.

This marks a major change compared to the earlier market structure, which was heavily influenced by deposit activity on Bybit.

The updated exchange behavior suggests that XRP market flows are rotating rather than continuing the broader deposit driven trend seen over the past month. As Bybit activity cools down, Binance and Coinbase are experiencing increased withdrawal side momentum.

CryptoQuant also clarified that the metric measures transaction delta rather than the total amount of XRP transferred. As a result, it does not indicate the exact volume of tokens entering or leaving exchanges. Even so, analysts consider the directional shift important because it highlights a meaningful change in trading behavior across several major platforms.

Technical Indicators Hint at Potential Volatility

At the same time, technical signals are beginning to suggest that XRP could soon experience a significant price move.

Crypto analyst Ali Martinez recently noted that XRP’s Bollinger Bands on the three day chart have tightened to their narrowest range in more than a year. This type of setup is often viewed as a precursor to increased market volatility.

XRP has remained locked within a trading range between 1.29 dollars and 1.50 dollars for several months. Martinez explained that a confirmed breakout above 1.50 dollars could open the door for a rally toward 1.80 dollars, while a breakdown below 1.29 dollars may trigger stronger downside pressure.

Institutional Interest Remains Strong

Despite broader market uncertainty, XRP has continued to attract institutional inflows.

According to earlier reports, investment products tied to Bitcoin and Ethereum experienced notable selling pressure recently. However, XRP investment products still managed to record inflows exceeding 67 million dollars last week, demonstrating resilience even during periods of wider market weakness.#crypto#cryptonews https://coinsignals.net https://t.me/coinsignalpublic

Truth Social Withdraws Crypto ETF Plans as Analysts Question the Decision

Crypto ETF ambitions connected to Truth Social have hit an unexpected obstacle after sponsor Yorkville America pulled several exchange traded fund applications linked to the platform.

Recent filings submitted to the U.S. Securities and Exchange Commission revealed that the company withdrew registration statements for the proposed Truth Social Bitcoin ETF and the Truth Social Bitcoin and Ethereum ETF, both initially filed in June 2025. The withdrawal also included the planned Truth Social Crypto Blue Chip ETF.

Trump Media’s ETF Expansion Faces a Pause

Yorkville America explained that the decision to withdraw the crypto ETF filings was tied to a strategic shift toward launching investment products under the Investment Company Act of 1940 rather than the Securities Act of 1933.

The firm said an internal review concluded that the 1940 Act structure would better support the rules based and differentiated investment strategies it intends to develop for investors.

According to Yorkville America President Steve Neamtz, the newer framework allows the company to offer investment approaches that are not possible under the 1933 Act structure.

He also stated that the 1940 Act framework provides stronger investor protections, greater operational flexibility, and broader access to institutional distribution networks.

Yorkville America further explained that the structure includes safeguards such as board oversight, regular audits, fiduciary obligations, and ongoing SEC disclosure requirements. The company also highlighted benefits including wider availability across brokerage and retirement platforms, improved tax efficiency, and reliance on a regulatory system that has governed US investment companies for more than eight decades.

ETF Analyst Questions the Explanation

Despite the company’s justification, prominent ETF analyst James Seyffart expressed skepticism about the reasoning behind the withdrawal.

Seyffart argued that the differences between exchange traded products operating under the 1933 Act and ETFs structured under the 1940 Act are already well understood within the financial industry and are not new developments.

He suggested the decision may instead be linked to intensifying competition in the spot Bitcoin ETF market. In particular, he pointed to the launch of Morgan Stanley’s low fee MSBT product, which reportedly carries a fee of just 14 basis points.

Crypto ETFs Continue to Face Heavy Outflows

The withdrawal comes during a difficult period for the broader crypto ETF market as digital assets remain under pressure.

Spot Bitcoin ETFs have recently recorded significant capital outflows. According to data compiled by SoSoValue, these products experienced losses of nearly 1 billion dollars last week alone.

The trend has continued into the current week, with approximately 980 million dollars more withdrawn during the first two trading days.#crypto#cryptonews https://coinsignals.net https://t.me/coinsignalpublic

Ripple Ranked Ahead of Revolut and Perplexity in CNBC’s Prestigious Disruptor List

Ripple has secured a spot among the top 20 companies in CNBC’s newly released 2026 Disruptor 50 ranking, making it the only blockchain and cryptocurrency related company featured on the list.

The company behind XRP was labeled as “new money” and placed at number 16 among the world’s most disruptive businesses.

Ripple Continues Climbing the Rankings

This is not the first time Ripple has appeared on CNBC’s annual list. The company previously ranked 38th in 2021, but it has steadily climbed higher over the years.

In the latest edition published this week, Ripple reached the 16th position with CNBC briefly describing its business as “new money.”

As part of its rise, Ripple moved ahead of several major companies including Revolut, Perplexity, Canva, WHOOP, Waabi, and Applied Intuition.

Ripple also stood out as the only representative from the crypto and blockchain sector included in the rankings.

Artificial Intelligence Dominates the List

The rapid expansion of the artificial intelligence industry heavily influenced CNBC’s 2026 rankings, with most of the featured companies operating within the AI sector.

Anthropic claimed the top spot and was described as AI’s new leader. OpenAI followed closely behind, while Databricks secured third place.

CNBC noted that AI’s dominance has not only continued but intensified significantly. According to the report, 43 out of the 50 companies on the 2026 list identified artificial intelligence as a core part of their disruptive business models.

Funding figures also surged dramatically. Total capital raised by the 2026 Disruptor companies climbed to 337 billion dollars compared to 127 billion dollars in 2025, representing an increase of more than two and a half times.

Combined valuations also jumped sharply, rising from 798 billion dollars to 2.4 trillion dollars, largely driven by the enormous funding rounds secured by leading AI firms.

XRP Discussions Gain Momentum Online

Following the release of CNBC’s rankings, discussions surrounding XRP quickly gained traction across social media and crypto communities.

Santiment later explained that XRP’s growing online popularity is tied to ongoing debates about its long term role in cross border payments and whether stablecoins or alternative payment systems could eventually replace it.

The analytics platform added that conversations on Reddit have focused heavily on Ripple’s recent strategic initiatives, including experiments involving the RLUSD stablecoin, token issuance activities, acquisitions, and fundraising efforts.

At the same time, community discussions have also highlighted concerns about XRP supply dynamics, institutional adoption trends, potential exits, and speculation surrounding possible corporate selling activity.#crypto#cryptonews https://coinsignals.net https://t.me/coinsignalpublic

Ethereum Trader Sentiment Drops to Lowest Point in Three Years as Bearish Outlook Intensifies

Trading sentiment surrounding Ethereum has plunged to its weakest level since the 2023 bear market, reflecting growing pessimism among traders.

According to CryptoQuant analyst Darkfost, bearish sentiment has reached extreme levels based on the Binance taker buy to sell ratio. The indicator has now fallen back to levels last recorded in September 2023, when ETH dropped to around 1,600 dollars.

The analyst noted that trader confidence in Ethereum has deteriorated sharply over the past several weeks.

Selling Pressure Continues to Build

The weekly buy to sell ratio has declined to 0.91, signaling that sellers are currently dominating the Binance futures market.

This means aggressive sell activity is significantly outweighing buying demand.

Although Ether has largely moved within a wide trading range over the last five years, its current weakness near the lower end of that range remains concerning despite the network’s strong fundamentals.

Darkfost explained that while these market situations are difficult to predict precisely, heavily one sided positioning can sometimes trigger sharp moves in the opposite direction of market consensus.

Crypto analyst Daan also pointed out on Wednesday that ETH has returned to a major support and resistance zone after experiencing volatile price action throughout the past month.

According to him, this level has remained highly important for Ethereum over recent years, similar to the significance of the 2,800 dollar level. He warned that if this support fails, ETH could slide back below 2,000 dollars.

Trader Kamaran Asghar added that Ethereum is currently retesting its rising trendline support while momentum indicators continue showing weakness.

He explained that the broader structure is still intact for now, but selling pressure is increasing. If Ethereum loses this support decisively, a much larger downward move could happen quickly.

Meanwhile, macro trader Rafaela Rigo maintained an extremely bearish stance, telling her followers on X that she still expects ETH to fall as low as 800 dollars during the ongoing bear market, describing it as part of a broader market reset.

ETH Price Outlook Remains Weak

Ethereum’s short term outlook remains under pressure after the asset lost 8 percent over the past week. ETH also dropped to an intraday and six week low below 2,100 dollars during late Tuesday trading.

The decline continued despite positive geopolitical developments in the United States after the Senate advanced legislation that could potentially ease tensions related to the conflict involving Iran.

The next major support zone now sits around 2,000 dollars. Market observers note that a decisive break below this level could trigger another major selloff. Ethereum’s previous low from February 6 was slightly above 1,800 dollars.#crypto#cryptonews https://coinsignals.net https://t.me/coinsignalpublic

Vitalik Buterin Says AI May Improve Crypto Security

Developers may soon rely on artificial intelligence to mathematically confirm that software functions correctly instead of depending entirely on human auditors.

Vitalik Buterin, the co founder of Ethereum, has addressed growing fears that AI powered bug discovery could overwhelm developers and lead to endless blockchain exploits.

According to Buterin, the technology could eventually make crypto systems safer rather than more vulnerable. He believes AI assisted formal verification could become one of the most effective ways to protect crypto platforms and internet infrastructure from security failures.

AI Could Enhance Security Rather Than Undermine It

Formal verification involves creating mathematical proofs that software behaves exactly as intended, allowing computers to verify the results automatically instead of relying on manual human review. Although the concept has existed for decades, it never became widely adopted because producing these proofs manually was time consuming and difficult for developers.

Buterin explained that AI is now changing this process. Instead of developers writing the proofs themselves, they can use AI to generate both the code and the supporting proofs. Developers would then only need to confirm that the proof accurately demonstrates the intended outcome.

He described a future where AI systems become advanced enough to automatically detect vulnerabilities in existing software and questioned what this could mean for systems where even one flaw could result in massive losses for users.

His view is that end to end formal verification allows developers to mathematically guarantee that software performs exactly as expected. In that case, even highly advanced AI systems searching for vulnerabilities would encounter code that has already been proven secure.

Buterin also highlighted several Ethereum related infrastructure projects already exploring this approach. One of them is Arklib, which aims to create a fully formally verified STARK implementation. Another is evm asm, which is developing an Ethereum Virtual Machine written in low level RISC V assembly while verifying its accuracy against a human readable reference version.

When discussing useful AI models for this type of work, Buterin said both Claude and DeepSeek 4 Pro are capable of writing Lean proofs.

He also mentioned Leanstral, a lightweight open weights model specifically fine tuned for Lean. According to him, it can run locally while outperforming much larger general purpose models in formal verification benchmarks.

Formal Verification Still Has Weaknesses

Despite his optimism, Buterin also acknowledged several limitations of formal verification in real world use cases.

He pointed to issues involving verified compilers that still contained bugs, libraries where only some portions of the code were formally proven while the unverified sections caused problems, and situations where specifications were technically correct but failed to reflect what developers actually intended to guarantee.

Even so, Buterin emphasized that formal verification should not replace every other security practice. Instead, he sees it as another important tool in the broader effort to reduce software vulnerabilities over time.

The discussion comes at a critical moment for the crypto industry. On the same day Buterin published his comments, the sector was dealing with its third major exploit in four days after a hacker reportedly stole more than 76 million dollars in crypto assets from the cross chain bridge of Echo Protocol.

Earlier reports also revealed a hack involving THORChain that resulted in losses exceeding 10 million dollars.

Another attack later targeted the Verus Ethereum Bridge, where a hacker exploited the absence of a validation check to steal approximately 11.58 million dollars. This type of isolated vulnerability is exactly the kind of issue that formal verification could potentially prevent.#crypto#cryptonews https://coinsignals.net https://t.me/coinsignalpublic