Lean Ethereum introduces native recursive STARKs, post quantum cryptography, and a state redesign targeting 10x fee reduction. Here is what each piece actually does in plain language. (Lark Davis)