Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Oct 8, 2018
This is Part 3 of my conversation with Robert, who gives an overview of the steps to actually prove that the desired Chain Properties hold in the given model. Starting from protocol events and their relative timing, one can draw interim conclusions that finally allow to make the proofs.
About Cédric: Cédric Waldburger joined DFINITY early on and is now focusing on the Growth. He leads the initiatives on Developer and Mining adoption, alongside with heading some of DFINITY's partnerships. Prior to joining DFINITY, he's been a founder and investor and has been a crypto enthusiast since 2012. He has been passionate about startups. Having founded his first company at the age of 14, he has built various tech companies related to productivity, computer vision, and cryptocurrencies. In this immensely exciting and obliging journey, he instigates the avenues of bringing the maximum impact wherever he can and is skilled to. For accomplishing this journey and his drive, he hasn't owned an apartment in several years. Instead, he has since lived out of a bag with only 64 things.
About DFINITY: The DFINITY project was formed to research ways of enabling public decentralized networks to host a virtual computer of unlimited capacity. This rests upon a new blockchain computer that is similar in concept to Ethereum but has vastly improved performance and, ultimately, unlimited capacity.