Devcon VI

Formal Methods for the Working DeFi Dev
10-12, 11:00–12:00 (America/Bogota), Workshop 3

Lecture notes:

Runtime Verification is known for formal methods, but you don't need a PhD to make your code better by thinking like a prover. Here we want to show you how you as a developer or auditor can apply fairly simple mathematical thinking to make your code more robust and your security work simpler. By thinking “invariants first” you can get stronger tests, better docs, and reduce the risk of introducing bugs in your future coding.

Rikard Hjort is an auditor and developer at Runtime Verification, researching formal methods for developing high-assurance smart contracts for blockchains. He has been putting his efforts into the Ethereum, Cosmos and Rust-based ecosystems.