概述
Balancer v2 作为以太坊内最核心的 AMM 之一，不久前遭受了一次严重的黑客攻击，接近 1 亿美金的 ETH 流动性质押代币被盗取。本文将以黑客在主网上发起的 攻击交易 为例，该攻击攻击了 [WETH, BPT, osETH] 池。我们将以此攻击为例，介绍攻击者如何执行攻击，以及攻击合约到底进行哪些链上计算。

On-chain order books look great on paper. You get full transparency, composability with the rest of DeFi, and a clean story for users and regulators: “everything is on-chain.”

But once you start implementing them, things get messy fast. Edge cases around…

Posted by Solidity Team on November 14, 2025

After analyzing Polymarket’s market structure, event data, and smart contracts, we discovered that most Polymarket analyses and dashboards have been mistakenly double-counting volume.

TL;DR: Who’s right about the ADL trilemma?A lot of people are tired already, so here’s the scoreboard up front. Dan is right that: The “ADL tri...

After publishing my series on UOV, one feedback I got was that my blog posts made people feel more confident in the security of the scheme, because “at least someone is looking into these thi…

Why fixed-rate lending never took off in crypto

Demystifying some formal ZK proof jargon

Real-time visualization of MEV builder bids on Ethereum. Watch block builders compete for block space.

Block explorer focused on exclusive orderflow analytics for Ethereum

The Architecture That Fixed Euler’s Frontend Performance

Zero-knowledge proofs are a core building block for blockchain scaling and privacy. In real-world deployments, the fragile part is usually…

Reconstructing EVM Bytecode: Part 1

In this blog post, we present our work to formally verify the determinism of the Keccak precompile ZK circuits in Plonky3 using our 🍀 Garden framework.

Reconstructing EVM Bytecode: Part 2

The Architecture of Verifiable Secrets - A comprehensive guide to Zero-Knowledge Proofs