【慢雾创始人:复杂的智能合约代码GPT-4仍搞不定,但可作为审计辅助】慢雾创始人余弦发推称,「土狗的智能合约代码一般都简单,我相信GPT-4大概率都可以给出正确的安全建议,但复杂的智能合约代码,尤其是有人类诡辩思维在里面的,还有那种需要其他场景(或者更大范围上下文)的漏洞,GPT-4搞不定,但可以作为审计辅助(如果用好的话)。另外,AI可能会骗人」。

None

相关推荐

封面图片

慢雾余弦:GPT-4搞不定复杂的智能合约代码,但可作为审计辅助

封面图片

【慢雾创始人:GPT-4搞不定复杂的智能合约代码,但可作为审计辅助】

【慢雾创始人:GPT-4搞不定复杂的智能合约代码,但可作为审计辅助】2023年03月15日04点50分3月15日消息,慢雾创始人余弦发推称,“土狗的智能合约代码一般都简单,我相信GPT-4大概率都可以给出正确的安全建议,但复杂的智能合约代码,尤其是有人类诡辩思维在里面的,还有那种需要其他场景(或者更大范围上下文)的漏洞,GPT-4搞不定,但可以作为审计辅助(如果用好的话)。另外,AI可能会骗人。看来安全审计公司未来不仅可以用好GPT,还可以审计GPT是不是在‘作恶’。”

封面图片

【慢雾完成对Taproot Chain跨链桥模块智能合约的代码审计】

【慢雾完成对TaprootChain跨链桥模块智能合约的代码审计】2024年03月29日04点52分3月29日消息,比特币Layer2项目Taprootchain宣布,安全公司慢雾已完成对TaprootChain跨链桥模块智能合约的代码审计。审计报告显示,在修复了一个风险漏洞并采纳了6个改进建议后,慢雾给出的审计意见为低风险。此前,Taprootchain曾公告,主网已于3月28日上线,首期白名单空投活动已经圆满结束。跨链功能即将开启,白名单用户可以在开放后在官网领取白名单资格。

封面图片

慢雾完成对 Taproot Chain 跨链桥模块智能合约的代码审计

慢雾完成对TaprootChain跨链桥模块智能合约的代码审计3月29日消息,比特币Layer2项目Taprootchain宣布,安全公司慢雾已完成对TaprootChain跨链桥模块智能合约的代码审计。审计报告显示,在修复了一个风险漏洞并采纳了6个改进建议后,慢雾给出的审计意见为低风险。此前,Taprootchain曾公告,主网已于3月28日上线,首期白名单空投活动已经圆满结束。跨链功能即将开启,白名单用户可以在开放后在官网领取白名单资格。

封面图片

【GPT-4加强版Copilot来了】代码辅助工具Copilot进行重大升级,接入GPT-4,更名CopilotX。#抽屉IT

封面图片

使用ChatGPT审计代码发现了200多个安全漏洞(GPT-4与GPT-3对比报告)

🔍 发送关键词来寻找群组、频道或视频。

启动SOSO机器人