Solidity vs. Vyper: todo lo que necesitas saber

Detrás de las apps está la ejecución continua de smart contracts. Propuesto originalmente por el científico de la computación y criptógrafo Nick Szabo, un smart contract es simplemente código y datos programables que rigen el comportamiento de las cuentas en la blockchain. El código de los smart contracts vive en las blockchains y es uno de los mecanismos que cambia el estado de la blockchain de Ethereum.

Los smart contracts son un componente crítico de lo que hace posibles los programas en Ethereum. Considera que el white paper original de Vitalik Buterin describe a Ethereum como "una plataforma de smart contracts... de próxima generación". Si bien los smart contracts generalmente se programan para ejecutar transferencias de activos, sus aplicaciones son mucho más amplias e incluyen la creación de tokens, la construcción de apps y productos DeFi, y el trading de NFTs.

Existen varios lenguajes de programación para escribir smart contracts, y la decisión de cuál elegir depende del caso de uso, ya que cada lenguaje de web3 está optimizado para necesidades, beneficios y tradeoffs distintos.

Principalmente, los desarrolladores primero eligen entre un lenguaje de alto o bajo nivel. Los lenguajes de alto nivel abstraen los detalles granulares de implementación, lo que permite a los desarrolladores crear smart contracts fácilmente sin necesidad de entender bytecode.

Dos lenguajes de alto nivel usados en Ethereum y en blockchains compatibles con Ethereum Virtual Machine (EVM) son Solidity y Vyper.

¿Qué es Solidity?

Solidity es un lenguaje de programación de alto nivel, Turing-completo, para escribir smart contracts en la Ethereum Virtual Machine, que cubre una variedad de casos de uso, incluyendo finanzas descentralizadas (DeFi), NFTs y wallets.

Solidity está fuertemente influenciado por C++ y JavaScript —evidente en su sintaxis— y usa el mismo algoritmo de herencia múltiple que Python. Aunque se asocia principalmente con Ethereum, Solidity corre en múltiples plataformas de blockchain como Polkadot y Avalanche.

Propuesto por Gavin Wood, CTO de Ethereum, Solidity fue desarrollado para satisfacer la demanda de una plataforma de desarrollo flexible basada en smart contracts. Con Solidity, los desarrolladores pueden escribir smart contracts para un conjunto diverso de casos de uso, creando el ecosistema descentralizado de aplicaciones que hoy corre sobre Ethereum.

¿Qué es Vyper?

Vyper es un lenguaje de programación de alto nivel similar a Solidity, diseñado deliberadamente para aumentar la seguridad de los smart contracts usados en blockchains compatibles con EVM.

Usando una sintaxis pitónica —de ahí su nombre serpentino— el código de Vyper prioriza la legibilidad para que los desarrolladores puedan detectar fácilmente bugs y vulnerabilidades en su código antes de desplegar contratos.

Para reforzar aún más la seguridad de sus smart contracts, Vyper usa tipado estricto y decidibilidad computacional. Cada variable declarada en Vyper debe tener un tipo explícito, y la decidibilidad de los contratos permite a los desarrolladores calcular una cota superior del consumo de gas antes del despliegue del contrato.

Solidity vs. Vyper

Tanto Solidity como Vyper pueden usarse para crear smart contracts compatibles con EVM, pero como ambos lenguajes de web3 tienen principios de diseño únicos, hay beneficios y tradeoffs al decidir cuál es el mejor lenguaje de programación para el desarrollo de dApps.

Para contextualizar mejor este contraste, veamos primero en qué se parecen Solidity y Vyper.

¿Cuáles son las similitudes entre Solidity y Vyper?

Ambos lenguajes son de alto nivel, y los compiladores de Solidity y Vyper traducen tu código a bytecode a nivel de sistema, ejecutable por la EVM. Esto significa que, después del despliegue, los smart contracts de Solidity y Vyper se ejecutarán en términos del mismo lenguaje de bytecode. Como resultado, los contratos de Solidity y Vyper pueden usarse simultáneamente en la misma aplicación.

Hay varias similitudes en la estructuración de los smart contracts de Vyper y Solidity:

• Version pragma - el version pragma es la versión del compilador prevista, o el rango de versiones, para cada smart contract
• Variables de estado - valores que se almacenan permanentemente en el storage del smart contract
• Structs - se pueden definir de forma personalizada para agrupar múltiples variables en un solo tipo
• Funciones - líneas de código ejecutables que pueden realizar cambios de estado dentro y fuera de sus contratos
• Eventos - registran acciones a través de la EVM que pueden buscarse eficientemente después de ser emitidos
• Verificación de overflow - previene el desbordamiento accidental de tipos de datos mediante la verificación de accesos a arrays y operaciones aritméticas, asegurando que el almacenamiento de variables sea seguro

Gran parte de la estructura central de los smart contracts es compartida entre Solidity y Vyper. Sin embargo, ambos ofrecen formas muy distintas de permitir a los desarrolladores de web3 escribir smart contracts.

¿En qué se diferencian Solidity y Vyper?

Las diferencias críticas entre Vyper y Solidity son resultado del enfoque de Vyper en la seguridad como principio de diseño subyacente, lo que incluye la decidibilidad y la falta de soporte para modifiers, herencia, ensamblador inline, sobrecarga de funciones y llamadas recursivas.

Vyper logra esta seguridad adicional respecto a Solidity tanto agregando funcionalidades como omitiendo algunas de las propiedades más riesgosas de Solidity.

1. Decidibilidad

Con la decidibilidad, los desarrolladores pueden calcular una cota superior del consumo de gas de cada contrato, protegiéndose contra ataques de límite de gas. Un ataque de límite de gas es un tipo de ataque de denegación de servicio (DoS), en el que un actor malicioso envía transacciones a través de un contrato para exceder el límite de gas del bloque, forzando que todas las demás transacciones fallen o se reviertan.

2. Modifiers

En Solidity, las definiciones de funciones pueden ir precedidas por un modifier, donde el modifier puede definirse en otra parte del código para realizar verificaciones antes y después de la ejecución del smart contract, hacer cambios de estado, y más.

Por la naturaleza de los modifiers, es fácil escribir código engañoso, de modo que un modifier de función aparentemente inocuo en realidad realiza operaciones que crean vulnerabilidades. Vyper no soporta modifiers para mejorar la legibilidad y la detección de código peligroso.

3. Herencia de clases

Para leer código que usa herencia de clases, sería necesario revisar múltiples archivos de código diferentes para entender cómo funciona un contrato. Además, como Solidity permite herencia múltiple, quien lea el código necesitaría entender las reglas de precedencia para saber cómo se resuelven los conflictos.

Si se heredan múltiples funciones con el mismo nombre, ¿cuál es la que realmente usa el contrato?

Como Vyper no permite herencia, el código es más fácil de auditar porque hay menos archivos que revisar.

4. Ensamblador inline

Al excluir el mecanismo de ensamblador inline de Vyper —la capacidad de convertir código de Solidity en código máquina—, es posible buscar los nombres de variables en el código para ver todos los lugares donde una variable se lee o se modifica.

5. Sobrecarga de funciones

Como la sobrecarga de funciones en Solidity hace posible ocultar código dañino, no está soportada en Vyper. Por ejemplo, la función \{sendToken(address)\} podría ser segura, mientras que \{sendToken(address, “Hello!”)\} vacía tu wallet.

Al omitir la sobrecarga de funciones, Vyper facilita entender con exactitud qué funciones se están llamando y cuándo.

6. Llamadas recursivas y loops de longitud infinita

Las llamadas recursivas y los loops de longitud infinita hacen imposible calcular la cota superior de los límites de gas, lo cual entra en conflicto con la característica de decidibilidad de Vyper, y es la razón por la que las llamadas recursivas no están soportadas en Vyper.

¿Cuáles son los beneficios de usar Vyper en lugar de Solidity?

Las seis diferencias principales de Vyper le dan dos beneficios distintivos respecto a Solidity: seguridad y auditabilidad.

1. Seguridad

Con su gran variedad de funcionalidades de seguridad, Vyper protege a los desarrolladores de escribir código vulnerable que dejaría bugs y superficies de ataque explotables sin detectar.

2. Auditabilidad

El código de Vyper facilita que los auditores de seguridad de smart contracts lean y entiendan con precisión qué está haciendo el smart contract. Esto significa que todas las partes que lean tus smart contracts podrán identificar rápidamente cómo se manipularán los activos en la blockchain.

Finalmente, a medida que aprendes Vyper, su legibilidad facilitará el proceso de leer los smart contracts existentes de otras apps.

¿Cuáles son los tradeoffs de usar Vyper en lugar de Solidity?

Aunque parece que los desarrolladores pueden hacer con Vyper todo lo que pueden hacer con Solidity, al agregar protecciones de seguridad adicionales, elegir Vyper sobre Solidity conlleva dos tradeoffs principales: flexibilidad y comunidad.

1. Flexibilidad

La documentación de Vyper indica que Vyper no pretende ser un reemplazo completo de Solidity, ya que hay cosas que se pueden hacer en Solidity que están explícitamente prohibidas al programar en Vyper. En consecuencia, elegir Vyper sobre Solidity significa renunciar a flexibilidad en los smart contracts, limitando el rango de aplicaciones.

2. Comunidad de desarrolladores

En números absolutos, Solidity es un lenguaje de programación de web3 mucho más popular que Vyper. Al hacer una búsqueda rápida en GitHub de todos los archivos escritos en Vyper (.vy) y todos los archivos escritos en Solidity (.sol), podemos tener una idea de la cantidad de desarrolladores que usan cada lenguaje. Al momento de escribir esto, había alrededor de 10,300 archivos escritos en Vyper frente a 8.3 millones de archivos de Solidity en GitHub.

En consecuencia, hay menos guías y recursos para quienes programan en Vyper. Fuera de la guía oficial, será más difícil encontrar discusiones de la comunidad que aborden las dificultades que puedas encontrar al desarrollar con Vyper.

Solidity o Vyper: ¿qué lenguaje debería elegir?

Aunque la compatibilidad entre Vyper y Solidity significa que elegir un solo lenguaje no es una decisión excluyente, los smart contracts más básicos y que requieren flexibilidad deberían escribirse con Solidity, mientras que las aplicaciones que necesitan garantías firmes de seguridad deberían elegir Vyper.

Ningún lenguaje es expresamente mejor que el otro porque cada uno tiene distintos casos de uso. Debido a su falta de flexibilidad y a la ausencia de una comunidad amplia de desarrolladores, Vyper es óptimo para usos donde se necesita el máximo nivel de seguridad, y los nuevos desarrolladores de web3 deberían comenzar aprendiendo Solidity.

Cómo empezar a aprender Solidity y Vyper

Aunque Vyper tiene una comunidad de desarrolladores menos robusta, todavía existen numerosos recursos ricos y útiles —tanto formales como informales— para aprender estos dos lenguajes de programación. Los siguientes recursos te ayudarán a convertirte en desarrollador de Solidity:

Recursos educativos de Solidity

La mejor manera de aprender Solidity es inscribiéndote en un bootcamp de Solidity, y el Ethereum Developer Bootcamp de Alchemy University, liderado por un equipo de ingenieros de web3 de ChainShot, es el curso online de Solidity de 7 semanas más completo disponible. Con la reciente adquisición de ChainShot por parte de Alchemy, Alchemy está ofreciendo el bootcamp de $3,000 de ChainShot de forma completamente gratuita.

Inscríbete hoy en el bootcamp de desarrollador de Ethereum de Alchemy University y aprende a desarrollar apps de Ethereum.

Además de un bootcamp, aquí hay otras formas de aprender Solidity:

• Documentación oficial - los docs de Solidity detallan todo, desde tipos hasta smart contracts y el compilador
• Solidity by Example - una colección de ejemplos de código en Solidity con explicaciones útiles
• Clean Contracts - aprende a escribir smart contracts en Solidity seguros y predecibles
• Ethernaut de OpenZeppelin - hackea smart contracts en este wargame basado en smart contracts

Si los desarrolladores son nuevos en el desarrollo en general, el curso intensivo de JavaScript de 3 semanas de Alchemy es un excelente prerrequisito antes de comenzar un bootcamp de Ethereum.

Recursos educativos de Vyper

Una vez que termines de aprender Solidity a través de un bootcamp, la mejor manera de aprender Vyper es leer la documentación oficial, hacer tutoriales de construcción e investigar archivos .vy en GitHub.

Conclusión

La mayoría de los desarrolladores encontrarán que Solidity es capaz de cubrir sus necesidades de smart contracts, pero para quienes requieren niveles extremos de seguridad, Vyper es una excelente opción. Como tanto Vyper como Solidity son herramientas para materializar por completo las posibilidades de construir sobre la blockchain de Ethereum, no hay un ganador claro. Vyper y Solidity son dos lenguajes de programación para desarrolladores de Ethereum complementarios y que vale la pena aprender.