Skip to content
Codex（和 GPT-4）在智能合约审计上无法胜过人类
blog.trailofbits.com | 博客 | #ai-security | #web3 | #codex | #smart-contracts | #security-audit | #llm | #trail-of-bits | #solidity | #gpt-4 | #openai-codex
摘要
Trail of Bits 试点 Toucan 项目，将 OpenAI Codex 集成到 Solidity 审计工作流：尽管团队投入大量提示词工程，模型仍难以推理合约所有权、重入（re-entrancy）等高层概念，GPT-4 虽有提升但仍无法替代人工审计，配套 LLM 工具生态也尚不成熟。
- 发布时间
- 收录时间