cadena de bloques
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 describió 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. Esto incluye 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 destaca a Sierra como la principal incorporación a la revisión de Cairo, que significa Representación intermedia segura. 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 (DoS) del secuenciador.
Como informó anteriormente Cointelegraph, Ben-Sasson fue pionero en la criptografía ZK-STARK junto con otros científicos 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 NFT y facilitado $ 790 millones en transacciones liquidadas en Ethereum.