Traducción al español de “Bringing certified DApps to Cardano”, escrito por Shruti Appiah, Jefa de Productos en IOG, el 21 de septiembre de 2021.
Este fin de semana presentaremos un nuevo enfoque integrado en la Cumbre de Cardano. Aquí tiene un avance…
La actualización de Alonzo hace posible el despliegue de smart contracts, aplicaciones descentralizadas (DApps) y de otras aplicaciones sobre Cardano. Esto tiene una gran importancia, puesto que abrirá Cardano a toda una nueva comunidad de desarrolladores cuyo impulso creativo aumentará el alcance y el valor de Cardano a un nuevo nivel.
Todo nuevo ecosistema de aplicaciones constituye una tentadora propuesta de exploración. Igualmente, un ecosistema en formación se enfrenta a dos retos fundamentales en sus inicios: el descubrimiento y la garantía de calidad. Es necesario que los usuarios puedan encontrar los productos que les interesan y que puedan utilizarlos con la seguridad de un grado de calidad básico.
La incorporación de nuevas aplicaciones de terceros supone también el riesgo implícito de material inapropiado o malicioso, o de contenidos que sencillamente no cumplen las normas. Así que afrontar las cuestiones de descubrimiento y garantía de calidad es clave para el crecimiento temprano del ecosistema.
Este fin de semana profundizaremos en este importante tema en la Cumbre de Cardano. Allí presentaremos un programa de certificación para evaluar las aplicaciones desarrolladas sobre Cardano. También las de la próxima dAppStore que estamos desarrollando.
Descubrimiento de DApps en Cardano
La dAppStore [tienda de aplicaciones descentralizadas] - de la que presentaremos un prototipo en la Cumbre - es el lugar donde los desarrolladores podrán subir sus DApps que se ejecutan en Cardano y ofrecerlas a otros. Esta tienda proveerá un ambiente confiable y democratizado para que los desarrolladores publiquen sus DApps sin enfrentar la censura.
La dAppStore de Plutus se centra específicamente en dos aspectos que dificultan la entrada:
- Que actualmente no existe un proceso formal de descubrimiento de una DApp. Prácticamente todo el descubrimiento se produce a través de medios orgánicos, de boca en boca o a través del marketing en las redes sociales
- No existe una visión consolidada de todas las DApps disponibles en un determinado ecosistema para los usuarios finales.
Para acceder a la Plutus dAppStore, los usuarios podrán utilizar un navegador web. Imagine la Plutus dAppStore como un " vitrina " para Cardano. La tienda exhibe la gama de cosas que se pueden hacer en Cardano. A través de un programa de certificación, los usuarios pueden estar seguros del comportamiento de cualquier aplicación que utilicen, por medio de comprobaciones lógicas automatizadas, auditorías manuales de smart contract y verificación formal.
En la tienda puede encontrarse cualquier DApp, ya sea certificada o no, sin embargo, brindaremos a los usuarios información clara sobre el estado de certificación de una DApp en particular. La dAppStore no pretende actuar como guardián (o juez), sino proporcionar una plataforma para la evaluación transparente de los usuarios.
El papel crucial de la certificación
La dAppStore es un vitrina. Sin embargo, aparte de la validación por parte de la comunidad, no ofrece ninguna garantía “incorporada”. Y aquí es donde entra el segundo elemento. El papel de nuestro programa de certificación es la prevención de vulnerabilidades de seguridad a nivel de código. Esto lo conseguiremos implementando diferentes niveles de “defensa”.
Existirán distintos niveles. El más sencillo es el de las comprobaciones lógicas automatizadas, que permitirán detectar ciertos tipos de código malicioso. Por ejemplo, podrán comprobar si el contrato no contiene una forma de recuperar los fondos bloqueados. Si un contrato está bien compuesto, los fondos bloqueados deben poder recuperarse.
Por otro lado, la auditoría manual del smart contract nos servirá para verificar la integridad de cualquier DApp. La verificación formal completa pondrá a prueba el modelo matemático para demostrar que un smart contract satisface la especificación formal de su comportamiento.
Naturalmente, todo programa de certificación es tan bueno como los que lo implementan y ejecutan. Por ello, nos hemos asociado con algunos de los nombres más destacados en el ámbito de la programación funcional, a quienes podrá conocer en la Cumbre.
Construyendo sobre una base segura: Cardano mismo
Esta iniciativa de certificación se basa en una blockchain que ya proporciona más seguridad que otras como bitcoin o Ethereum. A modo de ejemplo, los tokens están integrados en la propia arquitectura de Cardano, en lugar de tener que ser proporcionados por contratos, como ERC20 en Ethereum. Con ello se eliminan los problemas creados al copiar y modificar un contrato para implementar un nuevo token.
Si nos fijamos en la base de la cadena, el modelo de contabilidad Extended Unspent Transaction Output (eUTXO) es fundamentalmente un modelo más simple -y más seguro- para una blockchain. En Plutus, los smart contracts son programas funcionales y la semántica simple y verificable de los lenguajes funcionales sustenta lo que hacemos tanto con las pruebas automatizadas como con la verificación formal. Nos proponemos construir una base más segura que otras cadenas. Plutus es un lenguaje funcional.
Por su parte, Marlowe, nuestro lenguaje específico para las finanzas, asegura ciertas propiedades por diseño. Así, por ejemplo, ningún contrato de Marlowe retendrá activos después de la finalización del contrato. Se trata de una propiedad incorporada a Marlowe, que no requiere comprobaciones adicionales para ser aplicada. Gracias a su diseño, Marlowe también permite que las herramientas comprueben automáticamente que los contratos tienen ciertas propiedades buenas verificando cada posible ejecución del contrato, sin tener que ejecutarlo; esto es algo que los contratos generales de Plutus no pueden hacer.
Certificación en el contexto del hard fork de Alonzo
Durante la Cumbre presentaremos ejemplos de pruebas automatizadas de smart contracts, que son componentes de DApps, en lugar de DApps completos.
Nos gustaría ver en el futuro herramientas diseñadas por los usuarios, el despliegue de estas en la tienda, y la evolución de la dAppStore de Plutus para incluir nuevas características como el voto positivo, los comentarios, e incluso la integración de Atala PRISM, etc., permitiendo a los usuarios la experiencia con la gama de DApps en la tienda.
Mediante nuestro trabajo en las testnets de Alonzo, el programa Plutus Pioneer y desde luego el Proyecto Catalyst, ya hemos visto una gran cantidad de proyectos que comienzan a construirse sobre Cardano. Conforme estos proyectos empiecen a salir al mercado en los próximos meses, el descubrimiento y la confianza de los usuarios en esas DApps será clave. Trabajamos con un ecosistema abierto y descentralizado, por lo que se seguirán aplicando las reglas habituales de caveat emptor y “haz tu propia investigación”. Ahora bien, ayudar a impulsar normas más estrictas en materia de certificación y garantía será clave para acelerar el crecimiento de un ecosistema exitoso en Cardano y en última instancia, la base de usuarios más amplia posible.
Simon Thompson y Fernando Sánchez también contribuyeron a este artículo.
Únasenos los días 25 y 26 de septiembre en la Cumbre para saber más sobre esta nueva y emocionante iniciativa y ver una demostración del prototipo de dAppStore.
Notas del Traductor:
Artículos relacionados
Certificación Cardano y nuevo dApp Store Plutus | IOHK 22 Sep 2021