en la criptografía
Según una publicación del investigador Danny Ryan del 17 de marzo, el equipo de investigación de Eth 2.0 está trabajando en un nuevo concepto llamado "compromisos polinómicos" para reducir los datos utilizados para la informática en la red.
¿Qué son las matemáticas mágicas?
Apodado "matemática mágica" por Buterin, los compromisos polinómicos se consideran una forma de verificar el estado de la red de bajo costo computacional, un objetivo clave para el futuro. Buterin está convencido de aplicar matemáticas mágicas hasta al menos la tercera fase de Eth 2.0. "Los compromisos polinomiales podrían ser el punto de inflexión que estábamos buscando", dijo Ryan.
Compromisos polinomiales en resumen
Los compromisos polinomiales son similares a los polinomios que todos aprendimos en la escuela: una expresión matemática con variables y coeficientes. Pero, considerando que es matemática mágica, no es tan simple.
Buterin describe los compromisos polinomiales como "una especie de hash de algunos polinomios P (x), con la propiedad de realizar comprobaciones aritméticas en hash". El documento original sobre compromisos polinómicos resume el esquema matemático en seis algoritmos que muestran evidencia de un evento que ocurre con la menor cantidad de datos computacionales posible.
"Sugerimos reemplazar los árboles de Merkle con los llamados compromisos polinómicos de las matemáticas mágicas para archivar el estado blockchain", dijo Buterin en una publicación de blog de la Fundación Ethereum.
El estado blockchain
Las cadenas de bloques registran las transacciones de entrada y salida. En general, los sistemas de contabilidad blockchain son de dos tipos: el modelo de salida de transacciones no gastadas (UTXO) y el modelo basado en cuentas. Bitcoin usa el primero, mientras que Ethereum usa el segundo.
Cuando un usuario lo desea invertir bitcoin en el modelo UTXO, su transacción arrastra consigo el historial completo de esas monedas, que luego es controlado por cada par en la red.
El modelo de cuenta, por otro lado, solo registra la transacción entre los dos pares mientras dirige preguntas sobre la validez de la transacción a la máquina virtual Ethereum (EVM) junto con una prueba de la transacción.
EVM realiza cambios de estado (cuentas corrientes y saldos de blockchain) en nombre de los usuarios. Cada bloque en Ethereum, que vincula las transacciones en esta plataforma, también contiene una prueba, un árbol Merkle, que se conecta al comienzo de la historia de la red.
Esta prueba contiene el recibo del estado indicado anteriormente y es necesaria para que EVM realice una transacción. Los árboles Merkle son eficientes en datos, pero no lo suficientemente eficientes para las ambiciones de Eth 2.0. Este es el punto donde ocurre la magia.
La configuración actual del árbol Merkle requiere aproximadamente 0,5 MB por transacción. Ryan estima que los esquemas de compromisos polinómicos reducirían el peso de las pruebas estatales entre 0,001 y 0,01 MB.
Para una red que promedia alrededor de 700.000 transacciones por día, los ahorros en cómputo son significativos. Varios proyectos fuera de Ethereum también se basan en compromisos polinómicos, a su manera. Buterin dijo que su implementación de los compromisos polinómicos sigue siendo uno de muchos. Y también, todavía está en la fase de investigación.
