En la búsqueda constante de mejorar la escalabilidad y la eficiencia de la red de Ethereum, surge Starknet como una solución de Capa 2 que utiliza el lenguaje de programación Cairo y la criptografía STARKs.
En esta ocasión, nos sumergimos a fondo en la gobernanza de Starknet y en este artículo exploraremos su primer proceso de votación: Starknet Alpha v0.11.0; lo que significó, de que trata, que nos dejó la misma, y que es lo que viene.
Primero deberíamos preguntarnos ¿Por qué es este fue un gran paso para Starknet? Pero antes de comenzar a indagar y a modo de spoiler, la votación resulto “A FAVOR”
Gracias a esta, en Starknet v0.11.0 se puede declarar, implementar y ejecutar Smart Contrcats en Cairo 1.0, y a su vez, se presentó una nueva llamada al sistema que permitió una transición fluida de los contratos existentes a Cairo 1.0.
Cairo 1.0
Cairo 1.0 mejoró Starknet en dos aspectos: En primer lugar, mejoró la experiencia de desarrollo al ofrecer un lenguaje de programación mejor, que introdujo entre otras cosas, tipos/genéricos/rasgos/manejo de errores en Cairo.
En segundo lugar, Cairo 1.0 juega un papel clave en el viaje de descentralización de Starknet; ya que los contratos de Cairo 1.0 se compilan en Sierra. Esta garantiza que cada ejecución de contrato sea demostrable, lo cual es una propiedad crucial para una Starknet descentralizada.
Sierra
Sierra (S afe Int e rmediate R ep r esent a tion) es una representación intermedia que se compila en la asamblea de El Cairo (CASM – Cairo Assembly). Antes de Starknet alpha v0.11.0, los desarrolladores compilaban con Cairo 0 en CASM y enviaban el resultado directamente al secuenciador de Starknet.
Con Cairo 1.0, los desarrolladores compilan su código en Sierra y envían esta representación intermedia al secuenciador. Luego, el secuenciador lo compila en CASM. De esta manera, se garantiza que Sierra compile en “CASM seguro”, es decir, un subconjunto de CASM que no puede fallar, lo que hace que todas y cada una de las ejecuciones sean demostrables. Esto garantiza a su vez que el secuenciador pueda cobrar tarifas incluso por transacciones revertidas.
Reducción de tarifas
Otra mejora importante que vino en esta versión, es una reducción de 5 veces el costo de los cálculos de computación. Esto hizo que Starknet sea aún más amigable para dApps computacionalmente intensivas.
Starknet alpha v0.11.0 marcó el comienzo del período de transición Regénesis de Starknet. Este plan, se centra en la transición de un sistema basado en Cairo 0 a un sistema basado en Cairo 1.0.
¿Qué más y qué viene?
Además de las mencionadas, se han implementado:
- Nuevos tipos de transacciones
- Poseidon, una familia de funciones hash diseñadas para tener circuitos algebraicos más eficientes.
- Cambios en la API y componentes claves.
- Nueva versión de Starknet JSON-RPC
Mirando el futuro, lo que se viene es lo siguiente:
- Mejoras en el lenguaje Cairo 1.0
- Mejoras de rendimiento para aumentar significativamente las TPS.
- Transición al secuenciador Rust. (Rust CairoVM)
- Data Availability offchain.
APRENDE TODO SOBRE STARKNET
-
Sequencers de Starknet
Explora el papel de los Sequencers en la Arquitectura de Starknet. Estos actores prometen un futuro descentralizado prometiendo mayor robustez y participación en la escalabilidad de Ethereum.