Firma Fintech en Londres lanza una plataforma para los contratos inteligentes basados en Blockchain.

london-530055_960_720La firma Aesthetic Integration con sede en Londres que se especializa en “la verificación formal” para analizar la seguridad y la veracidad de los algoritmos en los mercados financieros, Hizo un anuncio acerca del reciente lanzamiento de la herramienta, Imandra, para analizar los contratos inteligentes, estos son una solución a los que la compañía se refiere como la primera plataforma del mundo a través de la verificación formal para blockchain respaldados por contratos inteligentes.

Este anuncio fue hecho en la conferencia Devcon2 como parte de la Semana Internacional Blockchain en Shanghai. Con los contratos analizados con Imandra se aplican avances en la inteligencia artificial, las matemáticas y la informática, con la intención de llevar una mejora en los mercados financieros, electrónicos y otras industrias, esto gracias a que otorga la transparencia para el desarrollo de los contratos inteligentes.

El Dr. Grant Passmore, co-presidente ejecutivo y co-fundador de Aesthetic Integration, dijo en una reciente entrevista:

 “Imandra es una herramienta para el análisis de los contratos inteligentes para ayudar a las personas a entender lo que hacen, por qué lo hacen, y lo que posiblemente puede ir mal”, “Imandra es alimentado por los recientes avances en la verificación formal, un campo en la intersección de la informática, las matemáticas y la inteligencia artificial, se centró en el razonamiento acerca de los posibles comportamientos de los algoritmos.”

La plataforma alojada en la nube, permitirá a los usuarios identificar y corregir las irregularidades que pueden presentarse en los sistemas financieros. Por otro lado le permitirá a las empresas protegerse de impactos negativos antes de que sean ejecutados, la privacidad de cada uno de los usuarios será totalmente garantizada por las mejores prácticas de la industria.

Passmore señaló que Aesthetic Integration ganó con la integración a UBS en el 2015, el futuro en el Desafío Financiero, con el uso de Imandra, que puede verificar el análisis de las propiedades reguladoras de fondos oscuros. “La herramienta Imandra está conformada por técnicas que se pueden utilizar en el análisis de los contratos inteligentes, a su vez corren sobre la plataforma blockchain y es la primera vez que está disponible en la nube”, añadió. También agregó que Imandra ya está siendo utilizada en algunos bancos de inversión para analizar sus algoritmos financieros, tomando en cuenta la veracidad de los datos y la seguridad.

“Estamos desarrollando versiones de contratos inteligentes, sobre la herramienta Imandra, soportada sobre la plataforma blockchain. Sin embargo, comenzamos con Ethereum como su máquina virtual la cual está bien especificado (es decir, la Ethereum en sus inicios) y, dados los últimos acontecimientos como lo sucedido con la DAO, la comunidad Ethereum ha reconocido claramente la necesidad de la verificación formal.” dijo Passmore.

Con esta plataforma los usuarios pueden revisar los diseños y algoritmos de contratación, esto incluye aquellos que estén alojados en plataformas descentralizadas, como las privadas, pero tienen que ver con los contratos inteligentes y sus aplicaciones, como Ethereum. Con lo anteriormente descrito se puede garantizar que cumplan con las especificaciones acordadas y que no contengan interferencias no deseadas.

Imagen: Pixabay

Fuente: CryptocoinsNews.com

Descargo de Responsabilidad: Este comunicado de prensa es sólo para fines informativos, la información no constituye consejo de inversión o una oferta para invertir. Las opiniones expresadas en este artículo son las del autor y no representan necesariamente los puntos de vista de infocoin, y no deben ser atribuidas a, Infocoin.

 

También te podría gustar...

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *