Watch / Tackling Rounding Errors with Precision Analysis

Tackling Rounding Errors with Precision Analysis

  • YouTube
  • Details

Tackling Rounding Errors with Precision Analysis

Duration: 00:27:01

Speaker: Raoul Schaffranek

Type: Talk

Expertise: Intermediate

Event: Devcon 6

Date: Oct 2022

Rounding errors in smart contracts can lead to severe security vulnerabilities. In this talk, we'll motivate the importance of rigorous numerical analysis through real-world exploits, and review existing precision analysis techniques. We'll then argue for the development of automated error propagation analysis tools to overcome the tediousness of manual efforts.


About the speakers


Raoul Schaffranek

Raoul Schaffranek studied Computer Science at RWTH Aachen University, Germany, where he obtained B.Sc. and M.Sc. degrees. He wrote his master thesis about compositional modeling and fully automated verification of distributed systems and formalized his findings with the Isabelle proof assistant. After leaving University, Raoul joined Runtime Verification as a formal verification engineer, where he spends most of his time on security audits for the Ethereum ecosystem.

  • Related