Lagrange (LA)

Rang #1089

Lagrange (LA) est un réseau axé sur la preuve à divulgation nulle de connaissance (Zero Knowledge, ZK) pour générer des preuves qui rendent possibles les rollups et d’autres applications vérifiables. La proposition étend ce que le réseau peut prouver, en connectant différents usages au sein d’une couche continue de génération de preuves à grande échelle.

Technologie ZK : Prover Network et couches de preuve

Lagrange a étendu sa ZK Prover Network pour prendre en charge la génération de preuves pour les ZK rollups. De plus, le réseau regroupe des capacités déjà existantes comme ZK Coprocessor et State Committee, permettant que des preuves soient produites pour des rollups, des applications, des coprocessors et l’interopérabilité.

ZK Coprocessor : calcul correct avec des données du stockage

Le ZK Coprocessor est décrit comme capable de générer une preuve de calcul correct sur des slots de stockage arbitraires et des intervalles de blocs arbitraires. Le flux consiste à définir quels slots et quelle plage de blocs font partie de l’ensemble de données, puis à spécifier les calculs à exécuter en parallèle.

Après la génération de la preuve, celle-ci valide à la fois l’inclusion des données et le calcul agrégé comme valide par rapport à un en-tête de bloc dérivé d’informations provenant d’un contrat intelligent.

Objectif : accroître l’adoption et l’utilité des rollups

Auparavant, Lagrange avait lancé une ZK prover network prête pour la production, opérée par différents opérateurs de l’écosystème. Avec l’expansion, le réseau cherche à relever des défis centraux des rollups et à accroître l’adoption et l’utilité de ZK.