2018.03.08 2018.08.02 イーサリアム(Ethereum) EthereumのPoS実装”Casper”と、合意形成プロトコル”CBC(Correct-by-Construction)”とは?