-Advertisement-
La plataforma de escalado de capa 2 de Ethereum, StarkNet, ha revisado su lenguaje de programación interno Cairo para que los desarrolladores puedan acceder al desarrollo Web3.
Un anuncio compartido con Cointelegraph describe las actualizaciones de Cairo 1.0, que se promociona para emular las características del popular lenguaje de programación Rust. La revisión pretende permitir a los desarrolladores con experiencia general en programación empezar a crear aplicaciones descentralizadas en la red de capa 2 Ethereum de StarkNet.
El cofundador y presidente de StarkWare, Eli Ben-Sasson, dijo a Cointelegraph que hacer el desarrollo de la capa 2 más accesible a los desarrolladores de diversos orígenes fue la razón principal de la renovación de Cairo:
“Los principales impulsores fueron la seguridad y la facilidad de uso, y llevar a cabo la revisión supuso una magnífica oportunidad para eliminar la entrada a desarrolladores con formación en lenguajes convencionales.”
Las especificaciones técnicas esbozadas en el lanzamiento del 5 de enero abarcan una serie de mejoras en el lenguaje de Cairo, entre las que se incluyen la mejora de la sintaxis y las construcciones del lenguaje, un sistema de tipos holístico, bibliotecas intuitivas, código optimizado y tipado fuerte mediante la exigente especificación de los tipos de datos.
StarkNet destacó Sierra -que significa Safe Intermediate Representation (representación intermedia segura)- como la principal incorporación a la revisión de 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 permisos. La actualización permite que las transacciones revertidas se incluyan en los bloques de StarkNet, ayudando al protocolo a evitar añadir complejos “mecanismos criptoeconómicos.”
Relacionado: StarkNet hace que Cairo 1.0 sea de código abierto en el primer paso hacia el control de la comunidad
Ben-Sasson dijo que Sierra permitirá a StarkNet “heredar toda la resistencia a la censura de Ethereum” y protege principalmente contra los ataques de denegación de servicio de Sequencer.
Como informó anteriormente Cointelegraph, Ben-Sasson fue pionero en la criptografía zk-STARK junto con otros informáticos. Zero-Knowledge Scalable Transparent Arguments of Knowledge es un sistema de prueba que cifra y verifica los datos de las transacciones para proporcionar seguridad, escalabilidad y resistencia a la computación cuántica.
Según StarkNet, Cairo es el cuarto lenguaje de contratos inteligentes más popular por valor total bloqueado. Es la base de aplicaciones que han procesado más de 300 millones de transacciones, acuñado 90 millones de tokens no fungibles y facilitado operaciones por valor de 790 millones de dólares liquidadas en Ethereum.
Source: COIN TELEGRAPH