# Сопутствующие статьи по теме Ethereum

Новостной центр HTX предлагает последние статьи и углубленный анализ по "Ethereum", охватывающие рыночные тренды, новости проектов, развитие технологий и политику регулирования в криптоиндустрии.

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.

marsbit05/19 09:56

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

marsbit05/19 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.

marsbit05/19 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)

marsbit05/19 09:28

Harvard University May Have Lost $150 Million in Cryptocurrency Trading! Has Liquidated Ethereum and Significantly Reduced Bitcoin ETF Positions

Harvard University's endowment fund, managed by Harvard Management Company (HMC), recently disclosed significant reductions in its cryptocurrency holdings. According to its latest 13F filing, HMC sold its entire position in the BlackRock Ethereum Spot ETF (ETHA) and reduced its stake in the BlackRock Bitcoin Spot ETF (IBIT) by 43% in Q1 2026. This marks a sharp reversal from its peak holdings of $443 million in crypto assets just two quarters prior, bringing the current value to approximately $117 million. Analysis suggests these sales likely resulted in substantial losses. Estimates indicate HMC's Bitcoin ETF trades incurred a roughly 28% loss (over $100 million), while its brief Ethereum position fell about 35% (over $30 million), totaling potential losses exceeding $150 million. The timing of HMC's trades—aggressively adding to Bitcoin near its all-time high in late 2025 and buying Ethereum just before a market downturn—has drawn criticism as potential "buying high and selling low." However, the context points to broader pressures. Harvard faced a $113 million operating deficit in FY2025 due to cuts in federal research funding and a significant tax increase on endowment income. With much of its portfolio locked in illiquid private equity and hedge funds, the highly liquid crypto ETFs presented the most straightforward assets to sell for liquidity and risk management. Furthermore, HMC's Bitcoin ETF holding had grown to 20% of its public portfolio by Q3 2025, prompting necessary rebalancing. The move contrasts with other institutions like Mubadala (increasing Bitcoin ETF holdings) and Dartmouth College (maintaining and diversifying crypto exposure). Ultimately, Harvard's actions appear driven by a confluence of fiscal stress, liquidity needs, and portfolio risk control rather than a simple market-timing strategy, highlighting how traditional institutional risk calculus applies even to volatile crypto assets.

marsbit05/18 11:50

Harvard University May Have Lost $150 Million in Cryptocurrency Trading! Has Liquidated Ethereum and Significantly Reduced Bitcoin ETF Positions

marsbit05/18 11:50

Annual Loss Rate Only 0.03%: Data Disassembles the Real Risk of DeFi Lending

DeFi lending's real-world annual loss rate from hacks and exploits is approximately 0.03% of the Total Value Locked (TVL), excluding cross-chain bridge incidents. This analysis, based on data from DeFi Llama, shows that while lending protocols are frequent targets due to their concentrated assets, the actual financial impact relative to the sector's massive scale is minimal. The overall DeFi hack total of $77.51B is heavily skewed by cross-chain bridge breaches. Removing those, losses drop to $45.18B, with lending and AMM protocols being the most affected non-bridge categories. Risk has significantly improved as the ecosystem has matured. For the year leading to May 2026, net losses in EVM and Solana lending protocols were $30.1 million against an average daily TVL of $99.6 billion, resulting in the 0.03% loss rate. Notably, the industry's asset recovery capability, exemplified by the full recovery and surplus from the Euler Finance hack, mitigates net losses, with a ~20% recovery rate for non-bridge lending incidents. Attack scale follows a log-normal distribution, meaning most incidents are small, and catastrophic losses are rare. This demonstrates that diversification across protocols is an effective risk mitigation strategy. The data indicates that DeFi lending has evolved into a measurable, compartmentalized, and relatively low-risk sector within the broader digital asset landscape.

marsbit05/18 07:46

Annual Loss Rate Only 0.03%: Data Disassembles the Real Risk of DeFi Lending

marsbit05/18 07:46

活动图片