Dev.toLLM 3종 벤치마크를 통한 Smart Contract Audit 자동화 가능성 검증Can LLMs Audit Smart Contracts? Benchmarking Claude Opus 4.7, GPT-5.5, and Gemini 3.1 ProSecurityadvanced26 분 소요2026년 5월 6일