StarkNet revisa el lenguaje de programación Cairo para impulsar la adopción por parte de los desarrolladores

La plataforma de escalamiento de capa 2 de Ethereum, StarkNet, ha revisado su lenguaje de codificación interno Cairo para que el desarrollo de Web3 sea accesible para los desarrolladores.

Un anuncio compartido con Cointelegraph describe las actualizaciones a Cairo 1.0, que se promociona para emular las características del popular lenguaje de programación Rust. La revisión tiene la intención de permitir que los desarrolladores con experiencia general en codificación comiencen a crear aplicaciones descentralizadas en la red de capa 2 de Ethereum de StarkNet.

El cofundador y presidente de StarkWare, Eli Ben-Sasson, le dijo a Cointelegraph que hacer que el desarrollo de la capa 2 sea más accesible para los desarrolladores de diferentes orígenes fue la razón principal de la renovación de Cairo:

“Los impulsores principales fueron la seguridad y la facilidad de uso, y realizar la revisión presentó una excelente oportunidad para eliminar la entrada para los desarrolladores con conocimientos de idiomas convencionales”.

Las especificaciones técnicas descritas en el lanzamiento del 5 de enero abarcan una serie de mejoras en el lenguaje de Cairo, que incluyen construcciones de lenguaje y sintaxis mejoradas, un sistema de tipo holístico, bibliotecas intuitivas, código optimizado y escritura sólida mediante la especificación exigente de tipos de datos.

StarkNet destacó a Sierra, que significa Representación intermedia segura, como la principal adición a la revisión de El Cairo. Sierra actúa como una nueva capa de representación intermedia entre Cairo 1.0 y el código de bytes de Cairo.

Como explicó Ben-Sasson, Sierra es un aspecto importante para garantizar una red sin permiso. La actualización permite que las transacciones revertidas se incluyan en los bloques de StarkNet, lo que ayuda al protocolo a evitar agregar "mecanismos criptoeconómicos" complejos.

Relacionado: StarkNet hace que Cairo 1.0 sea de código abierto en el primer paso hacia el control comunitario

Ben-Sasson dijo que Sierra permitirá que StarkNet "herede la resistencia total a la censura de Ethereum" y protege principalmente contra los ataques de denegación de servicio de Sequencer.

As reportado previamente por Cointelegraph, Ben-Sasson fue pionero zk-STARK criptografía junto con otros informáticos. Zero-Knowledge Scalable Transparent Arguments of Knowledge es un sistema de prueba que encripta y verifica los datos de las transacciones para brindar seguridad, escalabilidad y resistencia a la computación cuántica.

Según StarkNet, Cairo es el cuarto lenguaje de contrato inteligente más popular por valor total bloqueado. Es la base de las aplicaciones que han procesado más de 300 millones de transacciones, acuñado 90 millones de tokens no fungibles y facilitado $790 millones en transacciones liquidadas en Ethereum.