Ils ont transformé le "zero-knowledge" en une clé universelle, prétendant pouvoir ouvrir toutes les serrures off-chain, mais ils ne se sont pas rendu compte que la clé devenait de plus en plus grande et que le trou se réduisait de plus en plus - universelle, ou très difficile ?

Mais la pratique prouve que cette approche "grande et complète" entraîne souvent des problèmes d'inefficacité et de difficulté à évoluer. Ainsi, une nouvelle direction émerge : le zkVM modulaire. Le Pico v1.0 lancé par Brevis @brevis_zk est justement le représentant de cette tendance.
En termes simples, Pico n'est pas une "machine universelle", mais un "atelier d'assemblage".
Il divise zkVM en plusieurs modules indépendants, permettant aux développeurs de choisir librement les fonctionnalités nécessaires, en éliminant les parties inutiles.

➤L'idée principale de Pico : démonter et reconstruire le zkVM.
La philosophie de conception de Pico est très directe : "Tout est modulable."
Il est principalement divisé en trois niveaux.

1) Module d'exécution : prend en charge différents systèmes de preuve, tels que STARK, SNARK, ou une combinaison des deux. Les développeurs peuvent changer librement en fonction des besoins de performance et de sécurité.

2) Module d'environnement contextuel : définit la structure des données, la gestion des états et la logique d'interaction avec la chaîne. Cela équivaut au "cerveau" du système, déterminant comment il communique avec l'extérieur.

3) Couche de plugin étendue : prend en charge le développement d'opérateurs personnalisés ou l'intégration de protocoles exclusifs, par exemple pour l'accélération de la logique de jeu, des calculs d'IA ou des preuves de données off-chain.
Prenons un exemple, un DEX pourrait n'avoir besoin que d'un module de preuve pour la mise à jour de l'état et le calcul des prix, tandis qu'un jeu sur chaîne se soucie davantage de l'efficacité d'exécution parallèle et du support de logiques complexes.

➤Différentes approches par rapport aux zkVM mainstream
Les zkVM couramment utilisés sur le marché ont chacun leurs avantages et inconvénients :
Risc Zero : basé sur une architecture de CPU générique, avec une forte compatibilité, mais un système volumineux et un démarrage lent.

SP1 (Succinct) : conception minimaliste, adaptée aux preuves récursives, mais pas assez flexible.

ZKWasm : Réutilisation de l'écosystème WebAssembly, entièrement fonctionnel mais avec un coût d'apprentissage élevé et une grande consommation de ressources.

Pico a choisi une voie intermédiaire : ne plus rechercher l'universalité, mais plutôt fournir des "modèles de construction" structurés.
Les développeurs peuvent choisir de prouver l'arrière-plan, d'accélérer le circuit et le flux de travail, créant ainsi un zkVM personnalisé uniquement pour leur propre service.

➤La valeur réelle apportée par la modularité

Le zkVM universel semble puissant, mais dans la mise en œuvre réelle, il ralentit souvent le rythme.
Parce qu'il nécessite un cycle d'adaptation plus long, un déploiement plus complexe et plus de ressources de calcul.
Et des zkVM modulaires comme Pico apportent des avantages significatifs à trois niveaux :
>> Coûts plus maîtrisables : les développeurs utilisent des modules à la demande, économisant ainsi des ressources de calcul et de déploiement.
>> Développer plus rapidement : pas besoin de reconstruire tout le système de preuve, il est possible d'assembler un environnement fonctionnel en quelques jours.
>> Maintenance plus facile : les modules peuvent être mis à jour ou remplacés individuellement, évitant ainsi les pannes au niveau du système.
>> Écosystème plus ouvert : une structure modulable facilite l'intégration de protocoles externes, de calcul hors chaîne ou de modules d'IA.
Cela est particulièrement amical pour les DApps qui nécessitent une validation rapide des données off-chain. Par exemple, la vérification d'identité sur la chaîne, le règlement inter-chaînes, les résultats de raisonnement AI sur la chaîne, Pico peut fournir un support de preuve léger et personnalisé.

➤De "petits composants" à "nouveau paradigme"
Ne vous laissez pas tromper par le fait que Pico n'est qu'un "petit composant" dans le monde ZK, son importance est pourtant grande.
Cela transforme le zkVM de "boîte noire fermée" en "briques ouvertes", permettant aux développeurs de réellement prendre le contrôle.
L'environnement d'exécution zk de demain n'a pas besoin d'être vaste et complet, mais doit plutôt offrir la puissance de calcul juste nécessaire pour chaque type d'application.
Le Pico de @brevis_zk est en train de rendre cela possible.
Après l'ère du zkVM universel, peut-être que le zkVM modulaire est la véritable forme mature de la technologie ZK.
Il ne cherche pas à tout couvrir, mais à permettre à chaque application de disposer du moteur de calcul le plus approprié.

C'est la philosophie de conception derrière Pico :
Rendre le complexe assemblable, et permettre aux preuves à divulgation nulle de devenir réellement pratiques.
#Brevis #KAITO

@brevis_zk

@KaitoAI