Sin resultados
Ver todos los resultados
miรฉrcoles, septiembre 17, 2025
bloque โ‚ฟ: 915.094
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
miรฉrcoles, septiembre 17, 2025 | bloque โ‚ฟ: 915.094
Bandera de ARS
BTC 172.907.894,77 ARS -0,11% ETH 6.668.869,79 ARS -0,85%
Bandera de BOB
BTC 804.439,56 BOB -0,07% ETH 31.064,10 BOB -0,27%
Bandera de BRL
BTC 618.908,88 BRL 0,07% ETH 23.900,95 BRL -0,20%
Bandera de CLP
BTC 110.847.898,36 CLP 0,00% ETH 4.287.505,21 CLP -0,32%
Bandera de COP
BTC 452.277.888,99 COP 0,05% ETH 17.482.442,28 COP 1,29%
Bandera de CRC
BTC 58.670.694,10 CRC 0,03% ETH 2.265.465,22 CRC -0,16%
Bandera de EUR
BTC 98.452,19 EUR 0,17% ETH 3.801,30 EUR -0,03%
Bandera de USD
BTC 116.708,34 USD 0,23% ETH 4.505,54 USD -0,22%
Bandera de GTQ
BTC 892.437,18 GTQ 0,03% ETH 34.459,98 GTQ -0,16%
Bandera de HNL
BTC 3.044.948,92 HNL 0,03% ETH 117.575,66 HNL -0,16%
Bandera de MXN
BTC 2.130.968,13 MXN -0,10% ETH 82.229,64 MXN -0,33%
Bandera de PAB
BTC 116.560,62 PAB 0,03% ETH 4.500,80 PAB -0,16%
Bandera de PYG
BTC 830.148.482,51 PYG 0,03% ETH 32.054.808,04 PYG -0,16%
Bandera de PEN
BTC 404.555,67 PEN -0,06% ETH 15.610,29 PEN -0,46%
Bandera de DOP
BTC 7.266.368,31 DOP 0,03% ETH 280.579,42 DOP -0,16%
Bandera de UYU
BTC 4.678.177,71 UYU 0,03% ETH 180.641,16 UYU -0,16%
Bandera de VES
BTC 22.553.963,26 VES 0,51% ETH 892.137,15 VES 2,48%
Bandera de ARS
BTC 172.907.894,77 ARS -0,11% ETH 6.668.869,79 ARS -0,85%
Bandera de BOB
BTC 804.439,56 BOB -0,07% ETH 31.064,10 BOB -0,27%
Bandera de BRL
BTC 618.908,88 BRL 0,07% ETH 23.900,95 BRL -0,20%
Bandera de CLP
BTC 110.847.898,36 CLP 0,00% ETH 4.287.505,21 CLP -0,32%
Bandera de COP
BTC 452.277.888,99 COP 0,05% ETH 17.482.442,28 COP 1,29%
Bandera de CRC
BTC 58.670.694,10 CRC 0,03% ETH 2.265.465,22 CRC -0,16%
Bandera de EUR
BTC 98.452,19 EUR 0,17% ETH 3.801,30 EUR -0,03%
Bandera de USD
BTC 116.708,34 USD 0,23% ETH 4.505,54 USD -0,22%
Bandera de GTQ
BTC 892.437,18 GTQ 0,03% ETH 34.459,98 GTQ -0,16%
Bandera de HNL
BTC 3.044.948,92 HNL 0,03% ETH 117.575,66 HNL -0,16%
Bandera de MXN
BTC 2.130.968,13 MXN -0,10% ETH 82.229,64 MXN -0,33%
Bandera de PAB
BTC 116.560,62 PAB 0,03% ETH 4.500,80 PAB -0,16%
Bandera de PYG
BTC 830.148.482,51 PYG 0,03% ETH 32.054.808,04 PYG -0,16%
Bandera de PEN
BTC 404.555,67 PEN -0,06% ETH 15.610,29 PEN -0,46%
Bandera de DOP
BTC 7.266.368,31 DOP 0,03% ETH 280.579,42 DOP -0,16%
Bandera de UYU
BTC 4.678.177,71 UYU 0,03% ETH 180.641,16 UYU -0,16%
Bandera de VES
BTC 22.553.963,26 VES 0,51% ETH 892.137,15 VES 2,48%

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

Abogada Cristina Carrascosa ofrece una charla

Carrascosa: ยซEl euro digital no podrรก competir con las stablecoinsยป

16 septiembre, 2025
moneda de ethereum sobre monedas de bitcoin junto a pantalla con grafico de precio

Bitcoin y Ethereum ofrecerรกn oportunidades de inversiรณn a fin de aรฑo: Tom Lee

16 septiembre, 2025
BTC con monedas apiladas.

Cae la creaciรณn de tesorerรญas de bitcoin, ยฟquรฉ estรก pasando?

16 septiembre, 2025

Artรญculos relacionados

  • Tecnologรญa

Coinbase construye un puente para cruzar a Solanaย 

Por Franco Scandizzo
16 septiembre, 2025

Base, la red creada por Coinbase, estรก probando un puente que conectarรก con Solana y permitirรก mover tokens entre ambos ecosistemas.

Google lanza un protocolo de pagos con stablecoins

16 septiembre, 2025

Ethereum tendrรก un equipo para crear inteligencia artificial en la red

16 septiembre, 2025

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

15 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.