AI审计 - 鸿途知科网

区块链区块链技术比特币公众号手机端

Circom-Auditor：用于发现 Circom 代码漏洞的开源 Skills - ZK/SEC Quarterly

安全 · AI · 审计 Circom-Auditor：用于发现 Circom 代码漏洞的开源 Skills 在过去的几个月里，我们一直在撰写关于使用 AI 发现密码学代码漏洞的文章：包括 Cloudflare 的 CIRCL、Open...

circom 零知识证明安全审计 AI审计 zk-skills 编码代理

2个月前 (08-29) 127 阅读 #区块链
Wake Arena：AI驱动的审计服务

Wake Arena: 基于图驱动推理的多智能体 AI 审计在审计竞赛和生产协议中进行基准测试 2025年12月： Josef Gattermayer, Ph.D.1,2 Michal Převrátil1 Martin Ves...

智能合约漏洞 AI审计形式验证 Solidity

10个月前 (12-18) 232 阅读 #区块链

1