Zero-knowledge (ZK) StarkWare, una empresa especializada en tecnología roll-up, ha lanzado una versión de código abierto de su compilador de lenguaje de programación Cairo 1.0, que se integrará en la solución de escalado de capa 2 de Ethereum, StarkNet, en el primer trimestre de 2023.
StarkWare publica un tuit con un anuncio
La empresa detrás de StarkNet, StarkWare, tuiteó el anuncio el 25 de noviembre. La tecnología de acumulación y las pruebas recursivas de StarkWare pueden reducir millones de transacciones L2 a una sola transacción Ethereum. Aun así, la empresa ha sido criticada por retener el control sobre su propiedad intelectual, en particular por sus contendientes más centrados en el código abierto, zkSync.
StarkWare ha calificado la apertura de Cairo como un "paso decisivo" en su esfuerzo por proporcionar mayor poder y propiedad intelectual a su comunidad de desarrolladores. El lenguaje de programación Cairo fue desarrollado para aprovechar las acumulaciones de zk y las pruebas de validez.
StarkWare anunció que los desarrolladores ahora pueden compilar y ejecutar aplicaciones rudimentarias de Cairo 1.0 hasta que sea compatible activamente con StarkNet en el primer trimestre de 2023. El antiguo desarrollador principal de Ethereum y actual líder del equipo de exploración de Starkware, Abdelhamid Bakhta, afirma que una vez que se lance Cairo 1.0, el desarrollo de funciones puede ser más rápido y la participación de la comunidad puede aumentar.
A partir de Cairo 1.0, seguiremos lanzando la pila de tecnología StarkNet como código abierto. Lo hacemos para que StarkNet se convierta en el tipo de beneficio público que todos puedan utilizar y que las comunidades puedan mejorar constantemente, explicó.
Una vez que se lance Cairo 1.0, los desarrolladores de blockchain podrán desarrollar y publicar contratos inteligentes en StarkNet, afirmó el equipo en Medium:
“En pocas palabras, esto maximiza la apertura que tenemos con nuestro código y con la forma en que lo escribimos. Además, mejora la capacidad de la comunidad para detectar problemas y mejorar el compilador. Esta sensación de compromiso de la comunidad solo aumentará a medida que más y más tecnologías se vuelvan de código abierto”.
StarkWare explicó que, debido a la capacidad de Cairo 1.0 de hacer que cada cálculo sea "demostrable", las características de resistencia a la censura de StarkNet mejorarán y estará mejor posicionada para reaccionar ante ataques de denegación de servicio. Algunos de los proyectos Web3 que funcionan con la pila tecnológica STARK de StarkWare incluyen la plataforma DEX dYdX, la plataforma NFT Immutable X y el protocolo de interconexión blockchain Celer Network.
StarkNet acelera su solución EVM
Aunque Cairo no es una implementación nativa de EVM (Ethereum Virtual Machine), StarkNet se arriesgó con ella para acelerar su solución (EVM). La empresa de herramientas de software Ethereum Nethermind desarrolló un transpilador llamado Warp para traducir la programación de Solidity al código Cairo.
Mientras tanto, se está lanzando la red principal de zkSync, un competidor también compatible con EVM. Aunque es la ruta más desafiante, el CEO de StarkWare, Eli Ben-Sasson, declaró recientemente que adoptar un lenguaje de codificación creado a medida como Cairo, en contraste con Solidity, es la única opción realista para aprovechar al máximo el escalamiento de Ethereum permitido por los ZK Rollups:
“Apuesto a que Ethereum nunca implementará un ZK EVM completo capaz de albergar mil millones de transacciones en una sola prueba. Como lo hemos estado haciendo durante mucho tiempo y tenemos la tecnología para hacerlo hoy”. En noticias relacionadas, el 17 de noviembre, Starkware lanzó el nuevo token StarkNet (STRK) en Ethereum, que se puede apostar, votar y usar para cubrir el costo de la red.