Actuellement, l'un des défis majeurs du secteur est sa limitation inhérente en matière de capacité de calcul. Pour garantir la Décentralisation et la sécurité, tous les nœuds du réseau doivent exécuter les mêmes calculs de manière répétée, ce qui entraîne des coûts élevés et une faible efficacité.

—————————————————————————

Pour résoudre ce paradoxe, @brevis_zk se positionne comme une couche de calcul illimité, visant à fournir de la puissance de calcul grâce à une méthode de calcul vérifiable "calcul hors chaîne, vérification sur chaîne", tout en maintenant sa sécurité sans confiance.

Le cœur de Brevis est le "calcul vérifiable", qui découple le processus de calcul du processus de vérification. Les tâches de calcul lourdes sont exécutées hors chaîne et génèrent une preuve ZK concise, tandis que le contrat intelligent sur la chaîne n'a besoin de vérifier la validité de cette preuve qu'à un coût très faible, sans avoir à répéter l'ensemble du processus de calcul.

Dans le processus de réalisation, Brevis a principalement adopté une architecture hybride unique, comprenant deux modules centraux : Pico zkVM et zkCoprocessor.

Pico zkVM (Machine virtuelle zéro connaissance universelle)

Moteur de calcul universel capable de générer des preuves ZK pour l'exécution de n'importe quel programme. Les développeurs qui ne connaissent pas la cryptographie peuvent également construire un environnement d'application ZK. Pico zkVM adopte un design hautement modulaire, permettant de connecter des coprocesseurs externes pour accélérer des tâches spécifiques.

zkCoprocessor (Co-processeur de données ZK)

Processeur d'appoint conçu pour les scénarios de données blockchain. Les contrats intelligents eux-mêmes ne peuvent pas accéder directement ou calculer l'état historique. Le zkCoprocessor lit et agrège les données historiques (telles que les transactions des utilisateurs, les soldes, les positions, etc.) hors chaîne et génère des preuves pour vérifier l'authenticité de ces données.

L'architecture "zkVM universel + processeur co-traitant spécialisé", alliant flexibilité et haute performance, permet à @brevis_zk de traiter efficacement une variété de tâches allant de l'analyse des données DeFi à la validation d'algorithmes complexes.

Avec l'amélioration continue des performances du Pico zkVM et l'expansion continue des cas d'utilisation du zkCoprocessor, Brevis est en train de passer de l'évolutivité à la vérifiabilité.