Auteur original : Zeke, chercheur chez YBB Capital

TLDR

  • Le coprocesseur ZK (ZK Coprocessor) peut être considéré comme un plug-in informatique hors chaîne dérivé du concept modulaire. Sa fonction est similaire au GPU de nos ordinateurs traditionnels qui partage les tâches de calcul graphique pour le CPU, c'est-à-dire partager le calcul. dans des scénarios spécifiques.

  • Peut être utilisé pour traiter des calculs complexes et des données volumineuses, réduire les frais de gaz et étendre les fonctions de contrat intelligent ;

  • La différence avec Rollup : le coprocesseur ZK est sans état, peut être utilisé sur plusieurs chaînes et convient aux scénarios informatiques complexes ;

  • Le coprocesseur ZK est difficile à développer, présente des performances élevées et manque de standardisation. Le matériel nécessite beaucoup de coûts. Bien que la piste soit beaucoup plus mature qu'il y a un an, elle en est encore à ses débuts ;

  • Après que l'infrastructure est entrée dans l'ère modulaire de l'expansion fractale, la blockchain est tombée dans divers problèmes tels que le manque de liquidité, la dispersion des utilisateurs, le manque d'innovation et d'interopérabilité entre les chaînes, et a formé un paradoxe avec l'expansion verticale L1. Le coprocesseur ZK pourrait être en mesure de fournir un bon renforcement pour les deux à l'avenir, leur permettant de se sortir du pétrin, de fournir un support de performances pour les anciennes applications et les nouvelles applications importantes, et d'apporter des récits plus nouveaux.

1. Autre branche de l'infrastructure modulaire, le coprocesseur ZK

1.1 Présentation du coprocesseur ZK

Le coprocesseur ZK (ZK Coprocessor) peut être considéré comme un plug-in informatique hors chaîne dérivé du concept modulaire. Sa fonction est similaire au GPU de nos ordinateurs traditionnels qui partage les tâches de calcul graphique pour le CPU, c'est-à-dire partager le calcul. dans des scénarios spécifiques. Le processeur de la tâche. Dans ce cadre de conception, les tâches de « données lourdes » et de « logique de calcul complexe » pour lesquelles la chaîne publique n'est pas douée peuvent être calculées via le coprocesseur ZK. La chaîne n'a besoin que de recevoir les résultats de calcul renvoyés, et son exactitude est garantie par ZK. des calculs hors chaîne fiables et fiables pour des tâches complexes sont enfin réalisés.

Actuellement, les applications populaires telles que AI, SocialFi, DEX et GameFi ont des besoins urgents en matière de hautes performances et de contrôle des coûts. Dans les solutions traditionnelles, ces « applications lourdes » qui nécessitent des performances élevées choisissent souvent la forme d'actifs en chaîne + hors chaîne. applications, ou, Concevoir une chaîne d'applications séparément pour l'application. Cependant, les deux présentent des problèmes inhérents.Par exemple, le premier a une boîte noire et le second a des problèmes tels que des coûts de développement élevés, une séparation de l'écologie de la chaîne d'origine et une fragmentation des liquidités. En outre, la machine virtuelle de la chaîne principale présente également de grandes restrictions sur le développement et le fonctionnement de telles applications (telles que le manque de normes de couche d'application et de langages de développement complexes).

L'existence du coprocesseur ZK est destinée à résoudre de tels problèmes. Pour donner un exemple plus détaillé, nous pouvons considérer la blockchain comme un terminal qui ne peut pas être connecté à Internet (téléphone portable, ordinateur, etc.). certaines applications plus simples, telles que Uniswap et d'autres applications DeFi, peuvent fonctionner entièrement en chaîne. Mais lorsque des applications plus complexes apparaissent, comme l'exécution d'une application comme ChatGPT, les performances et le stockage de la chaîne publique seront complètement insuffisants, et Gas va exploser. Dans le cas du Web2, la même chose est vraie lorsque nous exécutons ChatGPT. Les terminaux communs eux-mêmes ne peuvent pas gérer de grands modèles de langage tels que GPT-4. o Nous devons communiquer le problème au serveur OpenAI via Internet une fois que le serveur a calculé l'inférence. résultats, nous Vous recevrez la réponse directement. Le coprocesseur ZK est similaire au serveur distant de la blockchain. Cependant, pour différents types de projets, la conception des différents projets de coprocesseur peut présenter de légers écarts, mais la logique sous-jacente ne sera pas très différente. Ils sont tous vérifiés hors chaîne. calcul + preuve ZK ou preuves de stockage. En prenant le déploiement de Bonsai de Rise Zero comme exemple, nous pouvons comprendre que la logique de cette architecture est très simple. Le projet est parfaitement intégré au propre zkVM de Rise Zero. Les développeurs n'ont besoin que de deux étapes simples pour utiliser Bonsai comme étape de coprocesseur.

  • Écrivez une application zkVM pour gérer la logique de l'application ;

  • Rédigez un contrat Solidity qui demande à Bonsai d'exécuter votre application zkVM et de traiter les résultats.

Quelle est la différence entre 1.2 et Rollup ?

Dans la définition ci-dessus, nous constaterons que Rollup semble avoir un degré élevé de chevauchement avec le coprocesseur ZK, quels que soient sa logique ou ses objectifs de mise en œuvre. Mais en fait, Rollup ressemble plus à la version multicœur de la chaîne principale. Les différences spécifiques entre les deux sont les suivantes :

1. Objectif principal :

  • Rollup : améliorez le débit des transactions blockchain et réduisez les frais de transaction.

  • Coprocesseur ZK : étend la puissance de calcul des contrats intelligents pour lui permettre de traiter une logique plus complexe et de plus grandes quantités de données.

2. Principe de fonctionnement :

  • Rollup : résumez les transactions sur la chaîne et transférez-les vers la chaîne principale via une preuve de fraude ou une preuve ZK.

  • Coprocesseur ZK : similaire à ZK Rollup, sauf que les scénarios d'application des deux sont différents. ZK Rollup est limité par la forme et les règles de la chaîne et n'est pas adapté au travail du coprocesseur ZK.

3. Gestion des statuts :

  • Rollup : nécessité de maintenir son propre état et de se synchroniser régulièrement avec la chaîne principale.

  • Coprocesseur ZK : ne maintient pas d'état persistant et chaque calcul est sans état.

4. Scénarios d'application :

  • Rollup : principalement pour le côté C, adapté au trading à haute fréquence.

  • Coprocesseur ZK : principalement pour le côté B, adapté aux scénarios nécessitant des calculs complexes, tels que les modèles financiers avancés, l'analyse du Big Data, etc.

5. Relation avec la chaîne principale :

  • Rollup : peut être considéré comme une extension de la chaîne principale, se concentrant généralement sur un réseau blockchain spécifique.

  • Coprocesseur ZK : il peut fournir des services pour plusieurs blockchains et n'est pas limité à une chaîne principale spécifique, il peut donc également fournir des services pour Rollup.

Les deux ne sont donc pas incompatibles et sont même complémentaires. Même si un Rollup existe sous la forme d'une chaîne d'applications, le coprocesseur ZK peut toujours fournir des services.

1.3 Cas d'utilisation

Théoriquement parlant, le coprocesseur ZK a une très large gamme d'applications et peut essentiellement couvrir des projets dans diverses pistes de blockchain. L'existence du coprocesseur ZK peut rapprocher la fonction de Dapp de celle de l'application centralisée Web2. Voici quelques cas d'utilisation de démonstration collectés sur Internet :

Développement DApp basé sur les données

Le coprocesseur ZK permet aux développeurs de créer des DApp basées sur les données qui exploitent les données historiques de l'ensemble de la chaîne et effectuent des calculs complexes sans hypothèses de confiance supplémentaires. Cela apporte des possibilités sans précédent au développement de DApp, telles que :

  • Analyse de données avancée : fonctions d'analyse de données en chaîne similaires à Dune Analytics.

  • Logique métier complexe : implémentez des algorithmes et une logique métier complexes dans des applications centralisées traditionnelles.

  • Applications inter-chaînes : créez des DApps inter-chaînes basées sur des données multi-chaînes.

Programme de trading VIP de DEX

Un scénario d'application typique consiste à mettre en œuvre un programme de réduction des frais basé sur le volume des transactions dans une bourse décentralisée (DEX), c'est-à-dire le « Programme de fidélité des traders VIP ». Ce type de schéma est courant dans les échanges centralisés (CEX) mais rare dans DEX.

Grâce au coprocesseur ZK, DEX peut :

  • Suivez le volume de transactions historique des utilisateurs

  • Calculer le niveau VIP de l'utilisateur

  • Ajustez dynamiquement les frais de transaction en fonction du niveau

Cette fonctionnalité peut aider DEX à améliorer la fidélisation des utilisateurs, à augmenter la liquidité et, à terme, à augmenter les revenus.

Amélioration des données pour les contrats intelligents

Le coprocesseur ZK peut servir de middleware puissant pour fournir des services de capture de données, de calcul et de vérification pour les contrats intelligents, réduisant ainsi les coûts et améliorant l'efficacité. Cela permet aux contrats intelligents de :

  • Accéder et traiter de grandes quantités de données historiques

  • Effectuer des calculs hors chaîne complexes

  • Implémenter une logique métier plus avancée

Technologie de pont inter-chaînes

Certaines technologies de ponts inter-chaînes basées sur ZK, telles que Herodotus et Lagrange, peuvent également être considérées comme une application du coprocesseur ZK. Ces technologies se concentrent principalement sur l’extraction et la vérification des données, fournissant une base de données fiable pour la communication inter-chaînes.

Le coprocesseur 1.4 ZK n'est pas parfait

Bien que nous ayons énuméré de nombreux avantages, l'étape actuelle du coprocesseur ZK n'est pas parfaite et doit encore faire face à de nombreux problèmes. J'ai personnellement résumé les points suivants :

1. Développement : Le concept de ZK est difficile à comprendre pour de nombreux développeurs. Le développement nécessite également des connaissances pertinentes en cryptographie et la maîtrise de langages et d'outils de développement spécifiques ;

2. Les coûts du matériel sont élevés : le matériel ZK utilisé pour l'informatique hors chaîne doit être entièrement supporté par le projet lui-même. Le matériel ZK est coûteux et fait encore l'objet d'un développement et d'une itération rapides, et le matériel est susceptible d'être éliminé à tout moment. La question de savoir si cela peut former une boucle fermée dans la logique métier mérite également d’être examinée ;

3. La piste est encombrée : en fait, il n'y aura pas de grande différence dans la mise en œuvre technique, en fin de compte, il est probable qu'elle soit similaire au modèle actuel de couche 2. Il y a plusieurs projets en suspens, mais la plupart d'entre eux sont ignorés ;

Circuit 4.zk : L'exécution de calculs hors chaîne dans le coprocesseur zk nécessite la conversion de programmes informatiques traditionnels en circuits zk. L'écriture de circuits personnalisés pour chaque application est très compliquée et l'utilisation de zkvm pour écrire des circuits dans des machines virtuelles entraîne différents modèles informatiques. .

2. Pièces clés du puzzle menant à une application à grande échelle

(Ce chapitre est hautement subjectif et ne représente que les opinions personnelles de l’auteur)

Ce cycle est dominé par l'infrastructure modulaire. Si la voie de la modularisation est correcte, alors ce cycle peut être la dernière étape vers une application à grande échelle. Cependant, au stade actuel, nous avons tous un sentiment commun : pourquoi ne pouvons-nous voir que quelques anciens vins avec de nouvelles applications ? Pourquoi y a-t-il beaucoup plus de chaînes que d'applications ? Pourquoi les nouvelles normes de jetons telles que les inscriptions peuvent-elles être considérées comme la plus grande innovation ? rond?

La raison pour laquelle il y a un tel manque de nouveaux récits est que l'infrastructure modulaire actuelle n'est pas suffisante pour prendre en charge les super applications, en particulier le manque de certaines conditions préalables (interopérabilité de la chaîne complète, seuils d'utilisateurs, etc.), ce qui a contribué au plus grand développement dans l’histoire de la blockchain déguisé en séparation. Le rollup, en tant que noyau de l'ère modulaire, est rapide, mais il pose également de nombreux problèmes, c'est-à-dire que la fragmentation des liquidités, la dispersion des utilisateurs, la chaîne ou la machine virtuelle elle-même, que nous avons soulignées à plusieurs reprises ci-dessus, limitent encore l'innovation des applications. D’un autre côté, Celestia, un autre « homme clé » de la modularité, a été le pionnier de l’idée selon laquelle DA n’a pas besoin d’être sur Ethereum. Cette idée intensifie encore la fragmentation. Qu'il s'agisse de l'idéologie ou du coût de l'AD, le résultat est que BTC est obligé de faire de l'AD, et que d'autres chaînes publiques doivent faire de l'AD plus rentable. La situation actuelle est qu'il y en a aussi peu qu'une et jusqu'à des dizaines. Projets de couche 2 sur chaque chaîne publique. Enfin, toutes les parties prenantes du projet d'infrastructure et d'écologie ont étudié en profondeur le gameplay du dragon tueur de points (OpenSea) lancé par Blur (Tieshun), obligeant les utilisateurs à engager des jetons dans le projet, ce qui fait d'une pierre trois coups (intérêt, ETH). pour les baleines ou la montée en puissance du BTC et du modèle free-token Token), comprimant encore davantage la liquidité sur la chaîne.

Lors du marché haussier précédent, les fonds n'circulaient que dans quelques à une douzaine de chaînes publiques, et on pourrait même dire qu'ils étaient concentrés uniquement dans Ethereum. Mais les fonds d'aujourd'hui sont dispersés dans des centaines de chaînes publiques et engagés dans des milliers de projets qui sont tous identiques. La prospérité sur la chaîne n'est plus là, et même Ethereum n'a pas d'activités en chaîne. Les joueurs orientaux font donc du PVP dans l'écosystème BTC, et les joueurs occidentaux n'ont d'autre choix que de faire du PVP dans Solana. Par conséquent, ce qui me préoccupe le plus personnellement en ce moment est de savoir comment promouvoir l’agrégation de liquidités tout au long de la chaîne et comment soutenir la naissance de nouveaux gameplay et de super applications. Dans le domaine de l'interopérabilité de la chaîne complète, plusieurs projets de premier plan traditionnels ont en fait obtenu de mauvais résultats. Ils ressemblent davantage à des ponts inter-chaînes traditionnels. La nouvelle solution d'interopérabilité a également été abordée dans notre précédent rapport de recherche, principalement en agrégeant plusieurs chaînes en une seule chaîne. Actuellement, nous travaillons sur AggLayer, Superchain, Elastic Chain, JAM, etc., qui ne seront pas abordés ici.

Dans l’ensemble, l’agrégation de l’ensemble de la chaîne est un obstacle qui doit être surmonté dans le cadre de la structure modulaire, mais cet obstacle prendra encore beaucoup de temps. Le coprocesseur ZK est une pièce de puzzle plus critique au stade actuel. En plus de renforcer la couche 2, il peut également renforcer la couche 1. Est-il possible d'échapper temporairement aux deux problèmes du paradoxe de la chaîne complète et du triangle ? Mettre en œuvre d’abord certaines applications actuelles sur certaines couches 1 ou 2 qui disposent d’une large liquidité ? Après tout, le récit actuel des applications blockchain fait vraiment défaut. En revanche, pour parvenir à une diversification du gameplay, à la maîtrise des gaz, à l'émergence d'applications à grande échelle, voire au cross-chain, en abaissant le seuil des utilisateurs, intégrer une solution coprocesseur sera une solution plus idéale que de s'appuyer sur la centralisation.

3. Liste des projets

La piste du coprocesseur ZK a émergé vers 2023 et est relativement mature au stade actuel. Selon la classification de Messari, les projets existants en piste peuvent être divisés en trois grands domaines verticaux (informatique générale, interopérabilité et cross-chain, IA et formation machine), avec 18 projets. La plupart de ces projets sont soutenus par des sociétés de capital-risque principales. Nous sélectionnons certains projets dans différents domaines verticaux pour une description ci-dessous.

3.1 Humain

Giza est un protocole zkML (apprentissage automatique à connaissance nulle) déployé sur Starknet et officiellement pris en charge par StarkWare, visant à permettre l'utilisation de modèles d'intelligence artificielle de manière vérifiable dans les contrats intelligents blockchain. Les développeurs peuvent déployer des modèles d’IA sur le réseau de Gizeh, qui vérifie ensuite l’exactitude du raisonnement du modèle au moyen de preuves sans connaissance et fournit les résultats pour une utilisation sans confiance par les contrats intelligents. Cela permet aux développeurs de créer des applications en chaîne intégrant des capacités d'IA tout en maintenant la décentralisation et la vérifiabilité de la blockchain.

Gizeh termine le flux de travail en effectuant les trois étapes suivantes :

  • Conversion de modèle : Giza convertit les modèles d'IA au format ONNX couramment utilisés dans un format pouvant fonctionner dans des systèmes à preuve de connaissance nulle. Cela permet aux développeurs de former des modèles à l'aide d'outils familiers, puis de les déployer sur le réseau de Gizeh.

  • Inférence hors chaîne : lorsqu'un contrat intelligent demande l'inférence de modèle d'IA, Giza effectue les calculs réels hors chaîne. Cela évite le coût élevé de l’exécution de modèles d’IA complexes directement sur la blockchain.

  • Vérification sans connaissance : Giza génère une preuve ZK pour chaque inférence de modèle afin de prouver que le calcul a été effectué correctement. Ces preuves sont vérifiées en chaîne, garantissant l'exactitude des résultats d'inférence sans avoir à répéter l'intégralité du processus de calcul en chaîne.

L’approche de Giza permet aux modèles d’IA de servir de sources d’entrée fiables pour les contrats intelligents sans dépendre d’oracles centralisés ou d’environnements d’exécution fiables. Cela ouvre de nouvelles possibilités pour les applications blockchain telles que la gestion d'actifs basée sur l'IA, la détection des fraudes et la tarification dynamique. C'est l'un des rares projets logiques en boucle fermée dans le Web3 x AI actuel, et c'est également une merveilleuse utilisation du co-traitement dans le domaine de l'IA.

3.2 Chauffage zéro

Risc Zero est un projet de coprocesseur soutenu par plusieurs sociétés de capital-risque de premier plan et est un leader dans le domaine. Le projet vise à permettre l’exécution vérifiable de calculs arbitraires dans les contrats intelligents blockchain. Les développeurs peuvent écrire des programmes dans Rust et les déployer sur le réseau RISC Zero. RISC Zero vérifie ensuite l'exactitude de l'exécution du programme grâce à des preuves sans connaissance et fournit les résultats aux contrats intelligents de manière sans confiance. Cela permet aux développeurs de créer des applications complexes en chaîne tout en maintenant la décentralisation et la vérifiabilité de la blockchain.

Nous avons brièvement parlé du déploiement et du processus de travail ci-dessus, et nous parlerons ici en détail des deux composants clés :

Bonsai : Bonsai de RISC Zero est le composant coprocesseur du projet. Il est parfaitement intégré au zkVM de l'architecture du jeu d'instructions RISC-V, permettant aux développeurs d'intégrer rapidement des preuves de connaissance nulle hautes performances dans Ethereum et L1 au sein d'un système. Quelques jours plus tard, la blockchain, la chaîne d'applications Cosmos, les rollups L2 et les dApps fournissent des appels directs aux contrats intelligents, des calculs hors chaîne vérifiables, une interopérabilité entre les chaînes et des fonctions de cumul universelles, tout en adoptant une conception d'architecture distribuée décentralisée, combinée à des fonctionnalités récursives. preuves, compilateurs de circuits personnalisés, continuation d'état et algorithmes de preuve en amélioration continue, permettant à quiconque de générer des preuves hautes performances sans connaissance pour une variété d'applications.

zKVM : zkVM est un ordinateur vérifiable qui fonctionne comme un véritable microprocesseur RISC-V intégré. Cette machine virtuelle est basée sur l'architecture du jeu d'instructions RISC-V, permettant aux développeurs d'utiliser une variété de langages de programmation tels que Rust, C++, Solidity, Go et d'autres langages de programmation de haut niveau pour écrire des programmes capables de générer zéro -preuves de connaissances. Il prend en charge plus de 70 % des caisses Rust populaires. Il réalise la combinaison transparente de preuves informatiques générales et de connaissances nulles, et peut générer des preuves efficaces de connaissances nulles pour des calculs de toute complexité, tout en préservant la confidentialité du calcul. processus et la vérifiabilité des résultats. zkVM adopte les STARK et les SNARK, y compris la technologie ZK qui permet une génération et une vérification efficaces grâce à des composants tels que Recursion Prover et STARK-to-SNARK Prover, prenant en charge l'exécution hors chaîne et les modes de vérification en chaîne.

Risc Zero s'est intégré à plusieurs systèmes ETH de couche 2 et a démontré plusieurs cas d'utilisation de Bonsai, dont le plus intéressant est Bonsai Pay. La démo utilise la preuve de service zkVM et Bonsai de RISC Zero pour permettre aux utilisateurs d'envoyer ou de retirer de l'ETH et des jetons sur Ethereum à l'aide d'un compte Google. Il démontre comment RISC Zero peut intégrer de manière transparente des applications en chaîne avec OAuth 2.0 (la norme utilisée par les principaux fournisseurs d'identité tels que Google), un cas d'utilisation d'intégration qui réduit la barrière à l'entrée pour les utilisateurs Web3 via les applications Web2 traditionnelles, en plus des exemples. basé sur des applications telles que DAO.

3,3 = néant ;

= nul ; Il est investi par des projets et des institutions bien connus tels que Mina, Polychain, Starkware et Blockchain Capital. Il convient de noter que les parties au projet dotées de technologies zk de pointe telles que Mina et Starkware en font également partie. la reconnaissance technique du projet est encore élevée. =nil; C'est également un projet mentionné dans notre rapport de recherche "Computing Power Market". À cette époque, il se concentrait principalement sur le marché des preuves de =nil; (marché décentralisé de la génération de preuves). Le projet avait en fait également un sous-produit, zkLLVM.

zkLLVM est un compilateur de circuits innovant développé par =nil; Foundation. Il peut convertir automatiquement les codes d'application écrits dans les langages de développement courants tels que C++ et Rust en circuits prouvables efficaces sur Ethereum sans utiliser de langage spécifique à connaissance nulle (. DSL), simplifiant ainsi considérablement le processus de développement et abaissant le seuil de développement. En même temps, il améliore les performances en n'impliquant pas zkVM (machine virtuelle à connaissance nulle). Il prend en charge l'accélération matérielle pour accélérer la génération de preuves. , des ponts inter-chaînes, divers scénarios d'application ZK tels que les oracles, l'apprentissage automatique et les jeux, et sont étroitement intégrés à =nil ; le Proof Market de la Foundation, offrant aux développeurs un support de bout en bout, de la création de circuits à la génération de preuves.

3.4 Brève

Ce projet est un sous-projet de Celer Network. Bervis est un coprocesseur intelligent sans connaissance (ZK) pour la blockchain qui permet aux dApp d'accéder, de calculer et d'utiliser des données sur plusieurs blockchains de manière totalement arbitraire. Comme d'autres coprocesseurs, Brevis propose également un large éventail de cas d'utilisation, tels que DeFi basé sur les données, zkBridges, l'acquisition d'utilisateurs en chaîne, zkDID et l'abstraction de comptes sociaux.

L'architecture de Brevis se compose principalement de trois parties :

  • zkFabric : zkFabric est un répéteur pour l'architecture Brevis. Sa tâche principale est de collecter et de synchroniser les informations d'en-tête de bloc de toutes les blockchains connectées, et enfin de générer des preuves consensuelles pour chaque en-tête de bloc collecté via le circuit client léger ZK.

  • zkQueryNet : zkQueryNet est un marché de moteur de requête ZK ouvert qui peut directement accepter les requêtes de données des contrats intelligents sur la chaîne, et peut également générer des résultats de requête et des certificats de requête ZK correspondants via le circuit du moteur de requête ZK. Ces moteurs vont des moteurs hautement spécialisés (comme le calcul du volume de transactions sur un DEX sur une période de temps spécifique) aux abstractions d'index de données très générales et aux langages de requête de haut niveau qui répondent à une variété de besoins d'applications.

  • zkAggregatorRollup : agit comme couche d'agrégation et de stockage pour zkFabric et zkQueryNet. Il vérifie les preuves des deux composants, stocke les données attestées et valide sa racine d'état à l'épreuve du ZK dans toutes les blockchains connectées, permettant aux dApps d'accéder directement aux données attestées dans la logique métier de leurs résultats de recherche de contrats intelligents en chaîne.

Grâce à cette architecture modulaire, Brevis peut fournir un accès sans confiance, efficace et flexible aux contrats intelligents sur toutes les chaînes publiques prises en charge. Ce projet est également adopté dans la version V4 d'UNI et intégré avec Hooks dans le protocole (un système qui intègre une logique personnalisée pour divers utilisateurs) pour faciliter la lecture des données historiques de la blockchain, réduire les frais de gaz et assurer la décentralisation des propriétés. Ceci est un exemple du coprocesseur zk pilotant DEX.

3.5 Lagrange

Lagrange est un protocole de coprocesseur zk interopérable dirigé par 1kx et Founders Fund. L'objectif principal du protocole est de fournir une interopérabilité inter-chaînes sans confiance et de prendre en charge l'innovation d'applications nécessitant des calculs complexes de Big Data. Contrairement aux ponts de nœuds traditionnels, l'interopérabilité inter-chaînes de Lagrange est principalement réalisée grâce à ses mécanismes innovants ZK Big Data et State Committee.

ZK Big Data : ce produit est au cœur de Langrange et est principalement responsable du traitement et de la vérification des données inter-chaînes et de la génération des certificats ZK pertinents. Ce composant comprend un coprocesseur ZK hautement parallèle pour effectuer des calculs hors chaîne complexes et générer des preuves sans connaissance. Une base de données vérifiable spécialement conçue prend en charge des emplacements de stockage illimités et des requêtes SQL directes pour les contrats intelligents. Un mécanisme de mise à jour dynamique met uniquement à jour les points de données modifiés pour réduire. Le délai de preuve et les fonctionnalités intégrées qui permettent aux développeurs d'accéder aux données historiques à l'aide de requêtes SQL directement à partir de contrats intelligents sans écrire de circuits complexes, forment ensemble un système de traitement et de vérification des données blockchain à grande échelle.

Comité d'État : ce composant est un réseau de vérification décentralisé composé de plusieurs nœuds indépendants, chaque nœud promet de l'ETH comme garantie. Ces nœuds servent de clients légers ZK et sont dédiés à la vérification de l'état de cumuls d'optimisation spécifiques. State Committee s'intègre à l'AVS d'EigenLayer, utilise un mécanisme d'engagement important pour améliorer la sécurité, prend en charge la participation d'un nombre illimité de nœuds et réalise une croissance de sécurité super-linéaire. Il fournit également un « mode rapide » qui permet aux utilisateurs d'effectuer des opérations inter-chaînes sans attendre la fenêtre de défi, améliorant ainsi considérablement l'expérience utilisateur. La combinaison de ces deux technologies permet à Lagrange de traiter efficacement des données à grande échelle, d'effectuer des calculs complexes, ainsi que de transmettre et de vérifier en toute sécurité les résultats entre différentes blockchains, fournissant ainsi un support au développement d'applications inter-chaînes complexes.

Lagrange est actuellement intégré à EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer, etc., et sera également lié à l'écosystème Ethereum en tant que premier ZK AVS.

Les références

1.ABCDE：Une plongée approfondie dans le coprocesseur ZK et son avenir：https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946

2. « ZK » est tout ce dont vous avez besoin : https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c 52 

3. Risque zéro : https://www.risczero.com/bonsai

4.Lagrange：https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis

5.AxiomBlog：https://blog.axiom.xyz/

6. L’azote accélère ! Comment le coprocesseur ZK brise les barrières des données des contrats intelligents : https://foresightnews.pro/article/detail/48239