我们很高兴地宣布，@NethermindSec 的形式验证团队在 @PetarMax 的带领下，与 @SuccinctLabs 合作，并得到了 @ethereumfndn 的大力支持，已经正式验证了 @leanprover 中 SP1 HyperCube RISC-V zkVM 的所有核心 RV-64 芯片的正确性。 1/

Optimism的第8季审计补助计划现已上线。 超过450,000个OP仍可供在Superchain上构建的团队使用。 请联系我们的团队。我们将指导您完成审计补助流程，并帮助您向补助委员会提交申请。 🧵

噪音降低。信号增强。🔥 自六月以来，AuditAgent 将误报减少了 2 倍，同时保持了所有真实的正面结果（甚至略有改善）。