Sin resultados
Ver todos los resultados
martes, septiembre 2, 2025
bloque ₿: 912.841
CriptoNoticias Logo
  • Criptopedia
  • Tutoriales y guías
  • Glosario
    • Acrónimos y frases
  • Reviews
  • Calendario
  • Precios BTC y ETH
  • Boletines
  • Anúnciate
    • Advertise
Sin resultados
Ver todos los resultados
CriptoNoticias Logo
CriptoNoticias Logo
martes, septiembre 2, 2025 | bloque ₿: 912.841
Bandera de ARS
BTC 151.800.667,58 ARS -0,09% ETH 6.049.706,53 ARS 0,45%
Bandera de BOB
BTC 763.086,10 BOB -0,13% ETH 30.369,96 BOB 0,40%
Bandera de BRL
BTC 600.653,92 BRL -0,14% ETH 23.948,37 BRL 0,60%
Bandera de CLP
BTC 106.902.815,95 CLP 0,50% ETH 4.271.186,14 CLP 1,47%
Bandera de COP
BTC 443.926.638,07 COP -0,04% ETH 17.334.492,82 COP 0,22%
Bandera de CRC
BTC 55.781.786,43 CRC -0,13% ETH 2.220.767,46 CRC 0,43%
Bandera de EUR
BTC 94.494,35 EUR 0,12% ETH 3.761,83 EUR 0,64%
Bandera de USD
BTC 110.342,31 USD -0,12% ETH 4.385,19 USD 0,15%
Bandera de GTQ
BTC 845.708,52 GTQ -0,13% ETH 33.669,09 GTQ 0,43%
Bandera de HNL
BTC 2.889.948,25 HNL -0,13% ETH 115.053,74 HNL 0,43%
Bandera de MXN
BTC 2.068.197,71 MXN 0,21% ETH 82.417,11 MXN 0,79%
Bandera de PAB
BTC 110.249,77 PAB -0,13% ETH 4.389,23 PAB 0,43%
Bandera de PYG
BTC 797.404.247,62 PYG -0,13% ETH 31.746.014,57 PYG 0,43%
Bandera de PEN
BTC 388.641,43 PEN -0,17% ETH 15.474,51 PEN 0,33%
Bandera de DOP
BTC 6.941.053,29 DOP -0,13% ETH 276.335,10 DOP 0,43%
Bandera de UYU
BTC 4.413.258,89 UYU -0,12% ETH 175.699,32 UYU 0,44%
Bandera de VES
BTC 19.385.261,91 VES 2,67% ETH 767.976,82 VES 3,89%
Bandera de ARS
BTC 151.800.667,58 ARS -0,09% ETH 6.049.706,53 ARS 0,45%
Bandera de BOB
BTC 763.086,10 BOB -0,13% ETH 30.369,96 BOB 0,40%
Bandera de BRL
BTC 600.653,92 BRL -0,14% ETH 23.948,37 BRL 0,60%
Bandera de CLP
BTC 106.902.815,95 CLP 0,50% ETH 4.271.186,14 CLP 1,47%
Bandera de COP
BTC 443.926.638,07 COP -0,04% ETH 17.334.492,82 COP 0,22%
Bandera de CRC
BTC 55.781.786,43 CRC -0,13% ETH 2.220.767,46 CRC 0,43%
Bandera de EUR
BTC 94.494,35 EUR 0,12% ETH 3.761,83 EUR 0,64%
Bandera de USD
BTC 110.342,31 USD -0,12% ETH 4.385,19 USD 0,15%
Bandera de GTQ
BTC 845.708,52 GTQ -0,13% ETH 33.669,09 GTQ 0,43%
Bandera de HNL
BTC 2.889.948,25 HNL -0,13% ETH 115.053,74 HNL 0,43%
Bandera de MXN
BTC 2.068.197,71 MXN 0,21% ETH 82.417,11 MXN 0,79%
Bandera de PAB
BTC 110.249,77 PAB -0,13% ETH 4.389,23 PAB 0,43%
Bandera de PYG
BTC 797.404.247,62 PYG -0,13% ETH 31.746.014,57 PYG 0,43%
Bandera de PEN
BTC 388.641,43 PEN -0,17% ETH 15.474,51 PEN 0,33%
Bandera de DOP
BTC 6.941.053,29 DOP -0,13% ETH 276.335,10 DOP 0,43%
Bandera de UYU
BTC 4.413.258,89 UYU -0,12% ETH 175.699,32 UYU 0,44%
Bandera de VES
BTC 19.385.261,91 VES 2,67% ETH 767.976,82 VES 3,89%

Nuestra cuenta en Instagram está suspendida. Estamos trabajando para reactivarla. Cualquier otra cuenta con nuestro nombre es fraudulenta.

Home Tecnología

Microsoft lanza nueva herramienta para auditar contratos inteligentes de Ethereum

Microsoft ha revelado su nueva herramienta VeriSol, que permitirá analizar y auditar contratos inteligentes de Ethereum escritos en Solidity.

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

Imagen destacada por Esparta Palma / flickr.com

Cambiar tamaño del texto
Copiar enlace del artículo
Postear en X
Enviar por correo
  • 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.

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: Contratos inteligentesMicrosoft
¿Tienes información clave para nuestros reporteros? Ponte en contacto

Publicado: 05 julio, 2019 11:47 am GMT-0400 Actualizado: 27 mayo, 2024 08:17 pm GMT-0400
Autor: Redacción
Sala de Redacción de CriptoNoticias, diario líder en noticias e información en español acerca de las tecnologías Bitcoin, blockchains y criptomonedas.

Suscríbete a los boletines de CriptoNoticias

Mantente informado de los últimos acontecimientos del mundo de las  criptomonedas.

SUSCRIBIRME

Lo último

bitcoin-saylor-strategy-criptomonedas

«Bitcoin no tiene nada que ver con Michael Saylor»

2 septiembre, 2025
Alvaro D. Maria, abogado y bitcoiner.

El poder de bitcoin transforma las elecciones: Álvaro D. María

2 septiembre, 2025
BTC con gráficas y anotaciones.

3 razones para ser optimistas con bitcoin en próximos meses

2 septiembre, 2025

Artículos relacionados

  • Tecnología

La actividad en Ethereum está en el cielo (y las tarifas por los suelos) 

Por Franco Scandizzo
1 septiembre, 2025

Ethereum experimenta disonancias entre transacciones diarias y direcciones activas y comisiones de red.

Ethereum alcanzó el límite en su capacidad de blobs, ¿qué significa esto? 

29 agosto, 2025

Wallet Safe quiere matar las llaves privadas de criptomonedas 

29 agosto, 2025

Wallet Nunchuk incorpora scripts que hacen de bitcoin una navaja suiza

29 agosto, 2025

Aprende

  • Qué es Bitcoin
  • Qué son las criptomonedas
  • Minería de Bitcoin
  • Qué es Ethereum
  • Qué es una blockchain
  • Criptopedia

De interés

  • Reviews
  • Tutoriales
  • Opinión
  • Eventos
  • Precios BTC y ETH

Empresarial

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

Publicidad

  • Contáctanos
  • Anúnciate
  • Advertise

© 2025 Hecho con ♥ por Latinos.

Sin resultados
Ver todos los resultados
  • Bitcoin (BTC)
  • Comunidad
    • Comunidad
    • Adopción
    • Regulación
    • Sucesos
  • Criptopedia
    • Criptopedia
    • Glosario de Bitcoin y blockchains
    • Diccionario de acrónimos y frases sobre Bitcoin
  • Opinión
    • Opinión
    • Editorial
  • Mercados
    • Mercados
    • Negocios
  • Reviews
  • Tecnología
    • Tecnología
    • Seguridad
    • Minería
  • Tutoriales y guías
  • Calendario de eventos
  • Precios BTC y ETH
  • Publicidad
    • Publicidad
    • Advertise
  • Boletines

© 2020 Hecho con ♥ por Latinos.