目前唯一让我对以太坊领域感到兴奋的事情： - DeFi 2.0 --> n + p = 1 - 数学上严谨的代理形式化验证。