Sin resultados
Ver todos los resultados
sábado, septiembre 30, 2023
bloque ₿: 810.087
CriptoNoticias Logo
  • Criptopedia
  • Tutoriales y guías
  • Glosario
    • Acrónimos y frases
  • Reviews
  • Calendario
  • Precios BTC y ETH
Sin resultados
Ver todos los resultados
CriptoNoticias Logo
CriptoNoticias Logo
sábado, septiembre 30, 2023 | bloque ₿: 810.087
Bandera de ARS
BTC 21.560.532,41 ARS -0,13% ETH 1.337.018,97 ARS -0,04%
Bandera de BOB
BTC 187.226,38 BOB 0,45% ETH 11.602,85 BOB 0,37%
Aliado TradingView
Bandera de BRL
BTC 136.390,97 BRL 0,15% ETH 8.438,79 BRL 0,15%
Bandera de CLP
BTC 24.274.854,24 CLP 0,43% ETH 1.509.487,76 CLP 0,52%
Aliado TradingView
Bandera de COP
BTC 109.498.720,24 COP 0,10% ETH 6.824.186,41 COP -0,45%
Bandera de CRC
BTC 14.527.067,25 CRC 0,39% ETH 897.439,10 CRC 0,39%
Aliado TradingView
Bandera de EUR
BTC 25.553,36 EUR 0,45% ETH 1.585,44 EUR 0,43%
Bandera de USD
BTC 27.017,23 USD 0,42% ETH 1.675,76 USD 0,35%
Aliado TradingView
Bandera de GTQ
BTC 212.867,60 GTQ 0,45% ETH 13.184,07 GTQ 0,39%
Bandera de HNL
BTC 669.073,11 HNL 0,29% ETH 41.525,59 HNL 0,07%
Aliado TradingView
Bandera de MXN
BTC 470.560,21 MXN 0,13% ETH 29.231,56 MXN 0,20%
Bandera de PAB
BTC 27.084,46 PAB 0,43% ETH 1.675,53 PAB 0,35%
Aliado TradingView
Bandera de PYG
BTC 197.542.594,82 PYG 0,46% ETH 12.246.240,39 PYG 0,40%
Bandera de PEN
BTC 103.747,68 PEN -0,83% ETH 6.259,00 PEN -0,21%
Aliado TradingView
Bandera de DOP
BTC 1.535.169,24 DOP 0,36% ETH 95.220,43 DOP 0,40%
Aliado TradingView
Bandera de UYU
BTC 1.038.337,19 UYU 0,54% ETH 64.393,95 UYU 0,57%
Aliado TradingView
Bandera de VES
BTC 940.351,80 VES 0,77% ETH 58.496,74 VES -1,70%
Bandera de ARS
BTC 21.560.532,41 ARS -0,13% ETH 1.337.018,97 ARS -0,04%
Bandera de BOB
BTC 187.226,38 BOB 0,45% ETH 11.602,85 BOB 0,37%
Aliado TradingView
Bandera de BRL
BTC 136.390,97 BRL 0,15% ETH 8.438,79 BRL 0,15%
Bandera de CLP
BTC 24.274.854,24 CLP 0,43% ETH 1.509.487,76 CLP 0,52%
Aliado TradingView
Bandera de COP
BTC 109.498.720,24 COP 0,10% ETH 6.824.186,41 COP -0,45%
Bandera de CRC
BTC 14.527.067,25 CRC 0,39% ETH 897.439,10 CRC 0,39%
Aliado TradingView
Bandera de EUR
BTC 25.553,36 EUR 0,45% ETH 1.585,44 EUR 0,43%
Bandera de USD
BTC 27.017,23 USD 0,42% ETH 1.675,76 USD 0,35%
Aliado TradingView
Bandera de GTQ
BTC 212.867,60 GTQ 0,45% ETH 13.184,07 GTQ 0,39%
Bandera de HNL
BTC 669.073,11 HNL 0,29% ETH 41.525,59 HNL 0,07%
Aliado TradingView
Bandera de MXN
BTC 470.560,21 MXN 0,13% ETH 29.231,56 MXN 0,20%
Bandera de PAB
BTC 27.084,46 PAB 0,43% ETH 1.675,53 PAB 0,35%
Aliado TradingView
Bandera de PYG
BTC 197.542.594,82 PYG 0,46% ETH 12.246.240,39 PYG 0,40%
Bandera de PEN
BTC 103.747,68 PEN -0,83% ETH 6.259,00 PEN -0,21%
Aliado TradingView
Bandera de DOP
BTC 1.535.169,24 DOP 0,36% ETH 95.220,43 DOP 0,40%
Aliado TradingView
Bandera de UYU
BTC 1.038.337,19 UYU 0,54% ETH 64.393,95 UYU 0,57%
Aliado TradingView
Bandera de VES
BTC 940.351,80 VES 0,77% ETH 58.496,74 VES -1,70%
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
FacebookTwitterLinkedinEmail
También te podría interesar
VanEck donaría fondos a desarrolladores de Ethereum con ganancias de su ETF.
VanEck donaría fondos a desarrolladores de Ethereum con ganancias de su ETF
30 septiembre, 2023
Hacker de FTX y ethereum.
Hacker de FTX mueve 6.250 ETH tras meses de inactividad
30 septiembre, 2023

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
Artículo previo

Blockchain haría innecesario incorporar chips rastreables en los billetes australianos

Siguiente artículo

ICOs rompen récord de recaudación por tercer mes consecutivo con 540 millones de dólares

Relacionados Artículos
Hacker de FTX y ethereum.
Seguridad
Hacker de FTX mueve 6.250 ETH tras meses de inactividad
por Fernando Clementín
30 septiembre, 2023

En noviembre de 2022, este atacante había robado más de USD 600 millones del exchange FTX, que había quebrado días...

Hacker, HTX y ethereum
HTX Global sufre hackeo con pérdida de 5.000 ETH
25 septiembre, 2023
Hacker, dólares y Mixin Network
Mixin Network sufre pérdidas de USD 200 millones en un hackeo
25 septiembre, 2023
Una entidad desconocida realizó un epósito de tokens falsos en Upbit. Fuente: PX Media / Adobe Stock
Upbit validó un depósito fraudulento multimillonario
24 septiembre, 2023
OpenSea es una plataforma para la compraventa de NFT. Composición por CriptoNoticias. Production Perig/ stock.adobe.com; OpenSea/opensea.org
Usuarios de OpenSea están expuestos a una nueva brecha de seguridad
24 septiembre, 2023
Siguiente artículo
ico-mercado-inversion-record

ICOs rompen récord de recaudación por tercer mes consecutivo con 540 millones de dólares

Comentarios 1

  1. Anónimo says:
    hace 6 años

    5

    Responder

Deja una respuesta Cancelar la respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.

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

© 2023 Hecho con ♥ por Latinos.

Sin resultados
Ver todos los resultados
  • Inicio
  • ¿Qué es Bitcoin?
  • Precios BTC y ETH
  • Noticias
    • Mercados
    • Minería
    • Regulación
    • Tecnología
    • Seguridad
    • Comunidad
      • Adopción
      • Análisis e Investigación
      • Educación
      • Entretenimiento
      • Eventos
      • Ficción
    • Negocios
      • Judicial
      • Finanzas
    • Opinión
      • Editorial
      • Entrevistas
  • Criptomonedas
    • Bitcoin (BTC)
    • Ethereum (ETH)
  • Países
    • Argentina
    • Colombia
    • El Salvador
    • España
    • México
    • Venezuela
  • Tutoriales y guías
  • Reviews
  • Podcasts
  • Criptopedia
  • Diccionario de acrónimos y frases sobre Bitcoin
  • Glosario de Bitcoin y blockchains
  • Calendario de eventos
  • Voz Empresarial
    • IOV Labs
  • Contacto

© 2020 Hecho con ♥ por Latinos.