Último progreso de Eth2: testnet Altona utilizará un nuevo contrato de depósito

Como siempre, siguen sucediendo muchas cosas en el frente de eth2. ¡Además de las actualizaciones de progreso por escrito y otros resúmenes públicos, los diversos equipos de clientes, colaboradores y miembros de la comunidad/validadores potenciales han estado ocupados!

Hoy, este artículo cubrirá algunas noticias importantes relacionadas con el contrato de depósito (contrato de depósito), así como pasos importantes hacia la versión v0.12 de la especificación.

El nuevo contrato de depósito de Solidity se verificó formalmente y se agregó al programa de recompensas por errores;

La red de prueba multicliente Eth2 Altona implementando el lanzamiento de la especificación v0.12 se espera para la próxima semana;

Continuar financiando los esfuerzos de búsqueda de errores de Sigma Prime para  beacon-fuzz  (fuzzing diferencial multicliente);

¡Hoy anunciamos una versión nueva y más segura del contrato de depósito  eth2, escrito en Solidity! El contrato mantiene la misma interfaz pública (con la función  EIP-165 supportsInterface  agregada), por lo que este es un cambio completamente transparente para todos los clientes y herramientas de desarrollo existentes. De hecho, el código de Solidity incluido es principalmente una traducción línea por línea del contrato original de Vyper (nota: el contrato de depósito original fue escrito en el idioma de Vyper) para ayudar en la revisión y verificación formal.

En los últimos meses, Alex Beregszaszi ha reescrito el contrato de depósito de eth2 utilizando el lenguaje Solidity. El contrato ha sido revisado por un equipo de expertos de Solidity y verificado formalmente por Runtime Verification, reutilizando en gran medida la versión original de Vyper del contrato. Escrito por el Especificación K.

Si bien el contrato anterior de Vyper se probó, revisó y verificó formalmente de manera rigurosa, todavía existen preocupaciones subyacentes sobre la seguridad actual del compilador de Vyper. Durante la verificación inicial del código de bytes de Vyper, se encontraron (y corrigieron) varios errores del compilador. Además de la verificación formal, Suhabe Bugrara (desarrollador de ConsenSys) también realizó una revisión del contrato de depósito de Vyper y la verificación formal, lo que condujo a muchas mejoras en la especificación formal (que eventualmente contribuyó a la revalidación del contrato de Solidity). Aunque la verificación formal del contrato de Vyper se evalúa como sólida, Suhabe no recomienda que el código de bytes del contrato sea seguro siempre que el contrato utilice el compilador de Vyper.

Mientras tanto, ConsenSys Diligence y Trail of Bits informaron investigaciones de seguridad en el compilador Vyper, descubriendo más errores y planteando preocupaciones sobre problemas sistémicos con la base de código del compilador.

A pesar de estos descubrimientos, Vyper sigue siendo un lenguaje prometedor. Todavía se está desarrollando un compilador basado en Python, y muchos colaboradores están trabajando para formalizar el lenguaje y trabajar en otros compiladores.

Si bien tenemos una gran confianza en el código de bytes verificado formalmente, los problemas encontrados en el compilador de Vyper nos hicieron depender en gran medida de la verificación del código de bytes. Es mejor comenzar con un compilador que generalmente se considera seguro y verificar el código de bytes que comenzar con un compilador que tiene problemas conocidos y verificar que esos problemas conocidos (o desconocidos) no aparezcan en el código de bytes.

Para que no queden dudas sobre la seguridad de este contrato de depósito clave, proponemos este nuevo contrato de depósito de Solidity para el lanzamiento de la red principal eth2, y damos la bienvenida a los contratos de Solidity y a los expertos en código de bytes de EVM (Ethereum Virtual Machine) en este campo. revisar el contrato de depósito y la verificación formal asociada. Cualquier problema encontrado es elegible para el programa de recompensas Eth2 Phase 0.

Tenga en cuenta que este nuevo contrato de depósito aún no ha llegado al repositorio de especificaciones de  eth2. Integraremos este nuevo contrato de Solidity esta semana y pronto lanzaremos una versión pequeña. Quiero anunciar esto de inmediato con este artículo para darle a la comunidad suficiente tiempo para revisarlo.

Desde que se lanzó la versión  v0.12 de la especificación Eth2 , varios equipos de clientes han trabajado arduamente para actualizar y probar sus bases de código en preparación para la red de prueba pública.

Veo muchas preguntas de la comunidad (en discord, reddit, etc.) que preguntan por qué una actualización aparentemente relativamente menor tarda tanto en completarse. Si bien el código base de cada cliente y los desafíos asociados varían, cada equipo de cliente se ha tomado muy en serio el lanzamiento de especificaciones v0.12. Si bien las actualizaciones en la especificación no son demasiado onerosas, se ha invertido más tiempo en fortalecer antes de preparar a estos clientes para implementar la última versión semi-principal de la especificación (es decir, v0.12)  antes de que la red principal entre en funcionamiento Seguridad, funciones optimizadas y mejoras generales del cliente.

La primera red de prueba pública multicliente  Altona  que implementa la especificación  v0.12  llegará pronto y se espera que se lance dentro de los próximos 7 días. Esta red de prueba estará completamente controlada por los equipos de clientes asociados (que se planea que sean Lighthouse, Nimbus, Prysm y Teku), Afri Schoedon y algunos miembros de la Fundación Ethereum. Después de que se lance la red de prueba, se publicarán las direcciones de contrato de depósito relevantes para permitir la participación pública.

Al igual que otras redes de prueba multicliente lanzadas hasta ahora, Altona es más una red de desarrollo (devnet) que una red de prueba centrada en el usuario final. En otras palabras, Altona es, ante todo, permitir que cada equipo cliente verifique la seguridad del software v0.12 en un entorno de producción y permitir que los ingenieros de eth2 resuelvan posibles errores en un entorno multicliente. Habiendo dicho eso, también lo invitamos a unirse e impulsar el crecimiento de Altona a lo largo del tiempo.

Si Altona tiene éxito en general, el siguiente paso es lanzar una red de prueba más grande y centrada en la comunidad que tendrá la configuración de la red principal y se lanzará con al menos 16 384 validadores.

La red de prueba de Altona utilizará el nuevo contrato de depósito de Solidity mencionado anteriormente. Como dije, este es un cambio 100% transparente al software del cliente eth2, ya que la interfaz pública es la misma. Todavía estoy muy emocionado de poder probar este contrato en un entorno de producción.

Nos complace anunciar el financiamiento continuo de  el esfuerzo de fuzzing diferencial multicliente de Sigma Prime: beacon-fuzz. Este trabajo ha sido un gran éxito hasta el momento, encontrando errores en todos los clientes del sistema.

Puede consultar la entrada de blog de  Sigma Prime  para seguir el progreso. También esté atento a los planes futuros para expandir  beacon-fuzz , planes para involucrarlo con "fuzzing en casa" y tal vez encuentre un error con su dispositivo doméstico.

Escrito por: Danny Ryan

Traducción: Unitimes_David

Tags：

Bitcoin