Le projet blockchain Brevis repose sur le principe fondamental d'utiliser la technologie de preuve à connaissance zéro (ZK Proof) pour décharger les tâches de calcul intensif du traitement en chaîne vers un traitement hors chaîne, puis retourner une preuve mathématique concise en chaîne pour une vérification rapide et sans confiance. Cela réalise essentiellement la séparation entre le calcul et la vérification, fournissant aux contrats intelligents un "cerveau externe".

En termes simples, Brevis fonctionne comme un "coprocesseur" ou "accélérateur" de la blockchain, permettant aux contrats intelligents de traiter les tâches complexes qui seraient autrement impossibles en raison de coûts trop élevés ou de limitations techniques.

⚙ Flux de travail : comment cela fonctionne-t-il ?

Le flux de travail de Brevis peut être divisé en quatre étapes claires :

1. Initiation de la demande
Lorsqu'un contrat intelligent d'une application décentralisée (dApp) a besoin de traiter une grande quantité de données historiques ou d'exécuter des calculs complexes, il envoie une demande au réseau Brevis.

2. Calcul hors chaîne
Après avoir reçu la demande, le réseau de preuve décentralisé (ProverNet) de Brevis récupère les données nécessaires hors chaîne à partir d'une ou plusieurs blockchains et exécute les tâches de calcul. Ce processus n'est pas limité par le gaz en chaîne et peut utiliser des langages de programmation standard (comme Rust).

3. Génération de preuve
Une fois le calcul terminé, le réseau Brevis génère une preuve à connaissance zéro concise. Cette preuve garantit mathématiquement l'exactitude du processus de calcul et des résultats, sans révéler aucun détail des données d'origine.

4. Vérification en chaîne
Enfin, cette preuve est retournée au contrat intelligent de la dApp. Le contrat peut vérifier l'exactitude de cette preuve à un coût extrêmement bas et à une vitesse extrêmement rapide. Une fois la vérification réussie, le contrat utilise le résultat du calcul comme données de confiance pour exécuter la logique ultérieure.

L'ensemble du processus permet au contrat intelligent d'utiliser "en toute confiance" les résultats du calcul hors chaîne sans avoir à les réexécuter lui-même, ni à dépendre d'un tiers centralisé.

🧩 Composants fondamentaux : de quoi est-ce constitué ?

L'architecture technologique de Brevis est principalement composée de trois composants fondamentaux, qui soutiennent ensemble la fonctionnalité de sa "couche de calcul illimitée" :

* Pico zkVM (Moteur de preuve)
Il s'agit d'une machine virtuelle à connaissance zéro modulaire, responsable de l'exécution des calculs hors chaîne et de la génération de preuves. Son objectif de conception est la haute performance et la faible latence, capable de traiter rapidement d'énormes quantités de données blockchain (par exemple, la vitesse de génération de preuves pour les blocs Ethereum peut rivaliser avec la vitesse de création des blocs). Les développeurs peuvent construire des applications dessus en utilisant des langages de programmation familiers, sans avoir besoin de comprendre en profondeur la complexité sous-jacente des preuves à connaissance zéro.

* zkCoprocessor (Coprocesseur ZK)
Il s'agit de l'"interface de données" ou du "cerveau externe" du contrat intelligent. Il traite spécialement les requêtes et calculs complexes impliquant de grandes quantités de données historiques et de données inter-chaînes que les contrats intelligents ne peuvent pas compléter en chaîne.

* ProverNet (Réseau de preuve décentralisé)
Il s'agit d'un réseau composé de participants (prouveurs) qui contribuent leurs ressources informatiques (comme les GPU) pour exécuter les tâches de calcul et générer des preuves. Le réseau encourage la participation et assure la décentralisation et la sécurité par le biais d'un mécanisme similaire à la preuve d'enjeu (PoS).

🚀 Fonctionnalités principales : qu'est-ce que cela peut faire ?

Grâce aux principes et composants ci-dessus, Brevis résout deux douleurs fondamentales dans le domaine de la blockchain :

* Déverrouiller l'accès aux données historiques
Les contrats intelligents ne peuvent généralement accéder qu'à l'état actuel et ne peuvent pas consulter leur "historique". Brevis permet aux contrats d'accéder et de calculer en toute sécurité les données historiques arbitraires en chaîne, par exemple pour vérifier si un utilisateur est resté actif pendant une longue période.

* Réaliser l'interopérabilité des données inter-chaînes
Brevis permet aux dApp de consulter et d'utiliser en toute sécurité les données provenant de différentes blockchains. Par exemple, un protocole DeFi peut vérifier les actifs d'un utilisateur sur Ethereum pour décider s'il doit lui accorder un prêt sur BNB Chain.