Bounding Rounding Errors in Integer Maths
Duration: 00:19:06
Speaker:
Type: Talk
Expertise:
Event: Devcon
Date: Jul 2026
Yanis De Busschere, Security Engineer, ChainSecurity
In this session we will explore lesser-known facts around rounding error bounds in DeFi math and how to reason about them rigorously.
An infamous example for rounding errors are ERC-4626 vaults. Hence, we dissect the ERC-4626 conversion formula that OpenZeppelin came up with in defense. We will show how this virtual liquidity works and the absolute and relative error bounds that can be observed compared to the real-valued formula.
https://defisecuritysummit.org/schedule