イーサリアム財団、Vyperコンパイラの検証に向け10万ドルの助成金を拠出

イーサリアム財団は、スマートコントラクト言語「Vyper」の形式検証済みコンパイラ開発に対し、10万ドルの助成金を拠出した。これはVyper関連のセキュリティ強化を目的とした総額60万ドルの「ETHSecurity Initiatives」の一環である。VyperはCurveやYearnなどのDeFiプロトコルで20億ドル以上のTVLを支えており、今回の取り組みはソースコードとEVMバイトコード間の不整合を解消し、検証可能なコンパイル環境の構築を目指すものとなる。