Cairo 1.0 está aquí

O, como dirían los antiguos egipcios: “Los jeroglíficos son ahora mucho más fáciles”.

Publicado originalmente en inglés por StarkWare el 5 de enero de 2023.

TL; DR

• ¡La primera versión de Cairo 1.0 está aquí!
• Los desarrolladores pueden comenzar a escribir y probar los programas de Cairo 1.0
• La paridad de característica con la versión anterior de Cairo se alcanzará en las próximas semanas.
• El soporte para los contratos de StarkNet se agregará en la próxima versión de StarkNet Alpha

Antecedentes

Nos complace anunciar que la primera versión pública de Cairo 1.0 ya está disponible. Esto marca un hito importante en la evolución de Cairo, que se introdujo por primera vez en 2020 como un lenguaje de programación completo de Turing para escribir eficientemente programas demostrables por STARK. Cairo 1.0 es un lenguaje de alto nivel similar a Rust. Al igual que Rust, está destinado a permitir a los desarrolladores escribir fácilmente código que sea eficiente y seguro.

Desde su inicio, Cairo se ha utilizado para crear aplicaciones de capa 2 que tienen manejado más de $ 790 mil millones en operaciones, procesó más de 300 millones de transacciones y acuñó más de 90 millones de NFT, todo se realizó fuera de cadena y se estableció en Ethereum con la integridad matemática garantizada por las pruebas STARK. Cairo se convirtió en el cuarto lenguaje de programación más utilizado en el ecosistema blockchain en general. Con el lanzamiento de Cairo 1.0, nuestro objetivo es hacer que el lenguaje sea aún más accesible y fácil de usar, al tiempo que presentamos nuevas características que mejoran la seguridad y la conveniencia.

Uno de los cambios más significativos en Cairo 1.0 es la sintaxis. Nos hemos inspirado en Rust para crear un lenguaje más amigable para los desarrolladores que sea más fácil de leer y escribir. La nueva versión de Cairo permite escribir código más seguro (fuertemente tipado, propio y prestado, etc.), a la vez que es más expresivo.

Cairo 1.0 también presenta Sierra, una nueva representación intermedia que garantiza que cada ejecución de Cairo puede ser probada. Esto hace que Cairo 1.0 sea particularmente adecuado para su uso en una red sin permisos como StarkNet, donde puede proporcionar una sólida protección DoS y resistencia a la censura. Puedes leer más sobre Sierra en nuestra publicación anterior.

Primera probada!

¿Qué puedes hacer hoy?

¡Los desarrolladores pueden comenzar a escribir, compilar y probar programas de Cairo 1.0! Alentamos a los desarrolladores a comenzar a experimentar con Cairo 1.0 y acostumbrarse a la nueva sintaxis y características.

Dado que Cairo 1.0 todavía está en desarrollado activo y se agregan constantemente nuevas características, consulte el Repositorio de Cairo para ver las últimas actualizaciones.

¿Qué sigue?

Por el momento, a Cairo 1.0 todavía le faltan algunas de las características admitidas en la versión anterior (ver esta tabla para más detalles). Nuestro próximo objetivo, previsto para las próximas semanas, proporcionará a Cairo 1.0 la paridad de características con la versión anterior. Puedes seguir el progreso hacia ese objetivo aquí.

Compatibilidad con StarkNet

Escribir contratos de StarkNet en Cairo 1.0 es compatible (aunque todavía faltan ciertas características). Sin embargo, StarkNet aún no admite el despliegue y la ejecución de contratos de Cairo 1.0. StarkNet Alpha V0.11.0, planeado en las próximas semanas, presentará la capacidad de implementar y ejecutar contratos de Cairo 1.0. La actualización a v0.11.0 marcará el comienzo del Período de transición hacia un sistema que solo ejecuta contratos de Cairo 1.0. Este período de transición terminará con Regenesis, previsto unos meses después.

Vamos a construir

El objetivo de StarkNet es escalar exponencialmente Ethereum utilizando la integridad matemática de las STARKs, y la meta de Cairo es hacer que esta escala exponencial sea accesible para los desarrolladores. Accesibilidad significa un lenguaje de programación que es eficiente, fácil de leer y escribir, y seguro de usar. Esperamos que el lanzamiento de Cairo 1.0 inspire a aún más desarrolladores a unirse a StarkNet y escalar Ethereum para satisfacer la demanda global.