이더리움 재단이 스마트 컨트랙트 언어 바이퍼(Vyper)의 형식 검증 컴파일러 개발에 10만달러를 지원한다고 크립토브리핑이 전했다. 현재 바이퍼 기반 스마트 컨트랙트는 커브(Curve), 연(Yearn) 등 디파이(DeFi) 프로토콜에서 20억달러 이상의 총예치자산(TVL)을 처리하고 있다.