La empresa GKR reduce los costos de prueba ZK al comprometerse solo con las entradas y salidas, omitiendo todos los pasos intermedios pesados.
El cofundador de Ethereum, Vitalik Buterin, presentó un protocolo criptográfico llamado GKR, que es un acrónimo de Goldwasser–Kalai–Rothblum, para hacer que las pruebas de conocimiento cero (ZK) sean mucho más rápidas y escalables.
El protocolo reducirá el costo de calcular pruebas ZK, que son la base para soluciones de privacidad y escalabilidad en el ecosistema de Ethereum.
Cómo GKR acelera el proceso de prueba de errores sin necesidad de compromisos grandes
En un tutorial detallado en su blog personal, Buterin describió cómo GKR hace que las operaciones computacionales que involucran más de una capa de datos, como el hashing criptográfico o la inferencia de redes neuronales, sean más eficientes.
Según él, los sistemas tradicionales, como los STARKs, requieren que los usuarios se comprometan en cada paso del proceso computacional, lo que significa realizar cientos de hash por cada byte de datos. Sin embargo, GKR salta completamente estos compromisos intermedios, comprometiéndose solo con las entradas y salidas, lo que ahorra tiempo y recursos de manera significativa.
El mecanismo básico se basa en un proceso matemático conocido como "verificación completa". Este proceso permite al validador y al verificador comprobar cálculos complejos mirando solo algunos puntos seleccionados al azar en lugar de revisar todo el conjunto de datos.