最近のEthereumコミュニティおよびEthereum 2.0の概要
Talk, 一般社団法人 日本仮想通貨ビジネス協会（JCBA）10月度勉強会, Tokyo, Japan
- Video YouTube
Talks (selected)
Analyzing the Security of Casper
Talk, Devcon 5., Osaka, Japan
Academic Research on Casper
Talk, Devcon 5, Osaka, Japan
Presented our mission as the Ethereum Foundation grant recipient.
- Video: YouTube.
Towards Correct-by-construction Design of Protocols
Talk, Layer2 and Business -with Protocol Researchers and Devs-., Osaka, Japan
Devcon 5 side event. Presented the “correct-by-construction” concept and how it is used in CBC Casper, recommending similar approach in a design of Layer2 protocols.
CBC Casper
Talk, Workshop on Protocols and Proofs for Blockchain Systems @University of New South Wales., Sydney, Australia
Tutorial on blockchain consensus/CBC Casper and present our formal verification on CBC Casper.
Formal Verification and CBC Casper
Talk, EDCON 2019, Sydney, Australia
- Video: YouTube.