ADVERTISEMENT

Tezos integra lenguaje Wolfram y Wolfram|Alpha para contratos inteligentes

  • Integración de Tezos a Wolfram ofrece acceso de programación a desarrolladores para contratos computacionales.
  • WBL alberga nodos de Tezos para crear conexión directa en integración con el lenguaje Wolfram.

En un comunicado de prensa compartido con CNF, Wolfram Blockchain Labs (WBL) anuncia la integración de Tezos a su plataforma basada en tecnología de libro mayor distribuido. En cooperación con TQ Tezos se ha habilitado la integración completa entre el lenguaje Wolfram y Wolfram|Alpha con la blockchain de Tezos.

De esa manera, los desarrolladores podrán usar el acceso programático que ofrece la integración con Wolfram para trabajar en análisis y contratos computacionales sobre cadena. La asociación entre WBL y TQ Tezos también les ha permitido desarrollar un oráculo.

Concebido para alimentar a los contratos inteligentes creados sobre Tezos con data Wolfram Alpha, el oráculo se utilizarán en conjunto con el marco de trabajo de verificación Mi-Cho-Coq diseñado por Nomadic Labs. De esa manera, los contratos inteligentes tendrán una «conducta predecible» cada vez que sean activados.

WBL expande sus capacidades con Tezos

El comunicado también anuncia que nodos de Tezos son albergados en la plataforma de Wolfram Blockchain Labs. Así, la integración tendrá una conexión directa con el lenguaje de programación en la nube Wolfram y el sistema computacional Mathematica.

WBL es conocido entre otras cosas por proveer un ecosistema basado en DLT para la creación de aplicaciones con contratos inteligentes. Sin embargo, la subsidiaria de Wolfram Research ha logrado el objetivo de implementar oráculos a sus servicios con mayor seguridad que ofrece la «verificación formal vía Tezos», proceso que consiste en:

(…) demuestra la corrección de las propiedades de un contrato inteligente para ayudar a mitigar los riesgos de errores y otras vulnerabilidades. WBL colaboró con TQ Tezos para construir el soporte de WolframLanguage para la funcionalidad avanzada, haciendo de la integración de Tezos una parte fácil e intuitiva del sistema Wolfram.

Los desarrolladores que construyan sobre esta blockchain ahora tienen una manera más sencilla de lanzar sus aplicaciones basadas en contratos inteligentes. Alimentados por los datos computacionales que ofrece Wolfram|Alpha, estos tendrán nuevos casos de uso, funcionales más seguras y aplicaciones con fácil despliegue. El CTO de Wolfram Blockchain Labs, Johan Veerman afirmó lo siguiente sobre la cooperación:

Tezos es una emocionante blockchain de tercera generación que cuenta con una serie de servicios y funciones que ampliarán lo que está disponible para nuestros desarrolladores. Estamos encantados de trabajar con TQ Tezos para llevar el ecosistema de herramientas de WBL al blockchain de Tezos.

Como ha informado CNF, Tezos lanzó recientemente una de sus actualizaciones más importantes, Edo. Desarrollada por Nomadics Labs, Marigold, DaiLambda y Metastate, Edo fue implementada a la altura del bloque 1,343,489. La actualización introdujo el protocolo Sapling para permitir transacciones con mayor privacidad con una biblioteca para transacciones blindadas también usada por Zcash.

About Author

Reynaldo Marquez has closely followed the growth of Bitcoin and blockchain technology since 2016. He has since worked as a columnist on crypto coins covering advances, falls and rises in the market, bifurcations and developments. He believes that crypto coins and blockchain technology will have a great positive impact on people's lives.

Los comentarios están cerrados.