Intro to Proof Techniques: Proofs. Part 3 of 3 | Cédric Waldburger





The interactive transcript could not be loaded.


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.

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.

Follow Cédric:
Blog: http://www.cedricwaldburger.com
YouTube: http://www.youtube.com/cedricwaldburger
Instagram: http://www.instagram.com/cedricwaldbu...
Facebook (private): http://www.facebook.com/cediwaldburger
Twitter: http://www.twitter.com/cediwaldburger

Blog: http://medium.com/dfinity
YouTube: https://www.youtube.com/dfinity
Facebook: https://www.facebook.com/dfinity.org/
Twitter: http://twitter.com/dfinity
Reddit: http://reddit.com/r/dfinity
Telegram: https://t.me/dfinity
Rocket.Chat: https://dfinity.rocket.chat/


When autoplay is enabled, a suggested video will automatically play next.

Up next

to add this to Watch Later

Add to

Loading playlists...