Sin resultados
Ver todos los resultados
domingo, julio 13, 2025
bloque ₿: 905.337
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
domingo, julio 13, 2025 | bloque ₿: 905.337
Bandera de ARS
BTC 150.657.303,51 ARS -0,33% ETH 3.755.442,21 ARS -0,60%
Bandera de BOB
BTC 817.298,53 BOB 0,16% ETH 20.518,36 BOB 0,11%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de BRL
BTC 657.594,63 BRL 0,19% ETH 16.507,50 BRL 0,28%
Bandera de CLP
BTC 112.383.886,77 CLP 0,20% ETH 2.808.618,45 CLP -0,44%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de COP
BTC 471.559.029,58 COP 0,25% ETH 11.887.099,31 COP 2,37%
Bandera de CRC
BTC 59.516.712,79 CRC 0,16% ETH 1.494.173,13 CRC 0,19%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de EUR
BTC 100.388,38 EUR 0,20% ETH 2.520,45 EUR 0,23%
Bandera de USD
BTC 117.867,94 USD 0,09% ETH 2.966,04 USD 0,47%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de GTQ
BTC 906.152,85 GTQ 0,16% ETH 22.749,06 GTQ 0,19%
Bandera de HNL
BTC 3.103.667,25 HNL 0,16% ETH 77.917,88 HNL 0,19%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de MXN
BTC 2.202.189,49 MXN 0,14% ETH 55.301,10 MXN 0,16%
Bandera de PAB
BTC 117.977,42 PAB 0,16% ETH 2.961,84 PAB 0,19%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de PYG
BTC 914.094.680,06 PYG 0,16% ETH 22.948.439,89 PYG 0,19%
Bandera de PEN
BTC 418.510,35 PEN 0,52% ETH 10.467,45 PEN 0,10%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de DOP
BTC 7.114.038,12 DOP 0,16% ETH 178.598,65 DOP 0,19%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de UYU
BTC 4.791.196,22 UYU 0,16% ETH 120.283,47 UYU 0,19%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de VES
BTC 15.027.803,27 VES 0,02% ETH 358.540,91 VES -4,30%
Bandera de ARS
BTC 150.657.303,51 ARS -0,33% ETH 3.755.442,21 ARS -0,60%
Bandera de BOB
BTC 817.298,53 BOB 0,16% ETH 20.518,36 BOB 0,11%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de BRL
BTC 657.594,63 BRL 0,19% ETH 16.507,50 BRL 0,28%
Bandera de CLP
BTC 112.383.886,77 CLP 0,20% ETH 2.808.618,45 CLP -0,44%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de COP
BTC 471.559.029,58 COP 0,25% ETH 11.887.099,31 COP 2,37%
Bandera de CRC
BTC 59.516.712,79 CRC 0,16% ETH 1.494.173,13 CRC 0,19%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de EUR
BTC 100.388,38 EUR 0,20% ETH 2.520,45 EUR 0,23%
Bandera de USD
BTC 117.867,94 USD 0,09% ETH 2.966,04 USD 0,47%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de GTQ
BTC 906.152,85 GTQ 0,16% ETH 22.749,06 GTQ 0,19%
Bandera de HNL
BTC 3.103.667,25 HNL 0,16% ETH 77.917,88 HNL 0,19%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de MXN
BTC 2.202.189,49 MXN 0,14% ETH 55.301,10 MXN 0,16%
Bandera de PAB
BTC 117.977,42 PAB 0,16% ETH 2.961,84 PAB 0,19%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de PYG
BTC 914.094.680,06 PYG 0,16% ETH 22.948.439,89 PYG 0,19%
Bandera de PEN
BTC 418.510,35 PEN 0,52% ETH 10.467,45 PEN 0,10%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de DOP
BTC 7.114.038,12 DOP 0,16% ETH 178.598,65 DOP 0,19%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de UYU
BTC 4.791.196,22 UYU 0,16% ETH 120.283,47 UYU 0,19%
Publicidad
Aliado Logo de Binance modo luz Logo de Binance modo nocturno
Bandera de VES
BTC 15.027.803,27 VES 0,02% ETH 358.540,91 VES -4,30%
Home Seguridad

Desarrollan herramienta de programación para mejorar contratos inteligentes de Ethereum

Investigadores de la Universidad de Illinois, en Estados Unidos, desarrollaron una semántica formal de lenguaje de programación para verificar contratos inteligentes de la Ethereum Virtual Machine, con el fin de reducir sus vulnerabilidades y aumentar su seguridad.

por José Rafael Peña
4 agosto, 2017
en Seguridad
Tiempo de lectura: 3 minutos
Herramienta-mejorar-contratos-inteligentes
Cambiar tamaño del texto
Copiar enlace del artículo
Postear en X
Enviar por correo

Un equipo de investigadores en ingeniería de software de la Universidad de Illinois de Urbana-Champaign (UIUC) en Estados Unidos, desarrolló una semántica formal de referencia llamada KEVM, que consiste en una herramienta de programación para mejorar la Ethereum Virtual Machine (EVM), base donde se desarrollan todos los tokens ERC20, las DApps y cualquier tipo de contrato inteligente de la red Ethereum. La KEVM ayudará a reducir los fallos operativos y de seguridad en estas aplicaciones.

Dicho equipo de trabajo, liderado por el ingeniero Everett Hildenbrandt, junto a otros 6 expertos; publicó el primero de agosto el trabajo científico titulado KEVM: una semántica completa de la Ethereum Virtual Machine. En este dieron a conocer su desarrollo a toda la comunidad y dejaron su trabajo como código abierto, disponible para cualquier a través de GitHub.

La herramienta KEVM (K-Ethereum Virtual Machine), basada en el marco de trabajo de K (Framework K), está destinada a verificar la compilación del lenguaje de programación Solidity de Ethereum, de modo que los resultados siempre sean los esperados por el programador y se minimice la aparición de bugs (fallos) y exploits (vulnerabilidades) en el código de las aplicaciones y los contratos.

De acuerdo al documento, la finalidad de los programadores con esta herramienta es «generar una verificación formal de los programas de la EVM» y que con esta «se genere una consistente y acertada verificación de los contratos inteligentes, creando un desarrollo libre de bugs y un ambiente seguro de desarrollo para el crecimiento del ecosistema de contratos inteligentes».

Tal iniciativa resulta bastante oportuna, pues últimamente ha vuelto a ponerse en jaque la seguridad de varios contratos inteligentes de Ethereum, como fue el caso del contrato de Augur y el de las carteras multifirma basadas en Parity que logró extraer 32 millones de dólares. Además, es inolvidable el episodio de DAO de Slock.it, hace ya un año, el cual provocó la división de la plataforma.

La vulnerabilidad de los contratos de Ethereum es un área que ha fomentado el desarrollo de herramientas de programación como esta y otras como Porosity. Incluso ha generado una nueva línea de negocios de auditores de seguridad de contratos inteligentes y DApps. Algo bastante necesario para ayudar a asegurar una red valuada en más de 21 billones de dólares y con un desarrollo en ella de más de 500 aplicaciones.

Etiquetas: DesarrolladoresEthereum (ETH)Investigacion
¿Tienes información clave para nuestros reporteros? Ponte en contacto

Publicado: 04 agosto, 2017 08:19 pm GMT-0400 Actualizado: 04 agosto, 2017 08:20 pm GMT-0400
Autor: José Rafael Peña
Ingeniero especializado en innovación, investigador y articulista del ecosistema alrededor de bitcoin y otras criptomonedas, desde Venezuela. Trabajando en la industria desde el 2016.

Suscríbete a los boletines de CriptoNoticias

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

SUSCRIBIRME
Publicidad

Lo último

Persona comprando ethereum

Otra que empieza a pivotar: BTC Digital creará reserva estratégica de ETH

12 julio, 2025
Una piscina con un flotador de bitcoin, estilo rene magritte

OCEAN Pool mina 10 bloques de Bitcoin en un día

12 julio, 2025
Una moneda dorada de una píldora verde y blanca.

Token de Pump.fun recaudó 500 millones en 12 minutos

12 julio, 2025
Publicidad

Artículos relacionados

  • Seguridad

Hacker robó más de 60 millones a GMX y ahora medita ponerse un sombrero blanco

Por Paulo Márquez
11 julio, 2025

El hacker devolvió 10 millones de dólares en Legacy Frax Dollar (FRAX), una criptomoneda anclada al dólar estadounidense.

Estafa sofisticada emerge en la cadena de Bitcoin 

8 julio, 2025

Malware común en TikTok y Google Play puede robarte tus criptomonedas

24 junio, 2025

Trezor advierte: hackers se disfrazan de soporte técnico oficial por email

23 junio, 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.