Au cours des derniers jours, j'ai participé au sommet conjoint Proof Summit organisé par @eigenlayer \altlayer, Provable organisé par @RiscZero, ZKHub initié par @ProjectZKM et @GOATRollup, ainsi que ZK Accelerate, etc. Il y a eu beaucoup d'événements et je ne pouvais pas tous les rejoindre. Mais tous ces événements étaient dans le domaine de la preuve à divulgation zéro (ZK), et après y avoir assisté, j'ai été complètement captivé par le sujet.

Prouver n'importe quoi

Je me souviens de l'année 2017, lorsqu'il y avait un boom de "tout peut être enregistré sur la chaîne" lors des ICO, par exemple : les données des dossiers médicaux enregistrées sur la chaîne, la traçabilité complète des produits agricoles de la plantation à la table, les transactions de financement en amont et en aval de la chaîne d'approvisionnement, etc. Même si plus tard, il s'est avéré que tous les scénarios ne pouvaient pas être enregistrés sur la chaîne et que ce n'était pas nécessaire dans tous les cas. Cependant, le paradigme narratif de "tout sur la chaîne" a contribué à l'essor du marché haussier de 2017.

Ces grands événements ZK donnent également une impression similaire, ZK suscite une grande narration « Prove anything ».

La véritable valeur de ZK réside dans la séparation de la computation et de la validation off-chain, permettant à la computation off-chain d'atteindre une efficacité de calcul maximale, afin de réduire au minimum les coûts de stockage et d'exécution off-chain. ZK Tech sert de "pont de confiance" pour tout connecter.

En regardant en arrière, les deux derniers cycles ont tous deux tendance à raconter des histoires de « on-chain », et la couche Rollup layer2 n'est qu'un petit iceberg qui montre la valeur de ZK. Après le grand boom de ZK, il n'y aura plus de frontière off-chain, et il n'y aura plus que le nouveau paradigme de « calcul vérifiable » à l'avenir.

En même temps, les innovations de Prove Anything sont également en train de se développer discrètement, couvrant des scénarios d'application impliquant à la fois off-chain et off-chain tels que les jeux de calcul vérifiables, l'authentification d'identité, DeFi/RWA, les transactions sécurisées, la gouvernance des votes, la vérification des modèles d'IA, la preuve de confiance des appareils Internet des objets, la confidentialité des chaînes d'approvisionnement de niveau entreprise, etc.

Le système de consensus économique AVS est très important pour ZK

During the Proof Summit, I saw many fresh projects, such as: @alt_layer, which is building a VITAL ZK proof system as a trap to provide ZK proof capabilities for OP-Rollup; @alignedlayer, focusing on scalable ZK proof generation and exploring effective integration with OP Stack; @OpacityNetwork, exploring data privacy and secure sharing infrastructure based on VDN, zkTLS, MPC, etc.; @lagrangedevProver Network, aiming to establish a dedicated proof service layer between L1 and L2 to provide a unified shared proof infrastructure for different ZK proofs.

J'ai précédemment analysé l'avenir d'Eigenlayer et de son paradigme de service AVS représentant l'avenir d'ETH, si ce n'était que de la perspective. Lors de cette réunion, j'ai reçu la confirmation que altlayer doit améliorer Fraud Proof OP basé sur AVS, et que Lagrange doit fonder son service de consensus sur AVS.

Le "Consensus de sécurité" produit par AVS pour une sortie commercialisable aidera ZK à construire rapidement un réseau de services middleware protocole, facilitant l'interconnexion d'une série d'infrastructures de base ZK en rapide expansion et des environnements VM purement sur chaîne existants.

Pas besoin de le dire, tout le monde peut le sentir, le système de service de vérification active Eigenlayer AVS suscite beaucoup de force ZK émergente en amont et en aval, même s'il semble encore très précoce, laissez les balles voler un moment.

L'environnement d'exécution vérifiable TEE est équipé de ZK

Ce TEE Salon va durer toute la journée, je n'ai pas le temps de tout écouter, mais ce qui est surprenant, c'est que l'événement se déroule dans le superbe bureau de Google à Bangkok, ce qui me rend un peu excité par l'esprit de pèlerinage aux géants mondiaux de l'Internet.

La ligne de produits de cloud computing confidentielle de Google, les technologies SGX et TDX d'Intel, etc., cherchent vraiment un point d'entrée approprié dans le nouveau récit de TEE, la logique est très simple, il suffit de regarder la relation ambigüe d'Alibaba Cloud, Huawei Cloud, Tencent Cloud avec la blockchain.

À mon avis, ZK+TEE est le gardien de l'ère du calcul vérifiable, ZK est responsable de la preuve de calcul et de la transmission des informations, TEE fournit un environnement d'exécution de confiance et la confidentialité des données.

Par exemple, le dark pool d'Aztec, la puce matérielle innovante VPU à construire par Fabric, etc., de plus en plus de projets intègrent simultanément des Algorithmes de cryptage ZK, TEE, MPC, FHE et autres, pour accélérer l'arrivée d'un nouveau paradigme de calcul vérifiable. Bien que TEE donne une impression de tradition, il apportera certainement une contribution importante sur le chemin de la popularité de ZK.

zkVM pour la promotion de la construction de base ZK Tech

Quand je suis venu à l’événement spécial zkHUB, ZKM, RiscZERO, Cysic, Mina, Goat Network, Succinct et d’autres projets ZK étaient un peu éblouissants.

Beaucoup de gens ont peut-être vu certaines des innovations que Risc-V Machine virtuelle est en train de réaliser dans les articles de @VitalikButerin. Ici, j'ai vu les ingénieurs de @ProjectZKM expliquer le système zkMIPS, une zkVM générique qui simplifie le processus de développement ZK, réduisant ainsi le temps et la complexité du développement de circuits ZK personnalisés et offrant une plateforme standardisée pour le développement d'applications ZK.

Différent de l'architecture du processeur Risc-V qui est plus axée sur le matériel, zkMIPS est une sous-ensemble d'instructions logicielles simplifiées qui peuvent grandement optimiser les scénarios nécessaires à la génération de preuves de connaissance zéro.

Dans le contexte narratif modulaire, zkVM se démarque. Beaucoup de gens savent que zkVM a plus de potentiel que zkEVM, sa logique interne réside dans le fait que le futur ZK se détachera certainement du paradigme de connexion purement sur chaîne.

C'est donc très important que zkVM puisse connecter tous les AltVM, permettre à Ethereum, Bitcoin, etc. de devenir une couche de règlement unifiée pour tout l'écosystème, et construire une couche de liquidité unifiée sans contraintes d'architecture technique.

Je crois que, à la fin du récit compatible avec l'EVM, le nouveau zkVM libérera un grand chantier de construction durable pour les années à venir, reliant tout calcul vérifiable.

Ci-dessus.

Enfin, pour conclure avec une citation de RiscZERO VP, il a déclaré que la chaîne de blocs dans laquelle nous nous trouvons est en train de passer de l'ère des serveurs représentée par Ethereum et Solana à une nouvelle ère du Cloud.

Dans l'environnement de développement de la blockchain actuellement en cours de désassemblage et de reconstruction, comprennez-vous certainement ce que cette phrase proclame et bruit derrière les mots "modulaire, abstraction de la chaîne, zkVM", etc.

Lien original