El gran cambio de Ethereum: la nueva hoja de ruta hacia la prueba de participación

Después de años de desarrollo, Ethereum tiene un nuevo plan para actualizar el algoritmo que mantiene toda su red sincronizada.

Vitalik Buterin,El creador de Ethereum, publicó recientemente un borradorguía de implementaciónque revela que los desarrolladores de la red comenzarán primero con un sistema "híbrido" que fusiona la minería de prueba de trabajo al estilo Bitcoin con su muy esperado y aún experimental sistema de prueba de participación llamado Casper, creado por Buterin.

El plan significa efectivamente que Ethereum comenzará a alternar entre los dos sistemas, de modo que algunos bloques de transacciones (ONE de cada 100) estén asegurados mediante prueba de participación y el resto permanezca mediante prueba de trabajo.

Buterin ha estado trabajando en su implementación en paralelo con el desarrollador de Ethereum , Vlad Zamfir, intercambiando ideas. Según Karl Floersch, ingeniero de blockchain de la startup de Ethereum ConsenSys y programador que colabora con Buterin en el desarrollo de Casper, el resultado es que la red está optando por la opción más conservadora entre dos posibles caminos a seguir.

Floersch le dijo a CoinDesk:

"Lo que Vitalik ha ideado es una versión práctica y funcional, que funciona, pero que teóricamente puede ser menos revolucionaria que la de Vlad".

Debido a que la implementación de Casper de Buterin puede, cree él, llegar a producción más rápidamente, se utilizará en la primera etapa de la evolución de Ethereum.

De implementarse, sería la primera vez que se emplearía la prueba de participación en la plataforma Ethereum , aunque con un papel menor. También constituiría una gran prueba real de la prueba de participación, que permitiría a la comunidad de Criptomonedas determinar si el algoritmo de prueba es ONE, como argumentan sus defensores.

Para los defensores, el objetivo de estopotencialmente revolucionario El cambio a la prueba de participación busca reducir el gasto que Ethereum requiere para alcanzar un acuerdo sobre el estado de las transacciones y contratos en la red. Sin embargo, dado que se ha postergado varias veces, sus detractores consideran esta solución híbrida la evidencia más reciente de que la prueba de participación T se implementará con éxito en Ethereum.

Otros dicen que la implementación híbrida se trata únicamente de seguridad, dado que la red ahora protege millones de dólares en valor.

El consultor de blockchain Ciaran Murray, por ejemplo, calificó esta medida como una medida "de precaución", mientras que Buterinlo llamó un "trampolín" que espera que tenga lugar después de que Ethereum cambie a etapa tres de su proceso de desarrollo, una fase planificada denominada Metrópolis.

Buterin le dijo a CoinDesk:

T será nuestro principal objetivo después de Metropolis desde el punto de vista del desarrollo, y ahora mismo estamos desarrollando activamente un prototipo en Python.

Virtualización de la minería

Dando un paso atrás, la gran idea detrás de la prueba de participación es “virtualizar” el proceso de minería.

En la prueba de trabajo, los mineros calculan las respuestas de los rompecabezas a velocidades vertiginosas, un proceso que requiere dinero para equipos y electricidad. En la prueba de participación, los participantes también comprometen dinero en el sistema, pero no con electricidad ni equipos. Con Casper, los mineros virtuales, conocidos como validadores, comprometen dinero en el sistema con el conocimiento de que perderán sus depósitos si no Síguenos las reglas.

Recientemente, junto con los avances en la teoría de algoritmos, el ingeniero de verificación formal de la Fundación Ethereum , Yoichi Hirai, ha sido... ejecutando los scripts de Caspera través de un detector matemático de errores, un proceso conocido como "verificación formal".

De acuerdo a notas generalesEn su trabajo de verificación formal, Hirai está utilizando la herramienta matemática en contratos inteligentes "para que no haya sorpresas después de la implementación".

Dado que los contratos inteligentes no se pueden modificar después de su implementación, los desarrolladores actúan con extrema precaución. Esta misma precaución se aplica a Casper, que a su vez se habilita mediante un contrato inteligente.

La ONE etapa de Casper

En la ONE etapa del plan de Buterin, la prueba de participación se utilizará como un "punto de control" cada 100 bloques y ofrecerá evidencia adicional de que los bloques almacenan las transacciones correctas (lo que los desarrolladores llaman "prueba de participación").finalidad').

Floersch está desarrollando las reglas de elección de bifurcaciones para Pyethereum, el cliente de Ethereum para Python. Estas reglas describen cómo los validadores determinan en qué cadena de Ethereum construir, explicó. Los validadores examinan las cadenas que tienen frente a ellos y toman su decisión basándose parcialmente en la cantidad de ether comprometida en cada una.

Si los validadores toman la decisión equivocada, perderán dinero.

"Se puede observar cómo se forma un consenso, o se forma una sola cadena en lugar de un montón de cadenas", dijo Floersch.

Los desarrolladores de Casper publicarán el contrato inteligente en Ethereum, creando una cuenta oficial de Casper donde cualquiera puede depositar ether si desea participar en el proceso de minería virtual.

Una vez que la versión de pyethereum esté lista, el equipo pasará el trabajo a incorporar al demonio Casper , un paquete que eventualmente se ejecutará junto con cada cliente de Ethereum , ya sea Geth o Parity, por ejemplo.

La segunda etapa, entonces, es implementar este proceso a una escala mayor.

¿Una buena idea?

Ya se ha debatido hasta la saciedad si la prueba de participación funcionará o no, y las partes están en gran medida divididas en función de las compras anteriores de Criptomonedas de los usuarios.

Pero quienes no están de acuerdo tienen motivos para preocuparse. Si la red no funciona según lo previsto, existe la posibilidad de que las transacciones no T procesen como esperan los usuarios o que las reglas de los contratos inteligentes no se ajusten. Por eso, los ingenieros de Ethereum están intentando descifrar la propiedad de «finalidad».

Otros se muestran escépticos respecto del enfoque híbrido en general.

"No estoy del todo seguro de la sensatez de una transición por etapas. O tienes fe y confianza en tu algoritmo de consenso o no la T", dijo Charles Hoskinson, director ejecutivo de la empresa de tecnología blockchain IOHK.

Cabe señalar que IOHK está muy involucrado en el desarrollo de Ethereum Classic, que a menudo se considera un competidor de Ethereum.

"Añadir un componente no probado o inseguro a la red a la espera de ver qué pasa es una pésima idea", continuó. "¿Y dónde está la revisión por pares? ¿A qué conferencias han presentado un informe técnico adecuado y qué comentarios han recibido?"

Pero, para algunos en este campo emergente de la criptoeconomía, este FORTH resulta emocionante. Floersch mencionó que la combinación de economía y criptografía que sustenta Casper podría aplicarse a otros problemas globales.

“Por supuesto, [la prueba de participación] es un problema realmente interesante y genial. Pero creo que, en el futuro, habrá otras aplicaciones de la criptoeconomía, lo que, en mi opinión, representa un campo completamente nuevo de mecanismos para usar la economía y lograr el resultado deseado”, dijo, y concluyó:

“Casper es ONE de los primeros que hace eso”.

Despertadorimagen vía Shutterstock