以太坊联合创始人 Vitalik Buterin 对使用人工智能正式审查代码并发现错误产生了兴趣。
让我感到兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找。
目前，以太坊最大的技术风险可能是代码中的错误，任何能够显着改变游戏规则的事情都将是令人惊奇的。
—vitalik.eth (@VitalikButerin) 2024 年 2 月 19 日
他写道：“以太坊目前最大的技术风险可能是代码错误，任何能够产生重大影响的事情都将是令人惊奇的。”
然而，OpenZeppelin 此前使用 OpenAI 的 GPT-4 测试以太坊原生编程语言 Solidity 中智能合约的安全性，得到了不同的结果。
当时，该公司机器学习部门负责人 Mariko Wakabayashi 在 2023 年 7 月发表于 Cointelegraph 的一篇文章中指出，聊天机器人在 28 项指定任务中仅发现了 20 项漏洞。 据她说，在某些情况下，结果“非常糟糕”。 有时神经网络需要引导性问题，而一旦它只是发明了一个不存在的错误。
Wakabayashi 还回忆道，Coinbase 专家在尝试使用 ChatGPT 检查代币的安全性后获得了大致相同的结果。
推荐阅读 1探讨加密货币正和设计：实现正和博弈的新路径
6小时前 2慕尼黑论坛聚焦——无人机战争和人工智能风险成为议程首要议题
6小时前“人工智能本身不会取代人类。 然而，学会使用这些工具的审计员将比那些对新技术视而不见的审计员更有效。”她总结道。
在该出版物的评测中，CertiK 安全总监 Kang Lee 表示，在代码创建中使用 ChatGPT 等解决方案通常会产生比其解决的更多漏洞问题。 总的来说，他建议仅将人工智能工具用作有经验的程序员的帮助。
“我认为 ChatGPT 对于代码分析和逆向工程人员来说是一个非常有用的工具。 这绝对是一个好助手，将大大提高我们的效率。”李强调。
让我们回顾一下，一月份，Buterin 回顾了人工智能技术和加密货币之间的互动前景，强调了四个有希望的协同机会。
在社交网络上订阅 ForkLog
发现文本中有错误？ 选择它并按 CTRL+ENTER
ForkLog 时事通讯：随时掌握比特币行业的脉搏