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…