本研究提出了SymGPT工具,结合自然语言理解与符号执行,自动验证智能合约是否遵循以太坊ERC标准。实验结果显示,SymGPT在4,000个合约中识别出5,783处违规,表现显著优于现有技术。
完成下面两步后,将自动完成登录并继续当前操作。