CertiK创始人谈区块链安全：从形式化验证到新兴威胁

随着Web3.0的快速发展，区块链安全已成为业内的焦点话题。近日，一位知名区块链安全专家接受了媒体采访，分享了他对行业现状和未来趋势的洞见。

这位专家是某知名区块链安全公司的创始人兼CEO，同时也是一所著名大学的计算机科学教授。他的公司成立于2017年，致力于利用形式化验证技术来增强区块链协议和智能合约的安全性。目前，该公司已为近5000家企业客户提供服务，保护了超过5300亿美元的数字资产，并发现了11.5万多个代码漏洞。

谈到近期的安全态势，专家指出，2025年第一季度链上诈骗造成的损失达16.6亿美元，比上季度激增303%。其中，以太坊仍然是黑客攻击的主要目标，占据了大部分损失。更令人担忧的是，被盗资产的追回率仅为0.38%。

面对日益复杂的攻击手段，区块链安全行业正在积极应对。零知识证明、多方计算等创新技术正在被广泛应用，以提高交易的隐私性和安全性。专家强调，将安全视为首要任务，并将其融入开发全流程，对于构建可信赖的Web3.0应用至关重要。

人工智能在区块链安全中扮演着双刃剑的角色。一方面，AI可以帮助分析智能合约中的漏洞，提高审计效率；另一方面，攻击者也可能利用AI来增强攻击手段。这意味着安全对抗的门槛正在不断提高。

形式化验证是一种通过数学方法证明程序正确性的技术。在区块链领域，它可以与人工审计相结合，全面提升智能合约的安全性。

随着传统金融机构进入区块链领域，安全威胁的类型和复杂程度也在发生变化。专家预计，未来的攻击将更加针对性，可能会集中在企业级弱点、自定义智能合约漏洞以及与传统系统集成接口的安全缺陷上。

总的来说，随着区块链技术的不断发展和应用范围的扩大，安全问题将继续成为业界关注的重点。只有通过持续创新和严格的安全措施，才能为Web3.0的健康发展奠定坚实基础。