La Fundación Ethereum otorga 100.000 dólares para la verificación del compilador Vyper

La Fundación Ethereum ha destinado 100.000 dólares para financiar el desarrollo de un compilador verificado formalmente para Vyper, el lenguaje de contratos inteligentes basado en Python que respalda más de 2.000 millones de dólares en valor total bloqueado en protocolos DeFi. Esta subvención forma parte de una iniciativa de 600.000 dólares enfocada en mejorar la seguridad de Vyper. El objetivo es eliminar las discrepancias entre el código fuente y el bytecode de la EVM, permitiendo a los desarrolladores confirmar que el código ejecutado en la cadena es una representación fiel del código revisado.