Gate 广场「创作者认证激励计划」优质创作者持续招募中!
立即加入,发布优质内容,参与活动即可瓜分月度 $10,000+ 创作奖励!
认证申请步骤:
1️⃣ 打开 App 首页底部【广场】 → 点击右上角头像进入个人主页
2️⃣ 点击头像右下角【申请认证】,提交申请等待审核
立即报名:https://www.gate.com/questionnaire/7159
豪华代币奖池、Gate 精美周边、流量曝光等超 $10,000 丰厚奖励等你拿!
活动详情:https://www.gate.com/announcements/article/47889
Certora首席科学家Mooly Sagiv认为,最大的加密安全风险并非复杂的代码漏洞,而是密钥管理和人为错误等更简单的问题。在Breakpoint 2025大会上,他强调审计并不能保证安全,并提倡将形式化验证与人工审查相结合。Sagiv指出,集成到持续集成(CI)管道中的形式化验证可以发现“未知的未知”,但他警告说,其有效性取决于属性的正确定义。他还淡化了人工智能作为生存威胁的重要性,认为它既是攻击者的工具,也是防御者的工具。