Ethereum está en proceso de implementar KZG, un esquema de compromiso polinómico, que podría ayudar a escalar Ethereum.
Hacer que las pruebas de conocimiento cero (ZKP) sean «comprensibles y accesibles» para la gente es necesario para mantener el ecosistema de Ethereum «abierto y acogedor» para las personas sin un título de matemáticas, tuiteó el 26 de octubre el cofundador de Ethereum Vitalik Buterin.
Los ZKP se conocen a menudo como «matemáticas lunares» debido a su complejidad.
Estoy tan feliz de que Ethereum tenga una cultura tan fuerte de esforzarse por hacer toda nuestra matemática lunar tan comprensible y accesible para la gente como sea posible. https://t.co/o9n2Xms4Zw
– vitalik.eth (@VitalikButerin) 26 de octubre de 2022
Buterin añadió que «La descentralización requiere NO rendirse y agitar un doctorado diciendo «es una caja negra, somos inteligentes, confía en nosotros»».
Scroll, una solución de escalado de Ethereum de capa 2 de conocimiento cero, explicó en un blog cómo funcionan los esquemas de compromiso polinómico, una parte crítica de varios ZKP, y cómo pueden ayudar a escalar Ethereum.
Los polinomios son expresiones matemáticas que representan más de dos términos algebraicos. Según el blog de Scroll, los polinomios pueden ayudar a representar grandes datos de forma eficiente.
Un esquema de compromiso es un protocolo criptográfico en el que uno se compromete con un mensaje y lo mantiene oculto, pero puede revelar el mensaje más tarde. Sin embargo, el compromisario no puede cambiar el mensaje una vez que se ha comprometido con él, lo que hace que los esquemas de compromiso sean vinculantes.
En un esquema de compromiso polinómico, uno se compromete con un polinomio en lugar de con un mensaje. El esquema de compromiso polinómico cumple todas las propiedades de los esquemas de compromiso normales. Pero tiene una característica adicional que permite al comprometedor demostrar que se comprometió con un determinado polinomio que satisface las propiedades requeridas sin revelar el propio polinomio.
KZG en Scaling Ethereum
Aunque hay diferentes esquemas de compromiso polinómico, Kate-Zaverucha-Goldberg (KZG) es popular en el espacio de la cadena de bloques y es utilizado por los sistemas de prueba de Scroll. KZG también está previsto que se integre en Ethereum con Proto-Danksharding, que se implementará a través de EIP-4844, que se propuso en febrero de 2022.
Proto-Danksharding es una solución provisional hasta que se pueda implementar Danksharding, que podría abaratar el uso de rollups. Proto-Danksharding introduce un nuevo tipo de transacción llamado «transacción con blob». Estas transacciones llevan un blob de datos de 128kb, al que no se puede acceder desde la capa de ejecución de Ethereum. En su lugar, sólo el compromiso con el blob de datos será accesible desde Ethereum.
El blob de datos se representa como un polinomio y el esquema de compromiso polinómico KZG se utiliza para crear un compromiso con los datos. Esto permite verificar las propiedades del blob de datos sin revelar todo el blob de datos.
El uso de KZG puede, por tanto, permitir el muestreo de disponibilidad de datos (DAS), que se implementará en el camino hacia el Danksharding completo. El DAS permite esencialmente a los validadores asegurarse de que el blob de datos está disponible y es correcto, sin tener que leer todo el blob de datos.
Esto, a su vez, puede ayudar significativamente a mejorar la escalabilidad de Ethereum, ya que los validadores tienen que lidiar con menos datos.
