이더리움 재단, Vyper 컴파일러 검증에 10만 달러 지원

이더리움 재단이 파이썬 기반 스마트 컨트랙트 언어인 Vyper의 컴파일러 검증을 위해 10만 달러를 지원한다. 이번 지원은 총 60만 달러 규모의 Vyper 보안 강화 프로젝트의 일환이다. 소스 코드와 EVM 바이트코드 간의 불일치를 수학적으로 증명하는 공식 검증을 도입해 DeFi 프로토콜의 보안성을 높이려는 취지다. 이는 Vyper 기반 DeFi 프로토콜에 예치된 20억 달러 이상의 자산을 보호하기 위한 조치로 풀이된다.