Category Archiveprogramas

Microsoft lanza nueva herramienta para auditar contratos inteligentes de Ethereum.

Microsoft ha lanzado una nueva herramienta de código abierto que permitirá auditar y analizar contratos inteligentes escritos en Solidity, el popular lenguaje de programación comúnmente usado en la blockchain de Ethereum.

La nueva herramienta de Microsoft, llamada VeriSol (abreviatura de Verificador de Solidity), permite a los programadores expresar “el comportamiento deseable de los contratos inteligentes escritos en un subconjunto del popular lenguaje de programación Solidity”, de modo que se pueda utilizar la “maquinaria lógica matemática” para auditar el estado de una especificación en una implementación de un contrato inteligente dado.

VeriSol también se ha incorporado en la línea de desarrollo de contratos inteligentes de Azure. El jefe de ingenieros de software del equipo de Azure, Cody Born, comentó:

“VeriSol nos permite iterar más rápidamente gracias al chequeo continuo y automatizado, y nos permite captar fallos con mayor rapidez sin tener que preocuparnos por afectar a los usuarios”.

Si bien VeriSol todavía es un prototipo impulsado principalmente por los contratos inteligentes en Azure, los investigadores tienen metas elevadas para la herramienta de verificación, comentando que están buscando “fomentar la colaboración abierta para ayudar a llevar los avances en la verificación formal al desarrollo de contratos inteligentes en general”

El investigador principal de Microsoft Shuvendu Lahiri concluyó:

“Nuestra visión es potenciar no solo a los desarrolladores y usuarios de la blockchain de Azure, sino también contribuir a todo un ecosistema blockchain más seguro y ayudar a las personas a aprovechar todo el potencial de la tecnología, sin verse afectados por los costosos errores en contratos inteligentes”.

Fuente: criptonoticias.com

Imagen: Pixabay

Descargo de responsabilidad: InfoCoin no está afiliado con ninguna de las empresas mencionadas en este artículo y no es responsable de sus productos y/o servicios. Este comunicado de prensa es sólo para fines informativos, la información no constituye consejo de inversión o una oferta para invertir.

La mejor escuela de negocios de la India ofrece un programa de blockchain avanzado para profesionales.

Una de las mejores escuelas de negocios de la India está preparada para ofrecer un programa avanzado de blockchain para profesionales. Marca el caso más reciente de instituciones académicas globales que intentan responder a la demanda de los estudiantes y la industria para obtener más educación sobre los activos criptográficos.

El Instituto Indio de Administración de Calcuta (IIM Calcuta), una de las escuelas de negocios públicas mejor calificadas en Calcuta, Bengala Occidental, planea iniciar un nuevo programa educativo relacionado con la criptomoneda en mayo de 2019. El Programa Avanzado en Fintech y Financial Blockchain (APFFB) está destinado para hacer frente a la escasez de talento del país gigante que enfrenta la industria de tecnología financiera. El programa está diseñado para profesionales de la gerencia media y superior en organizaciones que necesitan desarrollar una estrategia de finanzas digitales.

“Una gran mayoría de las empresas del sector bancario y financiero creen que la falta de talento adecuado de FinTech es una amenaza existencial para su futuro. Nuestro programa FinTech, diseñado teniendo en cuenta a los profesionales de administración y finanzas de hoy en día, aprovechará la profunda experiencia en investigación y consultoría de la facultad de IIM Calcuta y nuestro moderno Laboratorio de Finanzas. “Planeamos equipar y habilitar a 2000 profesionales de Fintech en los próximos años”, explicó el director del programa, el Prof. Indranil Bose, a los medios de comunicación indios.

Según el sitio web de la escuela, la duración del programa será de seis meses y les costará a los estudiantes aproximadamente Rs. 3.20.000 ($ 4.500). El contenido del curso incluirá clases sobre Análisis e Interpretación de Datos, Mercados y Productos Financieros, Entendiendo a los Bancos y otras Instituciones Financieras, Fundamentos de Fintech, Pagos Digitales, Todo sobre Blockchain, Irrupciones Digitales en Servicios Financieros, Activos y Fichas de Criptografía, Gestión de Riesgos para Fintech, y Data Driven Financial Analytics.

Las instituciones académicas de todo el mundo ya han estado ofreciendo clases sobre criptomonedas y tecnologías relacionadas desde hace un par de años. Este mes, la Universidad Fudan de Shanghai lanzó un centro de investigación y desarrollo de blockchain y, en enero, la Universidad de California, Berkeley, formó un nuevo programa de aceleración de inicio centrado en blockchain para sus estudiantes.

Fuente: news.bitcoin.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.