Buterin presenta el sistema de pruebas GKR para impulsar la escalabilidad de Ethereum
El cofundador de Ethereum, Vitalik Buterin, ha presentado el protocolo GKR, un sistema de pruebas de nueva generación diseñado para que los cálculos de conocimiento-cero (ZK) sean más rápidos y eficientes. Publicado en su blog vitalik.eth.limo el 20 de octubre, el tutorial describe cómo el método Goldwasser-Kalai-Rothblum (GKR) puede mejorar drásticamente la forma en que Ethereum verifica los cálculos a gran escala.
Este artículo ha sido traducido del original. Lea la versión original de nuestro corresponsal aquí.
El marco GKR utiliza la agregación recursiva de pruebas, lo que permite a los desarrolladores verificar lotes masivos de operaciones con una sobrecarga mínima en la cadena, informa Crypto News.
Al procesar las pruebas en tiempo logarítmico y eliminar la necesidad de costosos compromisos intermedios, GKR ofrece una alternativa más eficiente a los sistemas tradicionales ZK-SNARK y ZK-STARK.
Buterin agradeció a Lev Soukhanov, Zhenfei Zhang y Zachary Williamson sus comentarios sobre el trabajo, señalando que la eficiencia y escalabilidad del protocolo lo convierten en "un ajuste natural para probar grandes lotes de hashes y cálculos de tipo red neuronal".
Pruebas criptográficas más rápidas, baratas y escalables
El protocolo GKR permite a los demostradores saltarse los compromisos intermedios, uno de los principales cuellos de botella de los actuales sistemas de demostración ZK. Este diseño reduce significativamente el coste computacional y el consumo de gas, allanando el camino para la generación y verificación de pruebas en tiempo real tanto en contextos de blockchain como de computación de IA.
Aunque el GKR en sí no es de conocimiento cero, puede envolverse en capas SNARK o STARK para añadir privacidad, combinando la concisión de las pruebas con la confidencialidad. Esta flexibilidad lo hace ideal para soluciones de escalado de capa 2 de Ethereum, rollups y casos de uso de interoperabilidad entre cadenas.
El protocolo también proporciona una estructura más ágil para la verificación por lotes, en la que miles de transacciones o cálculos pueden validarse simultáneamente sin comprometer la eficiencia en la cadena. Los desarrolladores prevén que GKR podría reducir los tiempos de verificación en un orden de magnitud en comparación con los métodos actuales, especialmente en la agregación de rollups y la verificación de modelos de IA.
Un hito en la hoja de ruta "Lean" y resistente al quantum de Ethereum
El lanzamiento de GKR representa otro paso en la estrategia a largo plazo de Buterin para "Lean Ethereum", una arquitectura de blockchain simplificada, eficiente y resistente al quantum. El protocolo complementa la evolución en curso de Ethereum hacia una finalidad más rápida, escalabilidad basada en ZK y clientes ligeros que reducen los requisitos de almacenamiento de los nodos.
En publicaciones recientes del blog de Buterin se han explorado direcciones similares, como la gobernanza basada en ZK, marcos de interoperabilidad de capa 2 y clientes parciales sin estado. Juntos, estos avances pretenden hacer Ethereum más modular, seguro y sostenible a medida que la red pasa a su siguiente fase de escalabilidad.
Con la introducción de GKR, la columna vertebral criptográfica de Ethereum podría ser más ligera y rápida, permitiendo a los desarrolladores construir rollups de alto rendimiento, aplicaciones DeFi privadas y sistemas de computación de IA verificables, pilares clave para hacer realidad la visión de Buterin de una Internet verdaderamente escalable, verificable y descentralizada.
Recientemente escribimos que la trayectoria de Ethereum a corto plazo dependerá en gran medida de los flujos institucionales y de grandes accionistas, ya que la acumulación o las salidas pueden mover el precio más que el comercio minorista típico.
- Forex
- Crypto