Hardening Blockchain Security with Formal Methods

Due to the potentially disastrous consequences of bugs in blockchain applications, there is a pressing need to perform rigorous security analysis of blockchain-related programs, ranging from blockchain protocols to smart contracts to zero-knowledge proofs. This talk will give an overview of the solutions provided by Veridise Inc, a company that provides state-of-the-art products and auditing services targeting blockchain applications. The talk will provide a brief introduction to the field of formal methods and highlight how it can help improve blockchain security at scale.