La nueva tecnología de Ethereum invoca a los dioses eslavos para la seguridad

El dios eslavo del rayo, Perun, está entrando en el ecosistema Ethereum (al menos en espíritu).

Inspirado por Bitcoinred de rayosUn grupo de investigadores dirigido por el profesor asociado de la Universidad de Varsovia Stefan Dziembowski y el profesor de la Universidad Técnica de Darmstadt Sebastian Faust han presentadoun nuevo libro blancotitulado "Fundamentos de las redes de canales estatales", que describe un protocolo diseñado para ayudar a Ethereum a escalar para soportar mayores volúmenes de redes más complejas.contratos inteligentes.

Pero si bien varios proyectos de Ethereum están desarrollando soluciones para este problema, el enfoque de Perun hacia su protocolo es único, especialmente en su enfoque en la seguridad, ya que proporciona definiciones de seguridad formales y pruebas de seguridad para su protocolo.

En esencia, Perun funciona como otros "canales de estado" que buscan trasladar transacciones fuera de la blockchain. Sin embargo, la diferencia radica en que las partes involucradas pueden registrar el estado actual del contrato en cualquier momento en la blockchain, lo que permite que los contratos inteligentes rebobine los canales al último estado en el que las partes acordaron los términos.

"En caso de que dos partes (posiblemente maliciosas) envíen estados conflictivos al contrato del canal, la lógica del contrato seleccionará el último estado en el que ambos usuarios hayan acordado", se lee en el documento.

Se trata quizás de una innovación incremental, pero Dziembowski, coautor del artículo, sostiene que no se puede subestimar dada la naturaleza de las transferencias de valor.

Le dijo a CoinDesk:

Estamos convencidos de que, en el contexto de las criptomonedas, un análisis de seguridad riguroso es de especial importancia, ya que las vulnerabilidades de seguridad tienen un valor monetario directo y, por lo tanto, a diferencia de muchos otros entornos, su explotación está garantizada.

Resulta que este es un objetivo tan codiciado que los investigadores ya se están asociando con el gigante tecnológico Bosch para desarrollar un prototipo. Además, el proyecto ha sido elogiado por el creador de Ethereum , Vitalik Buterin.

De hecho, Buterin fue el primero en...elogiar la idea, postulando que las pruebas de seguridad que el equipo había implementado eran un paso en la dirección correcta para el ecosistema en general, y deberían estudiarse, si no adoptarse, en proyectos de escalamiento de todo tipo.

"Definitivamente creo que necesitamos algún tipo de maquinaria de propósito general para verificar formalmente las propiedades de los sistemas de capa dos en general", dijo Buterin.

Viaje al estado

Sin embargo, dando un paso atrás, el camino del equipo hacia Perun fue un BIT tortuoso.

Dziembowski le dijo a CoinDesk que él y su equipo originalmente querían construir una aplicación "justa" para compartir archivos sobre Ethereum , pero se toparon con problemas críticos poco después del proceso de desarrollo de esa aplicación.

"Mientras trabajábamos en este proyecto, nos dimos cuenta de que un obstáculo fundamental para el funcionamiento de nuestra aplicación eran los altos costos de las transacciones en cadena y la lentitud relativa del procesamiento de los contratos inteligentes que se ejecutan en la cadena de bloques", afirmó Dziembowski.

Esto es exactamente lo que otros desarrolladores han experimentado, el más famoso fue la aplicación de coleccionables de gatos digitales.Surgieron los CryptoKitties Como una de las favoritas de los usuarios, lo que provoca tiempos de transacción lentos y comisiones elevadas. Desde entonces, se han FORTH varias soluciones de escalado a la comunidad de Ethereum , pero el equipo de Perun se inspiró en una red completamente diferente.

Fue la red Lightning de Bitcoin, otra "solución de capa dos" para la blockchain de Bitcoin , lo que despertó su interés. Fue entonces cuando el equipo, que también incluye a las investigadoras Kristina Hostakova y Lisa Eckey, se puso a trabajar en una Tecnología que funcionaría en la plataforma más ambiciosa de Ethereum.

Afortunadamente, otros ya habían comenzado a desarrollar esa idea mediante una Tecnología conocida como "canales de estado", mediante la cual Lightning se extiende a los complejos contratos inteligentes de Ethereum. Por lo tanto, el artículo de Perun simplemente continúa esta investigación al formular una especificación que describe una serie de requisitos que cualquier implementación de canal de estado debe cumplir para protegerse contra adversarios poderosos.

¿Hacia la realidad?

Dicho esto, el equipo de Perun e incluso Buterin entienden que todavía queda un largo camino por recorrer.

Dziembowski afirmó que el prototipo de su equipo aún no está listo para su uso en vivo, pero que ahora se destina principalmente a fines de investigación. Buterin expresó su preocupación por el riesgo de error futuro a medida que la teoría se pone en práctica con el código real de un contrato inteligente.

Hablando de esos riesgos, Dziembowskillamado El DAO, una organización basada en Ethereum que se suponía que debía depender solo del código pero que terminó desapareciendo después de que los usuarios fueron hackeados por más de 50 millones de dólares en ether, como un ejemplo de qué y cuánto puede salir mal.

Aún así, muchos están entusiasmados con el esfuerzo.

Buterin incluso dijo que tiene planes de crear un marco de seguridad similar paraPlasma, un proyecto de escalamiento muy esperado del que fue coautor el año pasado y que empresas emergentes como OmiseGo ahora están poniendo en práctica.

Hablando sobre el trabajo de Perun, Buterin continuó:

Personalmente, estoy convencido de que es fundamentalmente posible lograr todo lo que afirmas, tal como lo estás haciendo.

El equipo de investigación le respondió diciendo que están trabajando en una implementación sencilla.

BLUR de movimientoimagen vía Shutterstock