Formally verifying consistency between Solmate and Solady using Halmos

Casual Glider guides and tips

Detect proxy contracts and their target addresses using an EIP-1193 compatible JSON-RPC request function

A curated list of Zero Knowledge links, mostly focusing on blockchain.