A Structural Redesign of Onchain Credit

Dimensional analysis from physics can be applied to DeFi smart contracts to catch arithmetic and logic bugs by ensuring formulas maintain consistent dimensions across tokens, prices, and liquidity calculations. The post demonstrates how explicit dimensional…

Privacy Pools SDK Bug Patch and Key Migration

Myths about Passkeys

Claude can generate Lean code all day long, but eventually you have to read the code and more importantly, the theorems verifying the software's correctness properties. Learn how to read Lean theorems in this short guide.

150+ stablecoins tracked, peg monitoring, early warning scores, safety ratings, liquidity analysis, and more: a public good built to fill the stablecoin information vacuum.

I ran 21 AI scans on a smart contract

Lattice Cryptography: LWE vs Ring LWE

After auditing dozens of ERC‑4337 smart accounts, we’ve identified six vulnerability patterns that frequently appear.

Source code verification proofs for the earliest Ethereum contracts (2015-2017). Compiler archaeology and bytecode matching. - cartoonitunes/awesome-ethereum-proofs

Introduction Aave V4 was built under a security-first framework. Security was never treated as a final gate before deployment. Instead, security controls were layered across the entire development lifecycle, starting from early architectural decisions and…

This post has been on my back burner for well over a year. This has bothered me, since with every month that goes by, I become more convinced that anonymous authentication the most important topic …

A zkVM verifier should be faithful to one thing above all else: its public claims. Yet we found six systems where this guarantee breaks. Learn how a subtle ordering bug lets an attacker bypass the cryptography entirely and prove mathematically impossible…

Archer v1 - Introducing micro order books on Solana

An intuitive walkthrough of Minimmit, a two-round BFT consensus protocol that uses dual quorum thresholds to speed up view progression and finality under n >= 5f+1.

A Comprehensive Guide To Smart Contract Testing Methods

This is the third and final article in a series about deterministic deployments. In this entry we'll explore some additional approaches, including a couple of relatively recent and quite interesting ones.

Entry point to the security research knowledge graph; navigates 300+ notes across EVM internals, Solidity, vulnerability patterns, exploit analyses, defense patterns, and DeFi protocol mechanics

An explanation of why BIP-110 is reckless and doomed to fail.