#LagrangeLA #LagrangeLA $LA #LagrangeCrash
DeepProve
Le cadre d'apprentissage automatique à connaissance nulle (zkML) de Lagrange permet aux développeurs de prouver cryptographiquement la justesse des inférences des modèles d'IA sans révéler les paramètres ou les données sous-jacents du modèle. Cela peut être utilisé par des projets pour protéger leurs données propriétaires tout en prouvant l'authenticité de la sortie.
En utilisant des techniques cryptographiques avancées, DeepProve atteind des temps de preuve significativement plus rapides que les solutions zkML précédentes. Par exemple, il peut prouver l'inférence d'un réseau neuronal jusqu'à 158 fois plus rapidement que les alternatives de premier plan.
ZK Coprocessor
Lagrange a été pionnier d'un coprocessor ZK basé sur SQL conçu pour effectuer des calculs complexes hors chaîne sur des données et vérifier les résultats en chaîne avec des preuves cryptographiques. Pour atteindre cet objectif, les données de la blockchain sont transformées en un format compatible avec ZK. Les prouveurs utilisent ces données pour effectuer des calculs intensifs hors chaîne et générer des preuves ZK qui attestent de l'exactitude des calculs. Ces preuves sont ensuite soumises à des contrats intelligents en chaîne, permettant une vérification sans confiance sans révéler les données sous-jacentes.
Comités d'État de Lagrange
En plus de ces trois composants, Lagrange a également introduit les Comités d'État de Lagrange, un réseau décentralisé qui agit comme un protocole client léger ZK pour des rollups optimistes comme Arbitrum, Optimism et Mantle Network. Chaque comité est composé de nœuds qui ont restaké au moins 32 ETH via EigenLayer. Ces nœuds surveillent l'activité des rollups et attestent de la finalité des blocs. Leurs signatures collectives sont agrégées en preuves ZK succinctes que les applications peuvent utiliser pour vérifier les états des rollups sans attendre de longues périodes de contestation.
