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, because every month that goes by I become more convinced that anonymous authentication the most important topic we c…

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.