El proyecto de capa dos Cartesi ha presentado un diseño centrado en rollup para su máquina Cartesi, una máquina virtual basada en Linux que permitiría a los desarrolladores ejecutar cualquier tipo de aplicación informática protegida mediante blockchains.

El diseño de Cartesi utiliza una versión ligeramente modificada de Optimistic Rollups, una tecnología de capa dos desarrollada dentro del ecosistema Ethereum, para alimentar su máquina virtual. A diferencia de la implementación de Optimism, que utiliza este tipo de paquetes acumulativos principalmente para mantener la compatibilidad total con los contratos inteligentes de Ethereum, Cartesi quiere ofrecer un entorno de desarrollo tradicional.

La máquina virtual Cartesi emula una arquitectura de microprocesador RISC-V, una alternativa de código abierto al conjunto de instrucciones ARM comúnmente utilizado en teléfonos inteligentes o computadoras basadas en M1 de Apple. La arquitectura RISC-V permite ejecutar entornos de software estándar basados ​​en Linux. Para los desarrolladores que se basan en Cartesi, esto significa que los contratos inteligentes se pueden desarrollar en prácticamente cualquier lenguaje y ecosistema de desarrollo, siempre que sea compatible con Linux.

El diseño basado en rollup permite a Cartesi conectar un entorno tan complejo a la cadena de bloques, aprovechando su modelo de seguridad para garantizar la validez de lo que sucede en la capa dos. La premisa de un rollup es que todos los cambios en el estado de un entorno externo, por ejemplo, los saldos de billetera y las transacciones de intercambio, se publican finalmente en forma comprimida en la capa principal de una cadena de bloques, por ejemplo, Ethereum.

Los paquetes acumulativos optimistas se basan en la publicación de los datos en la cadena de bloques y permiten un período de desafío. Durante este tiempo, los usuarios pueden enviar «pruebas de fraude» para indicar que los datos son incorrectos, lo que desencadena una disputa que debería resultar en una corrección de esos datos. Una vez resuelto, el estado se finaliza y se garantiza su validez a través del modelo de seguridad de blockchain. No obstante, el largo período de retirada es un punto común de crítica.

La versión de Optimistic Rollups de Cartesi utiliza las llamadas resoluciones de disputas interactivas para permitir que la propia cadena de bloques calcule la versión correcta de los datos con un costo mínimo. Erick de Moura, fundador de Cartesi, dijo a Cointelegraph que este diseño es lo que permite ejecutar cálculos mucho más complejos que los que ofrece la máquina virtual Ethereum:

“Otras soluciones acumuladas solo hacen que el código de Solidity funcione mejor en la capa 2. Sin embargo, estamos creando algo mucho más cercano a una computadora descentralizada real con un sistema operativo real «.

De Moura también enfatizó que el diseño de Cartesi es independiente de la cadena de bloques y funciona en otras cadenas de bloques como Binance Smart Chain o Matic, y también se desarrollarán más integraciones en el futuro.

Queda por ver si la propuesta de Cartesi encontrará tracción. En medio de prácticamente todas las plataformas de contratos inteligentes que adoptan Solidity, el proyecto va contra la corriente. No obstante, el entorno basado en Linux podría resultar atractivo para quienes crean DApps mucho más complejas.