Hacken与QANplatform联合发布AI驱动的开源区块链威胁建模工具
此内容由赞助商提供。
新闻稿。
爱沙尼亚塔林——2025年7月29日:
领先的Web3安全审计公司Hacken与抗量子区块链平台QANplatform今日宣布推出一款全新的开源AI驱动区块链威胁建模工具。这款工具可由开发者定制,即使针对复杂的Web3项目,也能显著提升安全审计的速度和深度。初步测试表明,该工具在审计QANplatform独有的QAN虚拟机(QVM)方面表现出色,该虚拟机允许开发者使用任何编程语言构建智能合约。这一创新正值Cloudflare等知名网络安全公司利用AI生成安全库的时代。
这款开源AI工具兼容多个主流AI模型,包括DeepSeek、Kimi K2、ChatGPT o3以及Claude Opus/Sonnet 4等,并支持本地运行,为开发者提供了极大的灵活性。通过该工具,开发者和审计人员能够全面了解审计范围,规划威胁/攻击场景,编写测试用例并执行测试。这些功能使得以往难以通过人工完成的大规模审计任务得以实现,解锁了手动操作无法获得的关键洞察。
这款AI驱动的区块链威胁建模工具源于一个现实挑战:对QANplatform革命性的多语言QVM进行审计。作为区块链运行的核心引擎,虚拟机负责支持智能合约的执行。QANplatform的突破性技术在于开发了一种能够运行以任何编程语言编写的智能合约的虚拟机,而传统区块链平台通常仅支持1-2种编程语言。
在QVM审计期间,该AI工具帮助起草了合理的攻击场景,并评估了超过2800个测试用例,发现了22个潜在问题。如此规模的人工审计可能需要数年时间,且容易遗漏关键问题。借助自动化测试,该工具支持更注重安全性的开发流程,从而助力构建更加可靠的Web3应用程序。
Hacken联合创始人兼首席执行官Dyma Budorin表示:“我们为QAN量身定制的AI代理取得了卓越成果。我们在AI驱动的攻击性安全领域的深厚专业知识使我们能够加快审计速度,同时提升审计深度。这并非取代传统审计,而是对其的一次强大升级。我们欢迎QAN将其开源的决定,因为它为Web3社区提供了一个真实案例,展示了新技术如何增强安全性。”
Hacken首席审计师Bartosz Barwikowski补充道:“审计QANplatform基于X86_64架构的确定性运行时QVM是一项革命性技术,而开发这样一款能够成功拓宽复杂技术审计角度的AI工具令人耳目一新。”
QANplatform联合创始人兼首席技术官Johann Polecsak表示:“与Hacken团队合作总是一件非常愉快的事。他们致力于提供最适合其范围的工具和方法,如果现有工具不足,他们会自行开发!我们为QVM审计的成功感到自豪,并很高兴能够共同发布这款开源AI工具,这也符合QANplatform的使命:赋能任何人在区块链上快速安全地构建应用。”
现在就来体验一下Hacken GitHub上提供的开源AI工具吧:https://github.com/hknio/qan-nondeterministic-ai-agent
关于Hacken:
Hacken是一家面向数字资产的端到端区块链安全与合规合作伙伴。自2017年以来,Hacken已为1,500家客户提供服务,其中包括欧盟委员会、阿布扎比国际金融中心(ADGM)、MetaMask、以太坊基金会和币安,致力于保障新数字前沿的安全。作为ISO认证的审计师,Hacken凭借区块链原生专业知识和可靠信誉,帮助组织保护其基础设施并满足现代数字资产法规。
关于QANplatform:
QANplatform是一个为Web3开发提供无与伦比上市速度的区块链平台,为初创企业、中小企业、大型企业和大型政府基础设施项目提供抗量子安全性。其旗舰产品是一款革命性的抗量子混合区块链平台,并具备智能合约功能。它率先引入了允许开发者使用任何编程语言在区块链上构建用例的技术。QANplatform是Linux基金会的成员,也是Linux基金会后量子密码联盟(PQCA)的首批20名成员之一。首个欧盟国家于2024年实施了QAN的抗量子技术。访问https://www.qanplatform.com了解更多信息。
_______________________________________________________________________
Bitcoin.com不对因使用或依赖文章中提及的任何内容、商品或服务而造成或声称造成的任何损害或损失直接或间接负责。