Lean Ethereum 引入了原生递归 STARKs、后量子密码学，以及旨在实现费用减少 10 倍的状态重构。以下是每个部分的通俗解释。