Sin resultados
Ver todos los resultados
lunes, septiembre 15, 2025
bloque โ‚ฟ: 914.843
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
lunes, septiembre 15, 2025 | bloque โ‚ฟ: 914.843
Bandera de ARS
BTC 171.157.747,05 ARS 0,22% ETH 6.700.896,48 ARS -1,93%
Bandera de BOB
BTC 796.029,12 BOB -0,38% ETH 31.080,42 BOB -3,01%
Bandera de BRL
BTC 612.016,03 BRL -1,41% ETH 23.905,10 BRL -3,95%
Bandera de CLP
BTC 109.217.911,37 CLP -0,54% ETH 4.264.385,39 CLP -2,64%
Bandera de COP
BTC 448.886.448,63 COP -0,21% ETH 17.511.889,41 COP -3,08%
Bandera de CRC
BTC 57.900.484,69 CRC -0,51% ETH 2.261.022,58 CRC -3,13%
Bandera de EUR
BTC 97.698,29 EUR -0,75% ETH 3.815,09 EUR -3,37%
Bandera de USD
BTC 115.047,81 USD -0,45% ETH 4.488,13 USD -3,08%
Bandera de GTQ
BTC 881.096,58 GTQ -0,52% ETH 34.406,95 GTQ -3,14%
Bandera de HNL
BTC 3.011.186,50 HNL -0,53% ETH 117.587,28 HNL -3,15%
Bandera de MXN
BTC 2.109.847,08 MXN -1,00% ETH 82.410,19 MXN -3,49%
Bandera de PAB
BTC 114.971,78 PAB -0,45% ETH 4.489,67 PAB -3,08%
Bandera de PYG
BTC 821.073.962,05 PYG -0,57% ETH 32.063.060,95 PYG -3,19%
Bandera de PEN
BTC 400.465,30 PEN -0,60% ETH 15.732,07 PEN -2,66%
Bandera de DOP
BTC 7.222.193,03 DOP -1,11% ETH 282.027,72 DOP -3,72%
Bandera de UYU
BTC 4.617.416,10 UYU -0,34% ETH 180.310,79 UYU -2,97%
Bandera de VES
BTC 21.814.705,98 VES -0,37% ETH 844.589,92 VES -3,75%
Bandera de ARS
BTC 171.157.747,05 ARS 0,22% ETH 6.700.896,48 ARS -1,93%
Bandera de BOB
BTC 796.029,12 BOB -0,38% ETH 31.080,42 BOB -3,01%
Bandera de BRL
BTC 612.016,03 BRL -1,41% ETH 23.905,10 BRL -3,95%
Bandera de CLP
BTC 109.217.911,37 CLP -0,54% ETH 4.264.385,39 CLP -2,64%
Bandera de COP
BTC 448.886.448,63 COP -0,21% ETH 17.511.889,41 COP -3,08%
Bandera de CRC
BTC 57.900.484,69 CRC -0,51% ETH 2.261.022,58 CRC -3,13%
Bandera de EUR
BTC 97.698,29 EUR -0,75% ETH 3.815,09 EUR -3,37%
Bandera de USD
BTC 115.047,81 USD -0,45% ETH 4.488,13 USD -3,08%
Bandera de GTQ
BTC 881.096,58 GTQ -0,52% ETH 34.406,95 GTQ -3,14%
Bandera de HNL
BTC 3.011.186,50 HNL -0,53% ETH 117.587,28 HNL -3,15%
Bandera de MXN
BTC 2.109.847,08 MXN -1,00% ETH 82.410,19 MXN -3,49%
Bandera de PAB
BTC 114.971,78 PAB -0,45% ETH 4.489,67 PAB -3,08%
Bandera de PYG
BTC 821.073.962,05 PYG -0,57% ETH 32.063.060,95 PYG -3,19%
Bandera de PEN
BTC 400.465,30 PEN -0,60% ETH 15.732,07 PEN -2,66%
Bandera de DOP
BTC 7.222.193,03 DOP -1,11% ETH 282.027,72 DOP -3,72%
Bandera de UYU
BTC 4.617.416,10 UYU -0,34% ETH 180.310,79 UYU -2,97%
Bandera de VES
BTC 21.814.705,98 VES -0,37% ETH 844.589,92 VES -3,75%

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

monedas de solana.

ยฟQuiรฉn estรก acumulando solana? Una nueva entidad lidera las tesorerรญas

15 septiembre, 2025
Logos de BloFin y Token2049 en fondo negro y naranja

BloFin, patrocinador de TOKEN2049 Singapore, estrena su stand ยซBuildยป รฉpico

15 septiembre, 2025
moneda del token Bone junto a grafico alcista de precio con logo de Shiba Inu en el fondo

Memecoins sangran tras hackeo que sufriรณ Shiba Inu

15 septiembre, 2025

Artรญculos relacionados

  • Tecnologรญa

La red de XRP recibirรก una nueva actualizaciรณn de seguridadย 

Por Franco Scandizzo
15 septiembre, 2025

La actualizaciรณn aรฑade lรญmites de seguridad configurables en la red para evitar que fondos sean drenados tras un ataque.

Fundaciรณn Ethereum presenta hoja de ruta para dar protagonismo a la privacidad

14 septiembre, 2025

Vitalik Buterin advierte sobre riesgos de la IA

13 septiembre, 2025

Esta aplicaciรณn convierte cualquier telรฉfono en una hardware wallet de Bitcoin

12 septiembre, 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.