Regenesis de StarkNet: el plan

Publicado originalmente en inglés por StarkWare el 29 de septiembre de 2022.

TL;DR

• Estamos compartiendo un plan detallado para Regenesis, que ha sido moldeado por extensas discusiones con la comunidad de StarkNet. Un agradecimiento especial a Kuba@SWM.
• Regenesis seguirá al lanzamiento de Cairo 1.0, lo que hará que el sistema sea más seguro al permitir contratos StarkNet más simples y seguros.
• Los usuarios deben estar preparados para actualizar su billetera durante la fase de transición
• Los desarrolladores deberán portar sus contratos a Cairo 1.0

Introducción

StarkNet Alpha está progresando hacia Regenesis, un paso importante hacia la producción. En esta actualización, queremos compartir más detalles sobre la motivación principal de Regenesis, Cairo 1.0 , y comenzar a explicar lo que requerirá de los usuarios y desarrolladores. Después de Regenesis, StarkNet funcionará solo con contratos basados ​​en Cairo 1.0 y comenzará desde un nuevo bloque de génesis con el estado existente.

¿Qué requerirá Regenesis de los usuarios? Una simple actualización de su billetera. ¿Qué requerirá de los creadores de las dapps de StarkNet? Portando sus contratos a Cairo 1.0 y siguiendo una sencilla guía de actualización. Específicamente, no habrá reinicio desde un estado limpio y permaneceremos con la misma instancia de StarkNet, lo que significa que no habrá necesidad de una migración.

El plan Regenesis es preservar completamente el estado de las aplicaciones y no incurrir en ningún tiempo de inactividad en las aplicaciones. Por lo tanto, las aplicaciones que sigan las pautas que proporcionaremos podrán iniciarse en StarkNet Alpha Mainnet de inmediato sin ninguna perturbación para su funcionamiento y sus usuarios durante el proceso de regeneración. Estamos comprometidos a trabajar con la comunidad y brindar todo el apoyo necesario para que este proceso sea lo más sencillo posible.

Estamos tomando esta dirección como resultado de extensas discusiones con la comunidad, que incluyeron una sugerencia importante del equipo de Software Mansion.

¿Por qué Regenesis?

Cairo 1.0 y Sierra

La principal motivación de Regenesis es capitalizar las nuevas posibilidades que brinda Cairo 1.0, a saber, la protección DOS de los secuenciadores, la resistencia a la censura y la medición de gas, que son esenciales para StarkNet como red descentralizada.

Cairo 1.0 garantizará que cada transacción pueda ser probada. Esto permitirá que StarkNet incluya transacciones revertidas en bloques y genere una prueba de su ejecución. Este mecanismo permitirá que los secuenciadores cobren por la ejecución de transacciones revertidas, aumentando la protección de DOS contra actores malintencionados. Además, Cairo 1.0 admitirá la medición de gas, lo que permitirá a StarkNet hacer la transición a un mercado de tarifas más intuitivo. Por último, esto permitirá que StarkNet introduzca transacciones forzadas desde L1 y mejorará las capacidades de resistencia a la censura de la red.

Para obtener estos beneficios, los contratos de Cairo v0 y Cairo 1.0 no se pueden mezclar. No se puede probar que las declaraciones incorrectas sean incorrectas, ni puede ocurrir el seguimiento de gas si tenemos partes de los contratos de Cairo v0. Con ese fin, tendremos que eliminar el código Cairo v0 por completo del estado de StarkNet, ergo Regenesis.

Después de Regenesis, tendremos un sistema StarkNet totalmente basado en Cairo 1.0.

Simplificando el Código y el Protocolo

StarkNet, mientras aún estaba en Alpha, ya experimentó muchos cambios. Hasta ahora, cada versión alteró la estructura del sistema operativo, los bloques y las transacciones de StarkNet. Esto provocó que parte del código quedara obsoleto. Sin embargo, los nodos completos y los proveedores de infraestructura (como indexadores y exploradores de estado) deben conocer e implementar todos los comportamientos anteriores de las versiones StarkNet Alpha para sincronizar con el estado sin confianza. Sin Regenesis, esta carga podría ser un impedimento importante para los desarrolladores que considerarían crear tales servicios para StarkNet.

Por lo tanto, antes de pasar a producción, y como preparación para un mundo descentralizado con muchas implementaciones de herramientas de infraestructura, pretendemos reducir la complejidad del protocolo. Lo lograríamos al no requerir infraestructura futura para ejecutar ningún código StarkNet 0.x, y marcar el primer bloque después del período de transición como el punto de génesis.

Wen Regénesis? La línea de tiempo general

Regenesis seguirá al lanzamiento de Cairo 1.0, que está previsto para fines de 2022. Durante el primer trimestre de 2023, StarkNet se actualizará para admitir Cairo 1.0, y nuestro objetivo es migrar a una red totalmente basada en Cairo 1.0 para el final del 1T.

Los usuarios y las aplicaciones tendrán que hacer la transición durante este período.

Entonces, ¿qué necesito saber?

Los desarrolladores de aplicaciones deben tener en cuenta los siguientes aspectos relacionados con Regenesis:

1. Asegúrese de que su contrato esté listo para la actualización. Los detalles técnicos completos del plan se comparten en el Foro de la comunidad de StarkNet . Una vez que se finalicen los detalles, compartiremos una guía concisa.
2. Asegúrese de estar listo para transferir su código a Cairo 1.0. Consulte la siguiente sección para conocer todos los detalles más recientes.

Portar su contrato a Cairo 1.0

Cairo 1.0 es una gran promesa para los desarrolladores de StarkNet. Una mejora en el Cairo existente que será más seguro, mejor y más fácil para escribir contratos, con una sintaxis mejorada, un sistema de tipos completo (¿alguien uint256 nativo?) y más. Los desarrolladores deberán portar sus contratos StarkNet existentes a la sintaxis de Cairo 1.0. Sin embargo, dado que la lógica y la estructura del código seguirán siendo las mismas, se espera que este esfuerzo sea insignificante en comparación con el esfuerzo que tomó desarrollar la aplicación en primer lugar.

En este contexto, vale la pena señalar que puede optar por volver a auditar la versión Cairo 1.0 de su aplicación. Si su aplicación ya se auditó en el pasado, el proceso de nueva auditoría será significativamente más económico y sencillo, ya que los auditores ya están familiarizados con su lógica.

Publicaremos toda la documentación sobre Cairo 1.0, junto con tutoriales y talleres durante el cuarto trimestre de 2022.

Soy usuario de StarkNet. ¿Qué tengo que hacer?

Como usuario, es probable que deba realizar algunas acciones durante Regenesis. Como mínimo, tendrá que actualizar el contrato de su cuenta. Si no lo hace durante el período de transición (unos pocos meses), perderá su cuenta. Dependiendo de la ruta de actualización elegida por los desarrolladores de las aplicaciones de StarkNet que esté utilizando, es posible que deba tomar medidas adicionales.

Les recordamos a todos que StarkNet aún se encuentra en la fase Alfa, y los usuarios deben estar atentos a las comunicaciones de StarkNet y las aplicaciones que están utilizando. Es su responsabilidad asegurarse de actualizar pronto al nuevo sistema. Ser uno de los primeros en adoptar no siempre es fácil, ¡y contamos con usted para hacer su parte!

Para concluir

Cairo 1.0 está a la vuelta de la esquina y ofrece muchos beneficios y mejoras emocionantes para StarkNet y sus desarrolladores. Para cosecharlos, se necesita un evento Regenesis de la red. Afortunadamente, tenemos un diseño en mente que hace que este proceso sea mínimamente disruptivo: completamente fluido para los usuarios y bastante simple para las aplicaciones.

Lo instamos a participar en la discusión de la comunidad y compartir sus comentarios e inquietudes, así como mantenerse actualizado sobre los pasos que deberá seguir como desarrollador de aplicaciones en StarkNet.