# Ethereum Related Articles

HTX News Center provides the latest articles and in-depth analysis on "Ethereum", covering market trends, project updates, tech developments, and regulatory policies in the crypto industry.

Harvard and Others Exit, Six Core Talents Depart in a Month: What's Happening to Ethereum?

Ethereum faces significant internal and external pressures, marked by a wave of high-profile departures from its core development team and a loss of confidence from major institutional investors. Within four months, at least seven key figures—including researchers, protocol leads, and a former executive director—have left the Ethereum Foundation. This exodus, partly triggered by controversy over a new "mission statement" requiring employee sign-off, risks derailing critical roadmap upgrades like PeerDAS and Verkle trees, and has already contributed to delays in the planned Glamsterdam upgrade. Compounding the internal instability, major institutions are reducing their exposure. Goldman Sachs slashed its iShares Ethereum Trust holdings by approximately 70%, and Harvard's endowment fund completely exited its $87 million Ethereum ETF position. Concurrently, the Ethereum Foundation itself has been unstaking and selling ETH for "treasury rebalancing," further unsettling the market. These challenges emerge as Ethereum's competitive dominance erodes. Its share of the total DeFi market has fallen to around 54%, with rivals like Solana and Base gaining ground. In fee revenue, it was recently outpaced by newer chains like Hyperliquid. Furthermore, a trend of institutions exploring proprietary or hybrid blockchains (exemplified by Circle's Arc) threatens Ethereum's position as the premier settlement layer for institutional assets. While founder Vitalik Buterin's vision for Ethereum as a secure, decentralized "technical sanctuary" and "world computer" remains clear, its realization is threatened by the concurrent loss of execution capability, institutional patience, and market share during a critical competitive phase.

链捕手18h ago

Harvard and Others Exit, Six Core Talents Depart in a Month: What's Happening to Ethereum?

链捕手18h ago

Vitalik's Latest Long Read: In the AI Era, How Can Code Become More Secure?

Vitalik Buterin explores the role of formal verification as a critical tool for software security, especially in the AI era and for blockchain systems. He defines formal verification as using machine-checkable mathematical proofs to verify that code meets specified properties, moving beyond manual auditing. The article highlights that while AI can generate code and find vulnerabilities rapidly, it also makes formal verification more accessible by assisting in writing proofs. This is crucial for Ethereum's complex components like STARKs, ZK-EVMs, consensus algorithms, and high-performance EVM implementations, where bugs can lead to irreversible losses. Vitalik argues that formal verification enables a powerful "separation of concerns": AI can write highly optimized (e.g., assembly) code for efficiency, while a separate, human-readable specification defines correctness. A machine-checked proof then verifies their equivalence. This paradigm can create a more secure "trusted core" of software. However, he cautions that formal verification is not a panacea. "Proven correctness" depends on the accuracy of the specifications and proofs themselves, which can be wrong or incomplete. Risks include unverified code sections, hardware-level side-channel attacks, and overlooked assumptions. The true goal is not absolute proof but increased confidence through redundant expressions of intent—using code, tests, types, and formal proofs—and automatically checking their consistency. The article concludes that AI and formal verification are complementary: AI enables scale, while verification ensures accuracy. For critical systems, this combination offers a path toward stronger security in a future with powerful AI adversaries, helping to maintain the defensive advantage essential for a decentralized internet.

marsbitYesterday 09:56

Vitalik's Latest Long Read: In the AI Era, How Can Code Become More Secure?

marsbitYesterday 09:56

Currency and Stock Market Barometer: Strategy Invested Over $2 Billion to Buy Over 24,800 BTC Last Week; Bitmine's ETH Holdings Increase to 4.37% of Total Supply (May 19)

Crypto & Stock Market Watch: Institutional BTC Buying Surges, ETH Holdings Grow Major listed companies aggressively accumulated Bitcoin last week, with net purchases skyrocketing over 44x to $2.03 billion. Strategy (formerly MicroStrategy) led the charge, spending approximately $2.01 billion to buy 24,869 BTC, bringing its total holdings to 843,738 BTC. Overall, listed firms (excluding miners) now hold 1,113,841 BTC, valued at ~$86.16 billion. On the Ethereum front, Bitmine purchased 71,672 ETH in the past week. It now holds 5,278,462 ETH, worth $11.56 billion and representing 4.37% of ETH's total supply. A significant portion (4,712,917 ETH) is staked, generating an annualized yield of $289 million. Industry leaders note a divergence from the MicroStrategy model, with ETH treasury firms increasingly focusing on staking yields and simpler balance sheets. In traditional markets, Morgan Stanley warns of a potential significant U.S. stock market correction if bond yields and volatility continue rising. Investment giants like Berkshire Hathaway and Bridgewater adjusted portfolios in Q1, with Bridgewater notably increasing its stakes in chipmakers like Nvidia, Broadcom, and Micron while shedding software stocks. Among other crypto-focused public companies, Solana treasury firm Upexi reported a widened net loss of $109 million for its fiscal Q3, driven by a decline in its crypto holdings' value. Meanwhile, Hyperion DeFi, a HYPE token treasury company, reported a Q1 net profit of $8.8 million and increased its HYPE holdings past 2 million tokens.

marsbitYesterday 09:28

Currency and Stock Market Barometer: Strategy Invested Over $2 Billion to Buy Over 24,800 BTC Last Week; Bitmine's ETH Holdings Increase to 4.37% of Total Supply (May 19)

marsbitYesterday 09:28

Deconstructing the Real Risks of DeFi Lending: Annual Loss Rate Only 0.03%

Deconstructing the true risks of DeFi lending reveals an annual loss rate of only 0.03% from hacks and exploits. Analysis of DeFi Llama data (excluding cross-chain bridge incidents) for EVM and Solana lending protocols shows that despite high historical attack frequency due to concentrated assets, the sector's security has matured significantly. Over the past year, non-cross-chain lending on these chains saw gross losses of $309M, with net losses after recoveries at $301M. Against a daily average TVL of $99.6B, this translates to a minimal annualized loss rate of approximately 0.03%. The Euler Finance case in 2023, where $197M was fully recovered, exemplifies improving asset recovery capabilities, which now account for roughly 20% of losses in this sector. Loss events follow a log-normal distribution: most are small-scale, with catastrophic losses being rare outliers. This pattern, combined with the massive scale of the total lending market, means single incidents rarely impact the broader ecosystem. It underscores the effectiveness of portfolio diversification and provides a basis for sustainable insurance models. The data indicates DeFi lending has entered a mature phase where risks are quantifiable, categorized, and manageable. The actual financial loss relative to the total capital deployed is extremely low, challenging prevailing narratives of systemic risk.

marsbit2 days ago 02:15

Deconstructing the Real Risks of DeFi Lending: Annual Loss Rate Only 0.03%

marsbit2 days ago 02:15

活动图片