Sin resultados
Ver todos los resultados
lunes, enero 25, 2021
CriptoNoticias Logo
  • Criptopedia
  • Tutoriales y guías
  • Glosario
    • Acrónimos y frases
  • Podcasts
  • Calendario
  • Precios BTC y ETH
Sin resultados
Ver todos los resultados
CriptoNoticias Logo
CriptoNoticias Logo
Bandera de ARS
BTC 4.346.431,34 ARS -0,68% ETH 215.578,67 ARS 0,38%
Bandera de BOB
BTC 229.839,03 BOB 0,77% ETH 9.767,93 BOB -3,05%
Bandera de BRL
BTC 180.042,22 BRL 0,85% ETH 7.767,97 BRL 0,48%
Bandera de CLP
BTC 24.194.286,23 CLP 1,12% ETH 1.025.509,99 CLP -1,27%
Bandera de COP
BTC 121.195.507,48 COP 9,87% ETH 4.886.526,74 COP -1,92%
Bandera de CRC
BTC 20.215.192,81 CRC 0,90% ETH 866.919,45 CRC 4,57%
Bandera de EUR
BTC 27.287,76 EUR 1,00% ETH 1.164,65 EUR -1,15%
Bandera de USD
BTC 33.288,22 USD 0,15% ETH 1.419,43 USD -1,17%
Bandera de MXN
BTC 660.143,33 MXN 0,01% ETH 28.199,81 MXN -1,42%
Bandera de PAB
BTC 33.166,23 PAB -0,74% ETH 1.417,19 PAB 3,16%
Bandera de PYG
BTC 230.209.581,08 PYG 0,96% ETH 9.816.294,49 PYG -1,59%
Bandera de PEN
BTC 124.323,64 PEN 1,84% ETH 4.904,03 PEN -5,61%
Bandera de DOP
BTC 1.963.847,05 DOP 1,95% ETH 82.391,88 DOP -1,88%
Bandera de UYU
BTC 1.411.230,23 UYU 0,89% ETH 59.798,83 UYU -7,82%
Bandera de VES
BTC 49.248.770.333,84 VES -4,11% ETH 2.212.064.703,54 VES -2,91%
Bandera de ARS
BTC 4.346.431,34 ARS -0,68% ETH 215.578,67 ARS 0,38%
Bandera de BOB
BTC 229.839,03 BOB 0,77% ETH 9.767,93 BOB -3,05%
Bandera de BRL
BTC 180.042,22 BRL 0,85% ETH 7.767,97 BRL 0,48%
Bandera de CLP
BTC 24.194.286,23 CLP 1,12% ETH 1.025.509,99 CLP -1,27%
Bandera de COP
BTC 121.195.507,48 COP 9,87% ETH 4.886.526,74 COP -1,92%
Bandera de CRC
BTC 20.215.192,81 CRC 0,90% ETH 866.919,45 CRC 4,57%
Bandera de EUR
BTC 27.287,76 EUR 1,00% ETH 1.164,65 EUR -1,15%
Bandera de USD
BTC 33.288,22 USD 0,15% ETH 1.419,43 USD -1,17%
Bandera de MXN
BTC 660.143,33 MXN 0,01% ETH 28.199,81 MXN -1,42%
Bandera de PAB
BTC 33.166,23 PAB -0,74% ETH 1.417,19 PAB 3,16%
Bandera de PYG
BTC 230.209.581,08 PYG 0,96% ETH 9.816.294,49 PYG -1,59%
Bandera de PEN
BTC 124.323,64 PEN 1,84% ETH 4.904,03 PEN -5,61%
Bandera de DOP
BTC 1.963.847,05 DOP 1,95% ETH 82.391,88 DOP -1,88%
Bandera de UYU
BTC 1.411.230,23 UYU 0,89% ETH 59.798,83 UYU -7,82%
Bandera de VES
BTC 49.248.770.333,84 VES -4,11% ETH 2.212.064.703,54 VES -2,91%
Home Tecnología

Microsoft lanza nueva herramienta para auditar contratos inteligentes de Ethereum

por Redacción
5 julio, 2019
en Tecnología
2 min de lectura
Microsoft auditar contratos inteligentes

Imagen destacada por Esparta Palma / flickr.com

FacebookTwitterLinkedinEmail
Hechos clave:
  • Microsoft apuesta a la colaboración en código abierto para un mejor ecosistema
  • VeriSol perminte mayor comodidad para programadores y usuarios

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.

También te podría interesar
BTC lenguaje programación pagos
5 avances tecnológicos en Bitcoin que prometen mejorar su funcionamiento para este 2021
24 enero, 2021
Identidad descentralizada soberana
Identidad Digital Auto Soberana: devolviendo el control a sus dueños
17 enero, 2021

With new open-source formal verification tool VeriSol, Microsoft researchers are helping developers author safer and higher-quality smart contracts in @Azure Blockchain offerings: https://t.co/dzL84z1p3F

— Microsoft Research (@MSFTResearch) June 3, 2019

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.

Alentando la colaboración de código abierto

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.


Versión traducida del artículo escrito por Nawaz Sulemanji, publicado en Coin Rivet.

Etiquetas: AzureContratos inteligentesMicrosoft

Relacionados Artículos

BTC lenguaje programación pagos
Tecnología

5 avances tecnológicos en Bitcoin que prometen mejorar su funcionamiento para este 2021

por Andrea Leal
24 enero, 2021

Los contratos DLC, el protocolo PayJoin y Taproot son algunos de las funciones que se incorporaron en el ecosistema de...

ETH planes 2.0 desarrolladores

Estas son las mejoras planeadas para Ethereum durante el año 2021

23 enero, 2021
BTC sistema computo tecnologia

Instala un nodo completo de Bitcoin (y añade herramientas para aumentar tu privacidad)

21 enero, 2021
manifestantes usan telegran iphone

Diplomático estadounidense demanda a Apple por no retirar Telegram de su App Store

19 enero, 2021
Logo de Mitsubishi junto a blockchain sobre cajas con componentes electrónicos. Composición por CriptoNoticias. iLexx / elements.envato.com; Mitsubishi Motors / mitsubishi-motors.com; Rawpixel / elements.envato.com

Mitsubishi desarrolla blockchain para venta de excedentes eléctricos

18 enero, 2021

Nosotros

  • Contacto
  • Acerca de
  • Nuestro equipo
  • Mapa del sitio
  • Política de Privacidad
  • Política publicitaria
  • Trabaja con nosotros

Asesor SEO

© 2020 Hecho con ♥ por Latinos.

Sin resultados
Ver todos los resultados
  • Inicio
  • Precios BTC y ETH
  • Criptomonedas
    • Bitcoin (BTC)
    • Ethereum (ETH)
    • Monero (XMR)
  • Países
    • Argentina
    • Colombia
    • España
    • México
    • Venezuela
  • Tutoriales y guías
  • Mercados
  • Minería
  • Regulación
  • Tecnología
  • Seguridad
  • Podcasts
  • Otras categorías
    • Comunidad
      • Adopción
      • Análisis e Investigación
      • Educación
      • Entretenimiento
      • Eventos
      • Ficción
    • Negocios
      • Judicial
      • Finanzas
    • Opinión
      • Editorial
      • Entrevistas
  • Criptopedia
    • Diccionario de acrónimos y frases sobre Bitcoin
    • Glosario de Bitcoin y blockchains
  • Calendario de eventos
  • Contacto

© 2020 Hecho con ♥ por Latinos.