lunes, junio 27, 2022
InicioBlockchainMicrosoft anuncia una nueva herramienta de verificación de código abierto para los...

Microsoft anuncia una nueva herramienta de verificación de código abierto para los contratos inteligentes de Ethereum

spot_img

Microsoft anunció recientemente el desarrollo de una herramienta de verificación de código abierto llamada VeriSol para los contratos inteligentes de Ethereum y el lenguaje de programación Solidity.

Anunciada en el blog oficial de Microsoft, la herramienta se llama VeriSol como una abreviatura de Verifier for Solidity.

Asociación con el grupo Azure

Hoy en día, Solidity es el lenguaje de programación más utilizado para el desarrollo de contratos inteligentes y dApps de Ethereum.

VeriSol permitirá a los desarrolladores escribir especificaciones para sus contratos inteligentes utilizando un lenguaje intermedio que se puede probar mediante mecanismos de lógica matemática.

Hoy en día, VeriSol sigue siendo un prototipo, pero el equipo pretende cubrir lo antes posible todos los usos posibles de las principales aplicaciones empresariales.

VeriSol es el producto final de la asociación entre el grupo de Azure Blockchain y el grupo de Investigación de Microsoft.

Verificación requerida para garantizar mayor seguridad

La seguridad ha sido durante mucho tiempo el principal problema de los contratos inteligentes de Ethereum, como lo demuestra el número de robos de criptomonedas y de pirateos. La verificación formal proporciona a los desarrolladores un protocolo efectivo para probar la seguridad de los componentes más críticos en su código.

El proceso generalmente requiere desarrolladores especializados y largos períodos de tiempo para ejecutarse, por lo que se recomienda que se reserve solo para las partes más importantes del producto.

Uno de los principales investigadores de Microsoft, Shuvendu Lahiri, dijo:

“El modesto tamaño del código y la semántica de ejecución secuencial de los contratos inteligentes los hacen susceptibles de verificación escalable, y el entorno operativo abierto reduce sustancialmente la necesidad de modelar manualmente el entorno en el que opera un contrato inteligente”.

VeriSol integrará el kit de desarrollo y el banco de trabajo para la cadena de bloques Azure de Microsoft, que ofrece modelos de desarrollo e integraciones con todos los servicios típicos de Azure.

Esta herramienta tiene como objetivo proporcionar a los desarrolladores una forma más directa de desarrollo y les dará la posibilidad de encontrar fácilmente cualquier error en el código.

spot_img

Descargo de responsabilidad: la información que se encuentra en Criptoinforme es la de los escritores citados. No representa las opiniones de Criptoinforme sobre si comprar, vender o mantener inversiones. Se le recomienda realizar su propia investigación antes de tomar cualquier decisión de inversión. Utilice la información proporcionada bajo su propio riesgo.

Compre y venda Bitcoin y otras criptomonedas en Binance, el intercambio de criptomonedas más completo para invertir de manera segura y conveniente en las criptomonedas más negociadas del mundo. Regístrese y vea lo simple que es, vaya a: https://binance.com


Siga las noticias más recientes sobre el mercado de criptomonedas en:

Google News | Facebook | Twitter | Telegram | RedditYouTube


 

ARTÍCULOS RELACIONADOS
- Publicidad -
9,738FansMe gusta
9,079SeguidoresSeguir
7,055SeguidoresSeguir
268SuscriptoresSuscribirte

INTERCAMBIOS Y BROKERS DE CONFIANZA

- Publicidad -spot_img

Lo más leído esta semana

- Publicidad -