Numerical Analysis for DeFi Audits: A TWAMM Case Study by Kurt Barry
Spearbit · 37:04 · Watch on YouTube
Spearbit의 Kurt는 Cron Finance의 TWAMM(시간 가중 평균 시장 제조자) 감사를 통해 DeFi 수학을 확인하는 네 가지 방법을 보여줍니다: 크기 차수 추정, 최악의 경우부터 테스트, 반올림으로 인한 언더플로우를 방지하도록 코드 재작성, 그리고 SMT 솔버(Z3)를 사용하여 반례를 찾거나 배제하는 것입니다. 그가 다루는 문제 중 어느 것도 심각하지는 않았지만, 하나는...