10 tahun metode formal, rekayasa jaminan tinggi, dan sains yang cermat tidak menghentikan kurangnya keragaman klien untuk menghentikan rantai Ethereum memperbaiki ini