Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
Using encryption for authentication in large networks of computers