El contrato de depósito ethereum 2.0 ha superado el último obstáculo con una verificación formal de extremo a extremo por la verificación de tiempo de ejecución acertadamente nombrada.
"Todos los errores del contrato de depósito se han informado, confirmado y corregido correctamente en el último versión (v0.10.0) ", concluyen.
Hubo algunos errores sutiles, algunos de los cuales tenían que ver con el compilador, pero ahora todos se han solucionado con el lanzamiento de la versión 0.10 hace poco más de una semana.
Eso significa que el contrato de depósito ahora es válido, y no está claro si se lanzará en testnet primero o directamente a mainnet. Esto se debe a que el mes pasado Danny Ryan, el coordinador de eth 2.0, dijo:
“Runtime Verificaton publicará su verificación formal completa, análisis e informe dentro del mes. Una vez que se publique, podemos implementar el contrato ".
Ryan confirmó aún más hoy que la verificación formal fue el último obstáculo, afirmando:
" Esta es la auditoría / verificación principal. El contrato y el trabajo de verificación formal son ahora para revisión pública. Solicitaré explícitamente la revisión de algunos equipos / individuos y lo llamaré en mi próxima publicación de blog ”.
El informe de verificación formal muy detallado ya está disponible, sin otra auditoría planificada para el contrato de depósito y con poco más por hacer en lo que respecta a este código específico, salvo para una revisión por pares final. Por lo tanto, puede que sea el momento de una cuenta regresiva con algunas cosas aún pendientes.
Estamos esperando dos auditorías del código de Beacon Chain, que se esperan en febrero. Esas auditorías probablemente necesitarán algunos cambios que se abordarán en la versión 0.11. Y eso es todo.
El completo en testnet podría lanzarse antes de estas auditorías con un bloqueo de génesis. Hasta donde sabemos, estaban esperando este contrato de depósito primero, por lo que pueden lanzarse antes de la versión 0.11 o esperar las auditorías.
Las redes de prueba sin hueso están disponibles con unos 22,000 validadores en un solo cliente y muchos se están preparando para servicios de replanteo y similares.
Estas redes de prueba de un solo cliente podrían comenzar a conectarse entre sí en un preludio del bloque de génesis de testnet.
Nuestra estimación de nada para el bloque de génesis de testnet es ahora el próximo mes, ya que necesita tres meses para correr.
Así que esto podría salir potencialmente en mayo, con la cuenta regresiva con cinco hitos. El lanzamiento del contrato de depósito, hueso completo testnet, versión v0.11, la versión 1 de luz verde, y finalmente el lanzamiento del bloque de génesis real que da vida a la Prueba de Estaca.