jakiro
auteur:MO Source: X, @ No89thkey Traduction: Shan Oppa, Vision de Bitchain
Permettez-moi d’essayer de répondre à cette question avec un numéro:
Est-il possible que nous puissions converger vers un seul meilleur point magique de l’avion de compromis?Non, l’avenir de l’informatique vérifiable hors chaîne est une courbe continue qui brouille les limites entre ZK dédié et à usage général.Veuillez me permettre d’expliquer comment ces termes ont évolué historiquement et comment ils fusionnent à l’avenir.
Il y a deux ans, l’infrastructure ZK «professionnelle» signifiait des cadres de circuits de bas niveau tels que CircCom, Halo2 et Arkworks.L’application ZK construite avec celles-ci est essentiellement un circuit ZK manuscrit.Ils sont rapides et peu coûteux pour des tâches très spécifiques, mais sont souvent difficiles à développer et à entretenir.Ils sont similaires à diverses puces de circuit intégrées spécifiques à l’application (silicium physique) dans l’industrie IC aujourd’hui, telles que les puces NAND et les puces de contrôleur.
Cependant, au cours des deux dernières années,L’infrastructure ZK «spécialisée» est devenue une infrastructure plus «générale».
Nous avons maintenant ZKML, Coprocesseurs ZK et ZKSQL qui fournissent des SDK faciles à utiliser et hautement programmables qui peuvent créer différentes catégories d’applications ZK sans écrire une seule ligne de code de circuit ZK.Par exemple, le coprocesseur ZK permet aux contrats intelligents d’accéder aux états / événements / transactions de blockchain historiques sans confiance et à exécuter des calculs arbitraires sur ces données.ZKML permet aux contrats intelligents de tirer parti de manière fiable les résultats de l’inférence AI pour permettre une large gamme de modèles d’apprentissage automatique.
Ces cadres évolués améliorent considérablement la programmabilité dans leurs domaines cibles tout en conservant des performances élevées et un faible coût car la couche d’abstraction (SDK / API) est mince et proche des circuits en métal nus.Ils sont similaires aux GPU, aux TPU et aux FPGA sur le marché IC: ce sont des experts dans le domaine de la programmabilité.
ZKVM a également fait de grands progrès au cours des deux dernières années.Il convient de noter que tous les ZKVM à usage général sont construits sur un framework ZK de bas niveau et dédié.L’idée est que vous pouvez écrire des applications ZK dans des langages de haut niveau (encore plus conviviale que SDK / API) qui peuvent être compilés dans une combinaison de circuits dédiés pour les ensembles d’instructions (classes RISC-V ou WASM).Dans notre analogie avec l’industrie IC, ils sont comme des puces CPU.
ZKVM est une couche abstraite au-dessus du cadre ZK de bas niveau, tout comme le coprocesseur ZK, etc., bien qu’une couche plus épaisse.
Comme l’a dit un homme sage, une couche d’abstraction peut résoudre tous les problèmes d’informatique, mais en même temps créer un autre problème.Mon ami, le compromis est le nom du jeu ici.Fondamentalement, pour ZKVM, nous faisons un compromis entre la performance et la polyvalence.
Il y a deux ans, la performance « Bare Metal » de ZKVM était vraiment mauvaise.Cependant, en seulement deux ans, les performances de ZKVM se sont considérablement améliorées.Pourquoi?
Parce que ces ZKVM « universels » sont devenus plus « professionnels »!Un domaine clé d’amélioration des performances provient de la « précompilation ».Ces précompilateurs sont des circuits ZK spécialisés qui calculent des programmes avancés couramment utilisés tels que Sha2 et diverses vérifications de signature, beaucoup plus rapidement que le processus normal de les décomposer en circuits d’instructions.
Par conséquent, la tendance est déjà très évidente maintenant.
L’infrastructure ZK spécialisée devient de plus en plus générale, et le ZKVM généralisé est de plus en plus spécialisé!
Pour les deux solutions au cours des dernières années, l’optimisation est de réaliser un meilleur compromis qu’auparavant: faites mieux à un moment donné sans sacrifier l’autre.C’est pourquoi les deux parties pensent que « nous sommes définitivement l’avenir ».
Cependant, la sagesse informatique nous dit tout qu’à un moment donné, nous rencontrerons un « mur optimal de Pareto » (ligne en pointillés verts), auquel cas nous ne pouvons pas sans sacrifier une autre fonctionnalité améliorer une fonctionnalité.
Donc, une question d’un million de dollars se pose: les unsont complètement remplacer l’autre en temps voulu?
Si l’analogie de l’industrie IC peut aider: la taille du marché du processeur est de 126 milliards de dollars, et toute l’industrie IC, plus tous les CI « dédiés », est de 515 milliards de dollars.Je crois qu’au niveau micro, l’histoire rime ici et ne se remplacera pas mutuellement.
Cela dit, personne n’a dit aujourd’hui: « Hé, j’utilise un ordinateur entièrement alimenté par un processeur à usage général » ou « Hé, regardez ce robot étrange propulsé par un IC dédié. »
Oui, nous devons en effet examiner cela d’un point de vue macro.
À l’avenir, les experts du domaine ZK Infrastructure et ZKVM à usage général peuvent et travailleront ensemble.Cela peut arriver sous de nombreuses formes.
De nos jours, la manière la plus simple est possible.Par exemple, vous pouvez utiliser le coprocesseur ZK pour générer des résultats de calcul dans l’historique long des transactions blockchain, mais la logique métier de calcul en plus de ces données est si complexe que vous ne pouvez pas l’exprimer facilement dans le SDK / API.
Tout ce que vous pouvez faire est d’obtenir des preuves ZK à haute performance et à faible coût de données et de calculs intermédiaires, puis les mettent en commun dans une machine virtuelle généralisée par preuve récursivement.
Bien que je pense que ces types de débats sont intéressants, je sais que nous construisons tous l’avenir de l’informatique asynchrone pour les blockchains alimentés par l’informatique vérifiable hors chaine.Lorsque nous voyons les cas d’utilisation adoptés par les utilisateurs à grande échelle dans les années à venir, je pense que ce débat peut être facilement résolu.
