Hoy, Lagrange ha expandido su Red ZK Prover para impulsar la generación de pruebas para ZK rollups, añadiendo a las actuales ofertas de ZK Coprocessor y State Committee de Lagrange. Con esta nueva incorporación, Lagrange ahora permite generar pruebas para cualquier cosa: rollups, aplicaciones, coprocesadores e interoperabilidad, actuando como una capa de verificación infinita que posibilita que cualquiera demuestre cualquier cosa a escala de internet. Con anterioridad, Lagrange lanzó la primera red de probadores ZK lista para producción en la industria, operada por operadores líderes como Coinbase, Kraken, OKX, entre otros. Ahora, la red ZK Prover de Lagrange se está expandiendo para abordar desafíos clave enfrentados por los rollups y promover la adopción y utilidad de la tecnología ZK.
El ZK Coprocessor puede generar una prueba de cálculo correcto sobre ranuras de almacenamiento arbitrarias para rangos de bloques arbitrarios. Por ejemplo, consideremos una aplicación que desea calcular el promedio en Ethereum para el precio ETH/USDC. Un desarrollador primero debe especificar las ranuras de memoria y el rango de bloques (~50.400) que desea incluir en el conjunto de datos. Luego, el desarrollador escribe los cálculos que se ejecutarán a través de las ranuras de almacenamiento sobre los distintos bloques en paralelo. Una vez generada la prueba, demostrará tanto la inclusión en el almacenamiento como la computación agregada como válidas con respecto a un encabezado de bloque derivado de la información del contrato inteligente.