Formal Verification of Distributed Validator TechnologyOnline · 1 Mar 2023Hosted by Ethereum Engineering Group.0 talks