Aujourd'hui, Lagrange a étendu son réseau ZK Prover Network afin de générer des preuves pour les ZK rollups, s'ajoutant ainsi aux offres existantes de ZK Coprocessor et de State Committee. Grâce à cette nouvelle addition, Lagrange permet désormais des preuves pour n'importe quoi - pour les rollups, les applications, les coprocesseurs et l'interopérabilité -, agissant comme une couche infinie de preuves qui permet à quiconque de prouver n'importe quoi à l'échelle d'Internet. Précédemment, Lagrange avait lancé le premier réseau de prouveurs ZK prêt pour la production dans le secteur, exploité par des opérateurs de premier plan, notamment Coinbase, Kraken, OKX et d'autres. Désormais, le réseau de prouveurs ZK de Lagrange s'étend pour relever les défis clés auxquels les rollups sont confrontés, et ainsi promouvoir l'adoption et l'utilité des preuves ZK.
Le ZK Coprocessor peut générer une preuve de calcul correct sur des emplacements de stockage arbitraires pour des plages de blocs arbitraires. Par exemple, considérons une application souhaitant calculer la moyenne sur Ethereum pour le prix ETH / USDC. Un développeur doit d'abord spécifier les emplacements mémoire et la plage de blocs (~50 400) qu'il souhaite inclure dans l'ensemble de données. Ensuite, le développeur écrit les calculs à exécuter en parallèle sur les emplacements de stockage à travers les différents blocs. Une fois la preuve générée, elle démontrera à la fois l'inclusion dans le stockage et la validité du calcul agrégé par rapport à un en-tête de bloc dérivé d'informations de contrat intelligent.