Assembly & Formal Verification EVM Full Course
Patrick Collins · 648:04 · Watch on YouTube
이 코스(아마도 Cyfrin Updraft의 Patrick Collins)는 Solidity 수준 아래의 스마트 컨트랙트 보안 작업을 가르칩니다. Huff, Yul 및 Solidity 바이트코드에서 raw EVM 옵코드를 읽고 쓰기, Halmos 및 Certora Prover로 컨트랙트를 형식적으로 검증하는 것을 다룹니다. 핵심 포인트는 퍼징이 거대한 입력 공간에 숨겨진 버그를 놓칠 수...