Watch / Formal Methods for the Working DeFi Dev

Formal Methods for the Working DeFi Dev

  • YouTube
  • Details

Formal Methods for the Working DeFi Dev

Duration: 01:03:31

Speaker: Rikard Hjort

Type: Workshop


Event: Devcon 6

Date: Oct 2022

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.


About the speakers


Rikard Hjort

Rikard Hjort is researching formal methods for developing high-assurance smart contracts for blockchains. He worked on formalizing WebAssembly in K, and now uses KWasm to verify smart contracts written in WebAssembly. He has an M.Sc. in Computer Science from the Chalmers University of Technology, Sweden. He was an intern at Google in 2016 and 2017, and studied at the University of Tokyo in 2017-2018 where he combined his research on blockchains with studying coercion-resistant voting protocols.

  • Related