Compilador Vyper enredado con errores, 75% fijo, contrato de depósito no afectado

Un informe de auditoría de Consensys Diligence encontró que el compilador Vyper basado en Python tiene "múltiples errores graves" y "la base de código tiene un alto nivel de deuda técnica que hará que abordar estos problemas sea complejo".

"Dado que la implementación actual de Vyper basada en Python aún no está lista para la producción, se ha trasladado de la organización ethereum github a su propia organización: vyperlang" Piper Merriam de la Fundación Ethereum (EF), dijo antes de agregar:

"Los mantenedores existentes planean abordar los problemas de forma independiente una vez más, pero continuaremos siguiendo de cerca el proyecto".

Los mantenedores existentes dijo hubo "una enorme cantidad de correcciones de errores" en una nueva versión, agregando que el 75% de los 29 errores identificados en la auditoría ahora se han solucionado.

Vyper es como Solidity, un lenguaje de codificación de contratos inteligentes basado en Python, y fue inicialmente creado por Vitalik Buterin, cofundador de ethereum.

El contrato de depósito para ethereum 2.0 usa Vyper en lugar de Solidity, con un compilador que es una especie de "traductor" que convierte el código legible por humanos en código legible por máquina.

Sin embargo, Jamee Weldon, codificador del lenguaje Vyper, dice que los resultados de esta auditoría no afectan el contrato de depósito.

Esa conclusión fue apoyada por Danny Ryan, el coordinador de ethereum 2.0, quien dijo públicamente:

“El objetivo de las técnicas de verificación formal a nivel de bytecode es eliminar el compilador de la imagen.

Aunque estamos de acuerdo en que el compilador actual de Vyper no es apto para la producción cuando no emplea un análisis tan profundo, el código de bytes del contrato de depósito ha recibido un nivel de análisis y escrutinio sin precedentes y está listo para la producción.

Se publicará un informe detallado sobre los métodos de contrato de depósito en cuestión de semanas, y tendremos más discusión en publicaciones de blog sobre el uso de Vyper en este escenario ".

La verificación formal tiene en cuenta cualquier error potencial en el nivel del compilador que pueda afectar el código, y el contrato de depósito se someterá a una auditoría que se espera que se informe este mes.

Dependiendo de los resultados de esa auditoría, el contrato de depósito se lanzará presumiblemente primero en la red de prueba. Eso permitirá que se inicie el testnet ethereum 2.0 completo, y se espera que se ejecute durante al menos tres meses, siempre que todo funcione sin problemas.

Después de ese período de tres meses, esto se activará con ethereans y luego podrán enviar su eth al contrato de depósito que los quema y destruye enviándolos a una dirección que nadie tiene la clave privada, para que no puedan mudarse.

A cambio de esa ética quemada, los depositantes obtienen una cantidad igual de ética en la nueva cadena de bloques ethereum 2.0, donde pueden apostar y ganar una tasa de interés variable dependiendo de la cantidad de participación, que probablemente oscile entre 5% y 8% al año.

Las posibilidades de que esto salga a fines de marzo son inferiores al 25% según un mercado de predicción, y es mucho más probable que salga a fines de la primavera o principios del verano, dependiendo de cómo se desarrolle más.

Una vez que se inicie, la cadena actual de Prueba de trabajo (PoW) continuará funcionando normalmente, y algunos describirán la fase inicial de la cadena de Prueba de baliza de estaca más como un testnet incentivado.

Incentivizado porque el eth es real, pero no se puede hacer mucho con él, salvo para validar los bloques PoW para comenzar, seguido de las funcionalidades completas como una cadena de bloques normal una vez que las etapas de fragmentación salen en algún momento del próximo año a este ritmo por optimista estimados.

Copyrights Criptomonedas.eu