Sin resultados
Ver todos los resultados
martes, julio 15, 2025
bloque โ‚ฟ: 905.722
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, julio 15, 2025 | bloque โ‚ฟ: 905.722
Bandera de ARS
BTC 150.265.235,98 ARS -1,93% ETH 3.957.892,42 ARS 3,11%
Bandera de BOB
BTC 807.221,55 BOB -0,62% ETH 21.064,19 BOB 2,93%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de BRL
BTC 648.357,51 BRL -0,72% ETH 16.953,88 BRL 3,13%
Bandera de CLP
BTC 112.569.131,47 CLP -0,48% ETH 2.934.874,93 CLP 3,96%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de COP
BTC 469.942.093,12 COP 1,86% ETH 12.061.912,87 COP 3,07%
Bandera de CRC
BTC 58.818.625,74 CRC -0,54% ETH 1.533.901,03 CRC 3,02%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de EUR
BTC 100.440,06 EUR 0,26% ETH 2.618,45 EUR 3,86%
Bandera de USD
BTC 116.354,07 USD -0,49% ETH 3.040,90 USD 3,32%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de GTQ
BTC 894.940,20 GTQ -0,57% ETH 23.338,69 GTQ 2,99%
Bandera de HNL
BTC 3.069.189,39 HNL -0,15% ETH 80.039,83 HNL 3,42%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de MXN
BTC 2.197.769,17 MXN 0,06% ETH 57.433,51 MXN 3,94%
Bandera de PAB
BTC 116.582,86 PAB -0,42% ETH 3.040,31 PAB 3,14%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de PYG
BTC 903.324.351,95 PYG -0,56% ETH 23.557.336,49 PYG 3,00%
Bandera de PEN
BTC 413.576,78 PEN -0,76% ETH 10.892,35 PEN 5,85%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de DOP
BTC 7.029.413,76 DOP -0,51% ETH 183.316,51 DOP 3,05%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de UYU
BTC 4.722.181,11 UYU -0,99% ETH 123.147,36 UYU 2,56%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de VES
BTC 15.017.962,59 VES -0,41% ETH 388.460,01 VES -2,41%
Bandera de ARS
BTC 150.265.235,98 ARS -1,93% ETH 3.957.892,42 ARS 3,11%
Bandera de BOB
BTC 807.221,55 BOB -0,62% ETH 21.064,19 BOB 2,93%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de BRL
BTC 648.357,51 BRL -0,72% ETH 16.953,88 BRL 3,13%
Bandera de CLP
BTC 112.569.131,47 CLP -0,48% ETH 2.934.874,93 CLP 3,96%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de COP
BTC 469.942.093,12 COP 1,86% ETH 12.061.912,87 COP 3,07%
Bandera de CRC
BTC 58.818.625,74 CRC -0,54% ETH 1.533.901,03 CRC 3,02%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de EUR
BTC 100.440,06 EUR 0,26% ETH 2.618,45 EUR 3,86%
Bandera de USD
BTC 116.354,07 USD -0,49% ETH 3.040,90 USD 3,32%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de GTQ
BTC 894.940,20 GTQ -0,57% ETH 23.338,69 GTQ 2,99%
Bandera de HNL
BTC 3.069.189,39 HNL -0,15% ETH 80.039,83 HNL 3,42%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de MXN
BTC 2.197.769,17 MXN 0,06% ETH 57.433,51 MXN 3,94%
Bandera de PAB
BTC 116.582,86 PAB -0,42% ETH 3.040,31 PAB 3,14%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de PYG
BTC 903.324.351,95 PYG -0,56% ETH 23.557.336,49 PYG 3,00%
Bandera de PEN
BTC 413.576,78 PEN -0,76% ETH 10.892,35 PEN 5,85%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de DOP
BTC 7.029.413,76 DOP -0,51% ETH 183.316,51 DOP 3,05%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de UYU
BTC 4.722.181,11 UYU -0,99% ETH 123.147,36 UYU 2,56%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de VES
BTC 15.017.962,59 VES -0,41% ETH 388.460,01 VES -2,41%
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
Publicidad

Lo รบltimo

La reina de las memecoins en Solana lanzรณ al mercado su token nativo. Fuente: Microsoft Image Creator.

Pump.fun enfrenta crรญticas y sospechas tras lanzamiento de su criptomonedaย 

15 julio, 2025
Aave ha logrado superar a bancos en dรฉpositos. Fuente: Adobe Stock.

Usuarios de Aave ya le confiaron 50.000 millones de dรณlares

15 julio, 2025
Dos monedas de bitcoin y Ethereum en un ring.

ยซEthereum no compite contra bitcoinยป: CEO de Bitwise

15 julio, 2025
Publicidad

Artรญculos relacionados

  • Tecnologรญa

Pump.fun enfrenta crรญticas y sospechas tras lanzamiento de su criptomonedaย 

Por Franco Scandizzo
15 julio, 2025

La plataforma lanzรณ su token PUMP el 12 de julio y se encuentra bajo cuestionamientos por caรญdas de precio y manejo de fondos.

Wallet Zeus v0.11.2. de bitcoin trae mejoras en Cashu y puntos de venta

14 julio, 2025

30% y 60% de todo el ETH de Ethereum y el ADA de Cardano yace en stakingย 

14 julio, 2025

Cathie Wood: la Fundaciรณn Ethereum estรก tomando las medidas correctasย 

14 julio, 2025
Publicidad

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
    • Adopciรณn
    • Regulaciรณn
    • Sucesos
  • Criptopedia
    • Glosario de Bitcoin y blockchains
    • Diccionario de acrรณnimos y frases sobre Bitcoin
  • Opiniรณn
    • Editorial
  • Mercados
    • Negocios
  • Reviews
  • Tecnologรญa
    • Seguridad
    • Minerรญa
  • Tutoriales y guรญas
  • Calendario de eventos
  • Precios BTC y ETH
  • Publicidad
    • Advertise
  • Boletines

ยฉ 2020 Hecho con โ™ฅ por Latinos.