Ethereum Foundation destina US$ 100 mil para verificação do compilador Vyper

A Ethereum Foundation anunciou um subsídio de US$ 100 mil para o desenvolvimento de um compilador formalmente verificado para a linguagem Vyper. O projeto faz parte da segunda rodada da iniciativa ETHSecurity, que alocou US$ 600 mil para melhorias de segurança na linguagem. O objetivo é garantir que o bytecode gerado pelo compilador corresponda exatamente ao código-fonte, mitigando riscos em protocolos DeFi que somam mais de US$ 2 bilhões em valor total bloqueado (TVL), como Curve e Yearn. A iniciativa conta com a colaboração da Foundation for Verified Software e utiliza pesquisas em semântica formal com o assistente de prova HOL4.