Jekyll2024-03-07T12:47:01-08:00https://franck44.github.io/feed.xmlFranck’s Homepagecomputer scientistFranck CassezFormally Verifying the Ethereum 2.0 Phase 0 Specifications2020-08-10T00:00:00-07:002020-08-10T00:00:00-07:00https://franck44.github.io/posts/blog-post-1An update from ConsenSys R&D on their effort to bring trustworthiness to the Beacon Chain and the core foundations of Eth2.]]>Franck Cassez