十年的形式化方法、高保障工程和严谨科学并没有阻止客户多样性的缺乏使链条停滞 Ethereum 解决了这个问题