legendfan on Nostr: PANews ...
PANews 3月15日，慢雾创始人余弦发推称，“‘土狗’的智能合约代码一般都简单，我相信GPT-4大概率都可以给出正确的安全建议，但复杂的智能合约代码，尤其是有人类诡辩思维在里面的，还有那种需要其他场景（或者更大范围上下文）的漏洞，GPT-4搞不定，但可以作为审计辅助（如果用好的话）。另外，AI可能会骗人。看来安全审计公司未来不仅可以用好GPT，还可以审计GPT是不是在‘作恶’。”
估計Defi界會刮起一股用ChatGPT-4進行代碼審計的風潮，對於Builders, Farmers 都是好事情，唯一不利的是審計公司。
Published at
2023-03-15 12:44:00Event JSON
{
"id": "e9a437a39ce02aba11304b8d05d6b5a8e7ecf2056eb20d27d9fba2e05bfd953d",
"pubkey": "82499c409116cfaa24e5c228fe1ebf2d433bc647f83441c1cd7fe98477498e5d",
"created_at": 1678884240,
"kind": 1,
"tags": [
[
"e",
"f8d20ba3bf20d2c6c4a8afc880cf52316d6dd1968b30d42b3115cc1b4fd33e73"
]
],
"content": "PANews 3月15日，慢雾创始人余弦发推称，“‘土狗’的智能合约代码一般都简单，我相信GPT-4大概率都可以给出正确的安全建议，但复杂的智能合约代码，尤其是有人类诡辩思维在里面的，还有那种需要其他场景（或者更大范围上下文）的漏洞，GPT-4搞不定，但可以作为审计辅助（如果用好的话）。另外，AI可能会骗人。看来安全审计公司未来不仅可以用好GPT，还可以审计GPT是不是在‘作恶’。”\n\n #[0]",
"sig": "4b1ffcf80b71a843f4f430c081c5fafe74059c1b0a484cba03d63a319c7750d8206dbc00975c3de50bc942e73f35809d6bf5a9bd7eee6c6c493079ee21cac7aa"
}
