DeFi losses fell 80% — but one bug can now drain six chains…
arithmetic precision flaw in the pools' invariant math drained roughly $128 million across six blockchains in under
36 stories mentioning it. Newest first.
arithmetic precision flaw in the pools' invariant math drained roughly $128 million across six blockchains in under
ZODL CEO Josh Swihart converges on formal verification — mathematical proofs that guarantee code correctness by construction. Zcash
corporate takeover of Ethereum's validator set. The math behind that call is worth unpacking. ## Why it matters
unlocking more seamless transferability in the future," said Mathew McDermott, Goldman's global head of digital assets. ## Market
precious weeks remaining. ## Market impact Beyond the calendar math, the bill itself isn't finished. Disputes remain between
argues that Bitcoin follows a long-term mathematical growth curve that decelerates naturally as the network matures
matters The narrative is tempting but mathematically flawed. A 32 BTC sale from MicroStrategy, a firm that holds
billion-dollar figure outright — Kalshi called it "fake math from casinos" protecting a monopoly — while the Coalition
targeting a July 4 signing — but the floor math is unforgiving. Republicans hold 53 Senate seats; cloture requires
zone, not a resolved shipping corridor. The macro math is unforgiving. EIA data show 20.9 million barrels
gold's estimated $13 trillion market cap, the math on six-figure and seven-figure prices becomes straightforward
practice rather than brain drain. The fiscal math is stark. The EF's April staking move reached roughly
combinatorics and number theory challenges that have stumped mathematicians for decades. Two of the nine had remained unsolved…alone. The result is significant not just for mathematics but for how the broader research community should think
pass the bill before midterms flip the legislative math
around 5.5% at up to 60% LTV, the math is starting to close against traditional options that often
total federal income tax revenue, making the fiscal math politically contentious but arithmetically manageable. The statement lands amid
where code is not just written efficiently but mathematically proven correct before it ever runs in production. Buterin…verification addresses that by reducing correctness to a mathematical proof rather than a test suite. He was careful
space right now. Formal verification is the mathematical process of proving that a smart contract or protocol behaves
chain data, surfaced via HypurrScan, underscores the brutal math of leveraged perpetuals trading — even a two-week reprieve
closing price of $55.15. The dilution math is manageable at current levels, but the conversion price sets