Brevis dévoile le livre blanc de ProverNet : le premier marché décentralisé de preuves zero-knowledge

By: blockbeats|2026/03/29 13:16:45
0
Partager
copy
Source: Brevis

Brevis a publié aujourd'hui le livre blanc de ProverNet, introduisant son architecture de marché décentralisé pour la génération de preuves zero-knowledge, dérivée de tests réels dans un environnement de production multi-chain. Ce système répond à une limite majeure des infrastructures de preuve actuelles : l'incapacité à servir efficacement des charges de travail informatiques hétérogènes nécessitant des matériels, des systèmes de preuve et des méthodes d'optimisation différents.

ProverNet considère la génération de preuves comme un marché bilatéral, où les applications soumettent des requêtes spécifiques et où des prouveurs spécialisés enchérissent pour répondre à ces besoins. Le marché fonctionne via un mécanisme d'enchères doubles en ligne honnêtes (TODA), conçu pour gérer plusieurs types de preuves simultanément tout en garantissant des enchères honnêtes et une allocation optimale des ressources. ProverNet prévoit un lancement d'ici fin 2025.

L'échelle de production révèle les limites de l'infrastructure

L'infrastructure actuelle de Brevis a généré plus de 124 millions de preuves pour 98 000 utilisateurs, couvrant des protocoles tels que PancakeSwap, Uniswap, Euler, Linea et MetaMask, facilitant 224 millions de dollars de distribution de récompenses sans confiance. Ces déploiements ont mis en évidence la diversité du travail de preuve, rendant difficile pour une architecture de fournisseur unique de servir efficacement tous les cas.

Le système de réduction de frais VIP de PancakeSwap nécessite de générer des preuves en moins d'une seconde pour chaque trader avant chaque transaction pour vérifier l'éligibilité. La distribution d'incitations d'Euler traite 100 000 adresses toutes les quatre heures, privilégiant le débit à la latence. L'activité de l'écosystème Linea a généré 12,1 millions de preuves pour le calcul de récompenses multi-protocoles impliquant 61 902 adresses. Chaque charge de travail nécessite des configurations matérielles, des systèmes de preuve (SNARKs vs STARKs) et des caractéristiques de performance différents.

Michael, PDG et co-fondateur de Brevis, a déclaré : "Les systèmes de preuve existants sont optimisés pour des cas d'utilisation spécifiques, tels que certains Rollups, des machines virtuelles uniques ou des types de charges de travail homogènes. La création de ProverNet découle de notre observation que les applications nécessitent fondamentalement des approches de preuve différentes. Un marché où des prouveurs spécialisés sont en concurrence est plus efficace que n'importe quel opérateur unique tentant de servir tous les cas d'utilisation."

Architecture de marché et mécanisme TODA

L'architecture de ProverNet traite différents types de preuves comme des produits différents dans une enchère. Les applications spécifient les exigences de preuve, y compris les types de traitement (exécution zkVM, preuves de données, agrégation récursive), les délais, les frais maximums et les paramètres de qualité. Le mécanisme TODA calcule l'allocation optimale à chaque tour, faisant correspondre les requêtes hétérogènes avec des capacités de preuve appropriées.

Ce mécanisme répond à un défi unique du marché de la génération de preuves. Les mécanismes d'enchères traditionnels reposent sur l'hypothèse de biens homogènes, tandis que le TODA est capable de gérer plusieurs types de preuves simultanément. Les tâches de preuve complexes sont décomposées en sous-tâches, exécutées collaborativement par différents prouveurs.

Par exemple, une preuve zkVM peut impliquer le découpage sur un prouveur, la compression sur un autre, l'agrégation sur un troisième, et enfin la validation de l'emballage sur un quatrième système spécialisé.

Le TODA garantit plusieurs propriétés économiques :

Sincérité (la stratégie optimale est d'enchérir honnêtement)

Équilibre budgétaire (les frais collectés dépassent les frais payés)

Rationalité individuelle (aucun participant n'accepte de tâches non rentables)

Optimalité asymptotique (à mesure que l'offre de prouveurs augmente, l'allocation approche une efficacité maximale).

Ce marché fonctionne sur la Brevis Chain, une architecture de Rollup dédiée conçue spécifiquement pour la coordination des enchères. Cette architecture isole le débit du marché de la congestion du réseau Layer 1 ou Layer 2 tout en maintenant la transparence et une participation sans permission. Les preuves générées via ProverNet peuvent être validées sur n'importe quelle blockchain cible.

Pico zkVM et preuve en temps réel

ProverNet s'appuie sur l'infrastructure de preuve existante de Brevis, qui comprend deux produits complémentaires pour répondre à différents besoins informatiques.

Pico zkVM adopte une architecture "cœur général + coprocesseur haute performance", où un cœur ultra-efficace est connecté à un accélérateur cryptographique dédié, permettant aux programmes d'exécuter une machine virtuelle stable tout en bénéficiant d'optimisations matérielles ciblées.

Pico Prism a récemment atteint une couverture de preuve de 99,6 % d'un bloc Ethereum avec une limite de gas de 45 millions, complétant 96,8 % des preuves en 12 secondes, avec un temps de preuve moyen de 6,9 secondes. Le système utilise un cluster GPU 64×RTX 5090 et réalise des preuves en temps réel à un coût matériel 50 % inférieur par rapport au zkVM leader du marché précédent.

Le coprocesseur de données ZK permet aux smart contract d'accéder aux données historiques de la blockchain et d'effectuer des calculs vérifiables hors chaîne.

Les applications prises en charge par ce système incluent le taux VIP de PancakeSwap (vérification pré-transaction de 30 jours de volume trading), la distribution de récompenses sans confiance d'Euler (traitement des soldes pondérés dans le temps de milliers d'adresses) et les remises sur route d'Uniswap v4 (vérification de l'éligibilité des transactions sans registre centralisé).

Ces intégrations démontrent les exigences de preuve intensives en données qui diffèrent de la vérification de calcul à usage général.

Ensemble, ces systèmes établissent la faisabilité économique de la vérification cryptographique en temps réel au niveau de la couche fondamentale tout en servant les types de charges de travail hétérogènes qui incitent l'architecture de marché de ProverNet.

Prix de --

--

Impact sur l'écosystème ZK

ProverNet représente un passage d'une infrastructure de fournisseur de preuve unique à une allocation de ressources axée sur le marché. Les réseaux de prouveurs existants sont généralement optimisés pour des cas d'utilisation étroits (par exemple, des preuves de Rollup spécifiques, des machines virtuelles spécifiques ou des types de travail homogènes), limitant leur capacité à servir efficacement des demandes diverses.

Le modèle d'enchères de marché permet aux équipes de preuve de se concentrer sur des objectifs d'optimisation spécifiques (par exemple, traitement par lots basé sur STARK, preuves SNARK à faible latence, opérations cryptographiques spécifiques) sans avoir besoin de construire une infrastructure générique. Les applications peuvent ensuite bénéficier de prix compétitifs et de garanties de service sans être soumises au verrouillage fournisseur.

Pour les développeurs, cela élimine le dilemme consistant à équilibrer la construction d'une infrastructure de preuve personnalisée (coûteuse et longue) et le recours à des services centralisés (introduisant des hypothèses de confiance) car la vérification cryptographique garantit l'exactitude du calcul tandis que la concurrence du marché garantit l'efficacité des prix et la disponibilité des ressources.

Plus d'informations

Le livre blanc complet de ProverNet est disponible à l'adresse suivante : http://www.brevis.network/whitepaper/provernet.pdf

Un aperçu technique concis a été publié sur le blog de Brevis : https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/

Cet article est un contenu contribué et ne représente pas les vues de BlockBeats.

Vous pourriez aussi aimer