Ryuya Nakamura

Ryuya Nakamura

Executive Officer at LayerX Inc. Contact: Twitter DM (@nrryuya) or nrryuya at gmail.com

CBC Casper

Date:

Tutorial on blockchain consensus/CBC Casper and present our formal verification on CBC Casper.