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 adentraremos en Cairo, el lenguaje de programación de Starknet. Conocerás en que otro lenguaje de programación está inspirado el mismo y qué ventajas ofrece frente a otros. ¡Conoce el lenguaje de programación de Starknet!
Cairo es un lenguaje de programación para escalar dApps. Sí, así de sencillo. Es un lenguaje Turing-Complete que permite a todos los desarrolladores aprovechar el poder de las pruebas STARKs.
El mismo está inspirado en Rust, lo que permite a los desarrolladores escribir Smart Contracts de una manera segura y sencilla. Es importante resaltar, que el mismo fue desarrollado por StarkWare, por ende, está diseñado para mejorar la creación de Smart Contracts y dApps con eficiencia y seguridad, es por ello, que Cairo es el lenguaje de programación de Starknet.
Uno de los cambios más significativos que tiene el lenguaje Cairo es la sintaxis. El mismo, al estar inspirado en Rust, permite crear un lenguaje más amigable para los desarrolladores y más fácil de leer y escribir. La nueva versión (Cairo 1.0) permite escribir código más seguro (strongly typed, ownership and borrowing…), y al mismo tiempo, es más expresivo.
Sierra…
Cairo también presenta a Sierra, una nueva representación intermedia que garantiza que cada carrera (run) de Cairo pueda ser probada. Esto hace que Cairo sea particularmente adecuado para su uso en una red permisionless como Starknet, donde puede proporcionar una sólida protección DoS y resistencia a la censura.
El mismo se actualiza y mejora de manera constante para brindarle a los desarrolladores las mejores herramientas para utilizar las pruebas de validez y la tecnología ZK-STAR.
Si eres developer y quieres conocer este lenguaje en profundidad, este enlace te llevará al lugar ideal.
APRENDE TODO SOBRE STARKNET
-
Provers de Starknet
Descubrí todo sobre los Provers en Starknet, una pieza clave de la Arquitectura de Starknet. Descubrí cuál es su tarea y su mecanismo en esta solución de escalabilidad.