How model checking can help build trust in distributed protocols | Ethereum Foundation | Podwise