Numerical Analysis for DeFi Audits: A TWAMM Case Study by Kurt Barry
Spearbit · 37:04
Kurt from Spearbit uses the team's audit of Cron Finance's TWAMM (time-weighted average market maker) to show four ways to check DeFi math: order-of-magnitude estimates, testing the worst case first, rewriting code so...