Daejun Park

· 以太坊Pectra硬分叉通过11个EIP引入增强功能，其中三个EIP使用汇编语言提升Gas效率但带来安全隐患。为应对风险，采用形式化验证工具Halmos确保Pectra系统合约正确性。文章介绍Pectra系统合约及汇编挑战，并展示形式化验证过程和工具选择。