En pocas palabras:
Stylus te permite escribir contratos inteligentes en lenguajes de programación que se compilan en WASM, como Rust, C, C++, y muchos otros.
Ya existe un amplio soporte de lenguaje para Rust. Puedes utilizar el SDK y la herramienta de línea de comandos (CLI) de Stylus para comenzar a construir hoy.
Los contratos inteligentes de Stylus se benefician de la equivalencia del EVM de Arbitrum gracias a una segunda máquina virtual WASM.
Los contratos en Solidity y los contratos en Stylus son completamente interoperables. En Solidity, puedes llamar a un programa en Rust y viceversa.
Los contratos inteligentes de Stylus son más rápidos con tarifas de gas significativamente más bajas debido a la eficiencia superior de los programas WASM.
La memoria es 100-500 veces más barata cuando se usa Stylus, desbloqueando nuevos casos de uso ahora que consumir RAM es viable en la cadena de bloques.
Stylus es una mejora de Arbitrum Nitro, el stack tecnológico que impulsa las cadenas Arbitrum One, Arbitrum Nova y Arbitrum Orbit. Esta mejora agrega una segunda máquina virtual al EVM, donde los contratos EVM continúan comportándose exactamente como lo harían en Ethereum. Llamamos a este paradigma EVM+, ya que todo es completamente aditivo.
Esta segunda máquina virtual ejecuta WASM en lugar de bytecode EVM. WASM es un binario moderno popularizado por su uso en importantes estándares web, navegadores y empresas para acelerar el cómputo. Diseñado para ser rápido, portátil y legible por humanos, WASM no es nada nuevo para las cadenas de Arbitrum. Desde la actualización de Nitro, WASM ha sido un componente fundamental de las pruebas de fraude completamente funcionales de Arbitrum.
Con una máquina virtual WASM, cualquier lenguaje de programación que se pueda compilar en WASM está dentro de los límites de Stylus. Si bien muchos lenguajes de programación populares se pueden compilar en WASM, algunos compiladores son más adecuados para el desarrollo de contratos inteligentes que otros, como Rust, C y C++. Otros lenguajes como Go, Sway, Move y Javascript son más difíciles de admitir en Stylus, aunque no imposibles. ¡Las contribuciones son bienvenidas! Te invitamos a contribuir a Stylus con adiciones a la biblioteca para lenguajes nuevos y existentes
En comparación con el uso de Solidity, los programas WASM son mucho más eficientes. Hay muchas razones para esto, incluidas las décadas de desarrollo de compiladores para Rust y C. WASM también tiene un tiempo de ejecución más rápido que el EVM, lo que resulta en una ejecución más rápida. En general, se ha observado una mejora de 10 veces en los contratos que utilizan lenguajes WASM en comparación con los contratos que utilizan Solidity.
Stylus solo es posible debido a la tecnología única de pruebas de fraude de Arbitrum Nitro. Cuando surge una disputa en una red de Arbitrum, Nitro reproduce la ejecución de la cadena en WASM. Los validadores honestos de Arbitrum analizan lo que se está disputando hasta que se identifique un solo paso inválido y se verifique en la cadena a través de una prueba de un solo paso.
Esto significa que Nitro puede demostrar de manera determinista cualquier programa WASM arbitrario.
Si WASM se puede demostrar en general, entonces se puede demostrar la corrección de cualquier programa que se compile en WASM. Este es el salto tecnológico clave que hace posible Stylus.
Stylus innova en muchos niveles, con los principales descritos aquí:
Se estima que hay aproximadamente 20,000 desarrolladores de Solidity, en comparación con 3 millones de desarrolladores de Rust o 12 millones de desarrolladores de C. Los desarrolladores ahora pueden utilizar su lenguaje de programación preferido, todos interoperables en cualquier cadena de Arbitrum con Stylus. Escalar para los próximos mil millones de usuarios requiere incorporar a los próximos millones de desarrolladores.