OpenZeppelin 完成了对 Flashbots 的 Flashtestations 协议的两阶段审计，该协议是一个用于 TEE 验证和 Intel DCAP 认证的链上系统。审计覆盖了智能合约（FlashtestationRegistry、BlockBuilderPolicy）和部署脚本。共发现 24 个问题：2 个中等、6 个低严重性和 16 条备注，未发现严重或高危问题。中等严重性发现包括：与认证合约的费用不兼容（可能导致 TEE 注册失败）以及区块构建证明验证中的版本检查绕过。两者均已修复。低严重性问题涉及缺少零地址检查、缺乏 EIP-712 签名的截止日期保护以及缺少 nonce 签名作废；大部分已修复或部分解决。该系统旨在增强透明度、强制执行优先级排序并减轻 Unichain 上的 MEV。

关键事实

• 发现两个中等严重性问题：费用不兼容和版本检查绕过。
• 未发现严重或高危漏洞。
• 审计分两阶段进行，共 24 个问题，其中 20 个已解决。
• 该系统在 Unichain 上使用 Intel DCAP 认证进行 TEE 验证。
• 缺少截止日期保护和零地址检查属于低严重性问题。