스토리 · 연속 1일 · 2026-05-20
스마트 계약 취약점 자동 증명 도구 'EvoPoC' 등장: DeFi 보안에 새 지평
1개 기사AI/LLM · Agent · Security · Research
타임라인
- 2026-05-20
DeFi 생태계의 보안은 수십억 달러 규모의 자산이 걸린 중대한 문제입니다. 'EvoPoC'는 복잡한 스마트 계약 취약점을 자동으로 증명하는 혁신적인 접근 방식으로, 개발자들의 보안 검증 부담을 크게 줄이고 잠재적 피해를 최소화하는 데 기여할 것입니다.