Ghila Castelnuovo - CVL from ERC20 to Read Only Reentrancy
[EthCC] Livestream 6 · 15:47 · Watch on YouTube
Gila Castelnuovo, Certora의 엔지니어링 디렉터는 스마트 계약의 형식 검증이 박사학위를 필요로 하지 않으며 장난감 같은 속성을 훨씬 넘어간다고 주장합니다. 이를 입증하기 위해 그녀는 세 가지 CVL(Certora 검증 언어) 예제를 보여줍니다. 첫 번째는 간단한 ERC20 전송 확인, 두 번째는 MakerDAO의 DAI 불변성으로, 배포 3년 후 실제 버그를 발견했으며...