Cairo, lenguaje de programación crucial para Ethereum (ETH), recibe una importante actualización


imagen del artículo

Vladislav Sopov

StarkWare, productor líder de soluciones de escalado basadas en STARK para cadenas de bloques L1, comparte detalles de Cairo 1.0

Contenido

Los zk-STARK (argumentos de conocimiento transparentes, escalables y de conocimiento cero) han evolucionado hasta convertirse en una solución L2 convencional basada en zk para la cadena de bloques Ethereum (ETH).

StarkWare lanza Cairo 1.0, la primera actualización de su lenguaje de programación

Según la declaración oficial compartida por el equipo de StarkWare, su lenguaje de programación Cairo está listo para experimentar su primera actualización importante, denominada Cairo 1.0.

Con la actualización v1.0, Cairo se convierte en un lenguaje de programación más robusto, más simple y más útil para los desarrolladores de contratos inteligentes y dApps.

En esencia, Cairo tiene Sierra (Representación intermedia segura), una capa intermedia diseñada para garantizar que todos los programas de Cairo se puedan verificar de forma segura.

Anuncios

Este diseño permite que toda la red sea más confiable en términos de resistencia a ataques.

Experiencia de desarrollador avanzada para programadores centrados en L2

Además, con Cairo 1.0 activado, sus usuarios (desarrolladores) disfrutarán de seguridad de grado Ethereum para todos sus contratos y aplicaciones inteligentes.

Ningún logro hará que la red sacrifique la rentabilidad y la descentralización.

Según el rastreador L2Beat, la tecnología StarkEx de StarkWare se encuentra entre las más cruciales para el segmento L2: tres de los 10 protocolos más grandes de TVL (dYdX, Immutable X y Sorare) se basan en ella.

Fuente: https://u.today/cairo-crucial-programming-language-for-ethereum-eth-receives-major-upgrade