Sin resultados
Ver todos los resultados
lunes, enero 25, 2021
CriptoNoticias Logo
  • Criptopedia
  • Tutoriales y guías
  • Glosario
    • Acrónimos y frases
  • Podcasts
  • Calendario
  • Precios BTC y ETH
Sin resultados
Ver todos los resultados
CriptoNoticias Logo
CriptoNoticias Logo
Bandera de ARS
BTC 4.473.328,98 ARS 2,22% ETH 216.780,47 ARS 0,94%
Bandera de BOB
BTC 231.458,92 BOB 1,48% ETH 9.823,16 BOB -2,50%
Bandera de BRL
BTC 182.573,25 BRL 2,27% ETH 7.842,07 BRL 1,44%
Bandera de CLP
BTC 24.156.096,97 CLP 0,96% ETH 1.028.866,36 CLP -0,95%
Bandera de COP
BTC 112.545.016,84 COP 2,03% ETH 5.018.045,94 COP 0,72%
Bandera de CRC
BTC 20.402.927,63 CRC 1,83% ETH 871.128,34 CRC 5,07%
Bandera de EUR
BTC 27.605,56 EUR 2,18% ETH 1.173,71 EUR -0,38%
Bandera de USD
BTC 33.578,44 USD 1,02% ETH 1.423,31 USD -0,90%
Bandera de MXN
BTC 669.677,03 MXN 1,45% ETH 28.430,72 MXN -0,62%
Bandera de PAB
BTC 33.658,34 PAB 0,73% ETH 1.425,78 PAB 3,78%
Bandera de PYG
BTC 232.664.191,63 PYG 2,04% ETH 9.886.851,24 PYG -0,88%
Bandera de PEN
BTC 123.441,23 PEN 1,12% ETH 5.126,83 PEN -1,32%
Bandera de DOP
BTC 1.987.602,15 DOP 3,18% ETH 82.884,88 DOP -1,29%
Bandera de UYU
BTC 1.436.852,94 UYU 2,72% ETH 60.417,96 UYU -6,86%
Bandera de VES
BTC 52.769.737.929,63 VES 2,75% ETH 2.227.688.728,41 VES -2,22%
Bandera de ARS
BTC 4.473.328,98 ARS 2,22% ETH 216.780,47 ARS 0,94%
Bandera de BOB
BTC 231.458,92 BOB 1,48% ETH 9.823,16 BOB -2,50%
Bandera de BRL
BTC 182.573,25 BRL 2,27% ETH 7.842,07 BRL 1,44%
Bandera de CLP
BTC 24.156.096,97 CLP 0,96% ETH 1.028.866,36 CLP -0,95%
Bandera de COP
BTC 112.545.016,84 COP 2,03% ETH 5.018.045,94 COP 0,72%
Bandera de CRC
BTC 20.402.927,63 CRC 1,83% ETH 871.128,34 CRC 5,07%
Bandera de EUR
BTC 27.605,56 EUR 2,18% ETH 1.173,71 EUR -0,38%
Bandera de USD
BTC 33.578,44 USD 1,02% ETH 1.423,31 USD -0,90%
Bandera de MXN
BTC 669.677,03 MXN 1,45% ETH 28.430,72 MXN -0,62%
Bandera de PAB
BTC 33.658,34 PAB 0,73% ETH 1.425,78 PAB 3,78%
Bandera de PYG
BTC 232.664.191,63 PYG 2,04% ETH 9.886.851,24 PYG -0,88%
Bandera de PEN
BTC 123.441,23 PEN 1,12% ETH 5.126,83 PEN -1,32%
Bandera de DOP
BTC 1.987.602,15 DOP 3,18% ETH 82.884,88 DOP -1,29%
Bandera de UYU
BTC 1.436.852,94 UYU 2,72% ETH 60.417,96 UYU -6,86%
Bandera de VES
BTC 52.769.737.929,63 VES 2,75% ETH 2.227.688.728,41 VES -2,22%
Home Tecnología

Lightning Network pasa su primera prueba formal de seguridad matemática

por Redacción
24 septiembre, 2019
en Tecnología
4 min de lectura
nueva-version-cliente-Lightning-network-daemon

Imagen destacada por WrightStudio / stock.adobe.com

FacebookTwitterLinkedinEmail
Hechos clave:
  • "Lightning Network es tan segura como Bitcoin", argumentan los investigadores.
  • La prueba formal de seguridad se utiliza para verificar la eficiencia de numerosos códigos.

Un par de investigadores publicó los resultados de una verificación formal de la Lightning Network de Bitcoin.

Lightning es relativamente nuevo, experimental y aún se están descubriendo errores que podrían llevar a la pérdida de fondos de los usuarios. Pero aún así, el documento, publicado el mes pasado por los investigadores Aggelos Kiayias y Orfeas Litos de la Universidad de Edimburgo trajo una dosis de buenas noticias sobre la seguridad subyacente de la naciente red de pagos.

También te podría interesar
mercado BTC inversiones alza baja
Mercados al día: bitcoin sigue recibiendo apoyo institucional y resiste en los USD 30.000
25 enero, 2021
sucesos relevantes
Noticias de la semana: Biden pausa regulaciones y se agota la liquidez de Bitcoin
25 enero, 2021

Hasta la fecha, Lightning Network no había sido probada matemáticamente por medio de seguridad formal, que es un medio para establecer cuán segura es una idea científica de computación con la ayuda de la matemática.

El documento, denominado Un tratamiento de seguridad componible de la Lightning Network, describe la falta de verificación formal de la especificación de código de Lightning Network como “una situación desesperada”, ya que la red se utiliza hoy en día para asegurar dinero real, al menos USD 8,5 millones.

El documento explica:

Como resultado, nuestro tratamiento describe exactamente cómo las garantías de seguridad del protocolo dependen de las propiedades del libro contable subyacente.

Aunque es popular en el ecosistema de las criptomonedas y útil para determinar la seguridad, el proceso de  verificación formal no se hace en todos los programas de código. Debido al profundo conocimiento requerido, es bastante costoso.

Especificación “sólida como una roca”

Los resultados son positivos, demostrando que las criptomonedas subyacentes que se apilan para hacer que el sistema de pago funcione son sólidas, argumentan los investigadores.

Litos explicó:

Todas las partes del sistema que son críticas para la seguridad son sólidas como una roca. Este fue el resultado esperado, muchas personas inteligentes han colaborado para converger en la actual encarnación de Lightning Network.

¿Qué significa eso exactamente? Litos y Kiayias, quien también es jefe de desarrollo científico de la empresa de blockchain IOHK, vieron las especificaciones de Lightning Network, que son las reglas para toda implementación de software necesarias para poder enviar pagos al resto de la red.

Litos comentó:

El resultado principal es que Lightning Network es tan segura como Bitcoin.

Para determinar esto, echaron un vistazo a los aspectos esenciales de la criptografía minuciosa que sustenta a Lightning Network. Las criptografía está compuesta por algoritmos matemáticos que proporcionan la base para la privacidad y seguridad en Internet. En el caso de Lightning Network, la criptografía es el pegamento que mantiene unido el sistema de pago, con el resultado final de permitir que una persona envíe bitcoin a otra persona.

Así pues, los investigadores examinan estas diversas tecnologías criptográficas que subyacen en la red de pagos, incluidas las firmas digitales, que en el caso de Bitcoin sólo pueden ser producidas por un usuario con la clave privada correcta.

Un participante honesto de Lightning Network sólo puede perder su dinero si se rompen las firmas o la función hash utilizada por Bitcoin

Litos también añadió:

El uso de un libro contable subyacente realista nos permitió identificar los límites de seguridad exactos para los parámetros operativos de Lightning Network. Específicamente, damos una respuesta concreta a la pregunta “¿Con qué frecuencia un usuario Lightning Network tiene que comprobar la blockchain, especialmente cuando se está realizando un pago de múltiples saltos?

Especificaciones, no software

Aunque la verificación de las especificaciones es un paso importante, sólo se aplica al proyecto de código de Lightning Network y no a las implementaciones de software que han sido producidas por los desarrolladores.

Si bien el documento sostiene que Lightning Network es “tan segura como Bitcoin”, eso no significa que el software en sí sea seguro. Eso puede sonar como una sutil distinción, pero hay una gran diferencia.

Hay tres implementaciones principales de Lightning Network que siguen las especificaciones: Eclair de Acinq, C-Lightning de Blockstream, y LND de Lightning Labs.

Litos explicó:

Nuestro análisis se basa en la especificación formal, no en una implementación. Como resultado, nuestro trabajo no descarta errores en las diversas implementaciones, sólo en la especificación.

Dicho esto, Litos señaló que el análisis formal futuro podría eventualmente ser utilizado para echar un vistazo al código real.

Idealmente, la verificación formal del código, que probaría que se ajusta a la especificación, aumentaría nuestra confianza en el sistema. Pero antes de eso, se necesitaría una versión legible por máquina de la especificación.


Versión traducida del artículo de Alyssa Hertig, publicado en CoinDesk.

Etiquetas: Bitcoin (BTC)Lightning Network (LN)

Relacionados Artículos

BTC lenguaje programación pagos
Tecnología

5 avances tecnológicos en Bitcoin que prometen mejorar su funcionamiento para este 2021

por Andrea Leal
24 enero, 2021

Los contratos DLC, el protocolo PayJoin y Taproot son algunos de las funciones que se incorporaron en el ecosistema de...

ETH planes 2.0 desarrolladores

Estas son las mejoras planeadas para Ethereum durante el año 2021

23 enero, 2021
BTC sistema computo tecnologia

Instala un nodo completo de Bitcoin (y añade herramientas para aumentar tu privacidad)

21 enero, 2021
manifestantes usan telegran iphone

Diplomático estadounidense demanda a Apple por no retirar Telegram de su App Store

19 enero, 2021
Logo de Mitsubishi junto a blockchain sobre cajas con componentes electrónicos. Composición por CriptoNoticias. iLexx / elements.envato.com; Mitsubishi Motors / mitsubishi-motors.com; Rawpixel / elements.envato.com

Mitsubishi desarrolla blockchain para venta de excedentes eléctricos

18 enero, 2021

Nosotros

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

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