Traducción al español de ¨The Unrivaled Safety of Cardano Smart Contracts¨
Publicado por EMURGO el 20 de Noviembre de 2019.
Con el lanzamiento futuro de Goguen, Cardano - la primera blockchain (cadena de bloques) de tercera generación que emerge de una filosofía científica y revisada por expertos - introducirá contratos inteligentes en la blockchain principal de Cardano. Específicamente, los desarrolladores podrán escribir contratos inteligentes para Cardano usando Plutus.
¿Qué es Plutus?
Plutus es un lenguaje de programación que permite desarrollar e implementar contratos inteligentes, y ha sido diseñado con tres audiencias clave en mente que se alinean con la visión de Cardano: desarrolladores, empresas y académicos. Hoy en día, cualquiera puede implementar contratos de prueba que se desarrollan en el Plutus Playground, un entorno ligero y basado en la web para probar contratos inteligentes sin necesidad de mantener un entorno de desarrollo completo en la blockchain. La plataforma Plutus ofrece a los desarrolladores una experiencia de contrato inteligente sin igual.
Por qué?
Plutus ha sido diseñado para ser claro, conciso y conveniente. Sin embargo, lo más importante es que Plutus es mucho más seguro que las alternativas anteriores al desarrollo de contratos inteligentes. Aún así, ¿qué es exactamente lo que hace de Plutus una plataforma de lenguaje de programación tan segura, y por qué es tan importante?
¿Por qué es importante la seguridad?
La seguridad es importante ya que los desarrolladores de contratos inteligentes de Cardano quieren asegurarse de que su programa haga exactamente lo que ellos quieren que haga sin ningún efecto secundario. Esto significa minimizar el riesgo de que se produzcan errores. Los errores son comunes en muchos lenguajes de programación utilizados a diario. Cardano busca minimizar estos errores para que la transferencia de valor a través de contratos inteligentes se logre con un alto grado de seguridad. Esto reduce la posibilidad de pérdida de fondos, problemas inesperados y complicaciones imprevistas. Mientras que los errores que ocurren en nuestras aplicaciones de mensajería favoritas o sitios web de medios sociales pueden resultar en que nuestro mensaje no se envíe o que una imagen no se publique, un error que ocurre en un entorno de blockchain en el que están en juego activos valiosos requiere un mayor grado de seguridad. De hecho, EMURGO también ha estado apoyando a Syre - un protocolo basado en facturas sin testigos para hacer que el envío de criptomonedas como ADA sea fácil y sin preocupaciones para los usuarios, eliminando cualquier preocupación sobre la confirmación de las direcciones de las billeteras de los destinatarios a través del acelerador dLab/EMURGO.
Contratos seguros e inteligentes: Un enfoque funcional
Plutus está integrado en Haskell, el principal lenguaje de programación puramente funcional. La razón de esto se basa en la idea de que los lenguajes de programación funcionales son mucho más adecuados para contratos inteligentes seguros y verificables que las alternativas actualmente disponibles en la industria blockchain. Una razón importante para esto es el robusto sistema de tipo ofrecido por Haskell. Los tipos están diseñados para imponer restricciones que hacen cumplir la corrección. El sistema de tipo utilizado por Plutus elimina muchos de los errores que afectan a otros lenguajes de programación. Comprueba que todas las partes de un contrato inteligente encajan entre sí de forma lógicamente coherente y demostrablemente correcta.
Un sistema tipográfico puede ser pensado como un sistema de pintura en el que un artista bosqueja su arte rigurosamente y determina qué colores van a donde van antes de poner un pincel en el lienzo. En lugar de empezar a pintar de inmediato, el artista se toma el tiempo para asegurarse de que todas las piezas encajen y hagan una buena transición. En Plutus, esto significa que los contratos inteligentes están bien diseñados y pensados de antemano.
Si bien esto requiere más trabajo inicial, el desarrollo de contratos inteligentes en Cardano conlleva un beneficio posterior: los contratos inteligentes son más seguros y fáciles de mantener en el futuro. El sistema de tipos que utiliza Plutus ayuda a eliminar errores, ya que el sistema de tipos los detecta antes de que se ejecute el contrato inteligente. Esto contrasta directamente con otros lenguajes de programación de contratos inteligentes, en los que los errores sólo pueden aparecer cuando se ejecuta un programa. Debido a la naturaleza de alto riesgo de ejecutar contratos inteligentes potencialmente propensos a errores, a menudo se emplean terceros para verificar el programa y asegurar su corrección. Con Plutus, existe una experiencia más eficiente y segura para el desarrollador debido a la robustez incorporada del propio lenguaje de programación.
Contratos seguros e inteligentes: Código dentro y fuera de la cadena
A través de Plutus, tanto el código dentro como fuera de la cadena se basa en el mismo lenguaje de programación. Un desarrollador de contratos inteligente puede utilizar una sola base de código, que Plutus divide automáticamente en código dentro y fuera de la cadena y paquetes para su despliegue. El código en la cadena es el código que se ejecuta en la propia blockchain. El código fuera de la cadena es el código que se ejecuta fuera de la blockchain, como en un navegador web. Esta característica de Plutus es mucho más segura que las alternativas actuales que se encuentran en el desarrollo de contratos inteligentes en la actualidad. Es común en toda la industria que los contratos inteligentes se escriban en un idioma para el código dentro de la cadena y en un segundo idioma para el código fuera de la cadena. Esto no sólo duplica con creces el tiempo de desarrollo requerido, sino que también abre enormes riesgos de seguridad para los contratos inteligentes.
Esto es similar a una experiencia en un restaurante, donde el chef y el camarero juegan papeles diferentes en conseguirle la comida que usted ordenó. El chef que prepara la comida y el camarero que la sirve necesitan comunicarse entre sí para asegurarse de que lo que se pide se sirve correctamente. Al generar código dentro y fuera de la cadena, Plutus proporciona un enorme beneficio de seguridad para los desarrolladores. La comida, por así decirlo, es preparada y servida por el chef.
Conclusión
Con Plutus, los desarrolladores pueden estar seguros de que sus contratos inteligentes se ejecutarán correctamente. Cardano utiliza un lenguaje de investigación moderno y con estándares dorados para garantizar un entorno de programación seguro y completo. Este entorno se basa en los pilares del lenguaje de programación funcional líder, Haskell, y todos los beneficios que aporta. Los contratos inteligentes de Cardano disfrutan de un alto grado de seguridad sin igual en la industria blockchain y de criptomonedas.
Haga clic aquí para suscribirse al Boletín de Noticias de EMURGO
Acerca de EMURGO
EMURGO impulsa la adopción de Cardano y agrega valor a los poseedores de ADA al construir, invertir y asesorar proyectos u organizaciones que adoptan el ecosistema descentralizado de la blockchain de Cardano. EMURGO aprovecha su experiencia en investigación y desarrollo de blockchain, así como su red global de socios relacionados con las blockchain y la industria para apoyar emprendimientos a nivel mundial.
EMURGO es el brazo comercial y de riesgo oficial del proyecto Cardano, registrado en Tokio, Japón desde junio de 2017 y en Singapur desde mayo de 2018. EMURGO tiene una afiliación única y trabaja en estrecha colaboración con IOHK para hacer crecer el ecosistema de Cardano a nivel mundial y promover la adopción de la blockchain de Cardano. Para obtener más información sobre el proyecto, visite el sitio web de EMURGO.
Sigue a EMURGO en Social Media
・Página Oficial: emurgo.io
・Twitter (inglés): @emurgo_io
・Twitter (japonés): @Emurgo_Japón
・Youtube EMURGO
・LINE: @emurgo
・Telegram Anuncios de EMURGO
・Facebook @emurgo.io
・Instagram @emurgo_io
・LinkedIn @emurgo_io
Acerca de la Billetera Yoroi y el Explorador Seiza
・Yoroi Twitter: @YoroiWallet
・Yoroi Página web: https://yoroi-wallet.com/
・Zeiza Twitter: @Seiza_explorer
・Zeiza Página web: https://www.seiza.com/
Acerca de Cardano
・Foro Cardano: https://forum.cardano.org/
・Cardano Telegram: https://t.me/CardanoGeneral
・Cardano Reddit: https://i.reddit.com/r/cardano