Sin resultados
Ver todos los resultados
viernes, marzo 5, 2021
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
Bandera de ARS
BTC 7.426.958,83 ARS 0,02% ETH 227.757,36 ARS -0,04%
Bandera de BOB
BTC 345.954,92 BOB 0,00% ETH 10.759,20 BOB -0,86%
Aliado Binance
Bandera de BRL
BTC 275.351,69 BRL -0,07% ETH 8.666,63 BRL -0,38%
Bandera de CLP
BTC 35.961.312,35 CLP 2,07% ETH 1.093.867,85 CLP -0,70%
Aliado Binance
Bandera de COP
BTC 168.189.948,56 COP 1,02% ETH 5.209.997,41 COP -0,92%
Bandera de CRC
BTC 32.095.185,39 CRC 1,22% ETH 998.234,63 CRC 1,34%
Aliado Binance
Bandera de EUR
BTC 40.185,80 EUR -1,39% ETH 1.265,01 EUR -1,80%
Bandera de USD
BTC 47.924,76 USD -0,88% ETH 1.507,23 USD -1,35%
Aliado Binance
Bandera de MXN
BTC 1.033.609,36 MXN 2,04% ETH 32.231,91 MXN 1,74%
Bandera de PAB
BTC 44.450,79 PAB -6,45% ETH 1.408,37 PAB -6,08%
Aliado Binance
Bandera de PYG
BTC 324.422.086,05 PYG -0,25% ETH 10.445.556,85 PYG -0,20%
Bandera de PEN
BTC 177.557,51 PEN -0,78% ETH 5.613,47 PEN -0,05%
Aliado Binance
Bandera de DOP
BTC 2.900.094,41 DOP -2,81% ETH 85.014,78 DOP -9,08%
Bandera de UYU
BTC 2.050.041,23 UYU -8,91% ETH 69.992,56 UYU -0,86%
Aliado Binance
Bandera de VES
BTC 87.026.449.121,67 VES 2,32% ETH 2.652.376.620,42 VES 0,65%
Aliado Binance
Bandera de ARS
BTC 7.426.958,83 ARS 0,02% ETH 227.757,36 ARS -0,04%
Bandera de BOB
BTC 345.954,92 BOB 0,00% ETH 10.759,20 BOB -0,86%
Aliado Binance
Bandera de BRL
BTC 275.351,69 BRL -0,07% ETH 8.666,63 BRL -0,38%
Bandera de CLP
BTC 35.961.312,35 CLP 2,07% ETH 1.093.867,85 CLP -0,70%
Aliado Binance
Bandera de COP
BTC 168.189.948,56 COP 1,02% ETH 5.209.997,41 COP -0,92%
Bandera de CRC
BTC 32.095.185,39 CRC 1,22% ETH 998.234,63 CRC 1,34%
Aliado Binance
Bandera de EUR
BTC 40.185,80 EUR -1,39% ETH 1.265,01 EUR -1,80%
Bandera de USD
BTC 47.924,76 USD -0,88% ETH 1.507,23 USD -1,35%
Aliado Binance
Bandera de MXN
BTC 1.033.609,36 MXN 2,04% ETH 32.231,91 MXN 1,74%
Bandera de PAB
BTC 44.450,79 PAB -6,45% ETH 1.408,37 PAB -6,08%
Aliado Binance
Bandera de PYG
BTC 324.422.086,05 PYG -0,25% ETH 10.445.556,85 PYG -0,20%
Bandera de PEN
BTC 177.557,51 PEN -0,78% ETH 5.613,47 PEN -0,05%
Aliado Binance
Bandera de DOP
BTC 2.900.094,41 DOP -2,81% ETH 85.014,78 DOP -9,08%
Bandera de UYU
BTC 2.050.041,23 UYU -8,91% ETH 69.992,56 UYU -0,86%
Aliado Binance
Bandera de VES
BTC 87.026.449.121,67 VES 2,32% ETH 2.652.376.620,42 VES 0,65%
Aliado Binance
Home Seguridad

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

por José Rafael Peña
4 agosto, 2017
en Seguridad
3 min de lectura
Herramienta-mejorar-contratos-inteligentes
FacebookTwitterLinkedinEmail

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.

También te podría interesar
ETH mercado alza capitalización
Binance Smart Chain superó a Ethereum en usuarios y transacciones durante febrero
4 marzo, 2021
criptomoneda desarrollador pagado BTC
Human Rights Foundation concedió otros USD 70.000 a 4 proyectos sobre Bitcoin
4 marzo, 2021
Etiquetas: DesarrolladoresEthereum (ETH)Investigacion

Relacionados Artículos

criptomoneda ilicita gobiernos usuarios
Seguridad

Ladrones y estafadores mueven sus bitcoins cada vez más rápido, según estudio

por Juan Ibarra
1 marzo, 2021

El tiempo de retiro de bitcoins obtenidos de forma ilícita se ha reducido hasta 13 veces entre 2015 y 2020.

BTC MIT criptomoneda inversionistas

Jack Dorsey y Michael Saylor financian proyecto del MIT para reforzar a Bitcoin

27 febrero, 2021
evaluación plataformas DeFi auditoria seguridad

Este sitio te dice cuáles son las plataformas DeFi más seguras y cuáles no

24 febrero, 2021
BTC reserva valor proteccion inflaccion

Chainalysis: Menos del 1% del valor movido con bitcoin y criptomonedas proviene de delitos

18 febrero, 2021
actividades ilicitas Chainalysis direcciones

Lavado de dinero con bitcoin y criptomonedas estuvo más centralizado en 2020: Chainalysis

17 febrero, 2021

Nosotros

  • Contacto
  • Acerca de
  • Nuestro equipo
  • Mapa del sitio
  • Política de Privacidad
  • Política publicitaria
  • Trabaja con nosotros
  • Anuncios
  • Advertisement

Asesor SEO

© 2020 Hecho con ♥ por Latinos.

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

© 2020 Hecho con ♥ por Latinos.