VITALIK：无清算DeFi即将到来 Buterin表示，多支团队正在基于他的提议开发不同版本的系统，用期权机制取代强制清算。 他强调，在任何系统上线之前都需要进行形式化验证。