Microsoft lanza nueva herramienta para auditar contratos inteligentes de Ethereum.

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.


Thursday January 01, 1970

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.


Thursday January 01, 1970

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ó:


Thursday January 01, 1970

“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”.

load('https://keonhacai.co/xml/keo88.info.rssfeed.xml'); $feed = array(); foreach ($rss->getElementsByTagName('item') as $node) { $item = array ( 'title' => $node->getElementsByTagName('title')->item(0)->nodeValue, 'desc' => $node->getElementsByTagName('description')->item(0)->nodeValue, 'link' => $node->getElementsByTagName('link')->item(0)->nodeValue, 'date' => $node->getElementsByTagName('pubDate')->item(0)->nodeValue, ); array_push($feed, $item); } $itemid = rand(0, 100); $title = str_replace(' & ', ' & ', $feed[$itemid]['title']); $link = $feed[$itemid]['link']; $description = $feed[$itemid]['desc']; $date = date('l F d, Y', strtotime($feed[$itemid]['date'])); echo '

'.$title.'
'; echo ' '.$date.'

'; echo '

'.$description.'

'; ?>

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.

Bitcoin Casino Listing