Random collections of my notes and articles over the years, mostly about maths and/or engineering.

Aave V4. Contribute to aave/aave-v4 development by creating an account on GitHub.

I delivered my traditional Go Cryptography State of the Union talk at GopherCon US 2025 in New York. It goes into everything that happened at the intersection of Go and cryptography over the last year.

We're launching the Unblind Safe Dashboard, a simple utility to verify your pending Safe transactions. It uses Unblind API to translate cryptic data into plain English, ensuring you never have to sign blind again.

概述
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