Brevis publie le livre blanc de ProverNet, détaillant le premier marché décentralisé de génération de preuves à connaissance nulle
TechFlow SélectionTechFlow Sélection
Brevis publie le livre blanc de ProverNet, détaillant le premier marché décentralisé de génération de preuves à connaissance nulle
ProverNet sera officiellement lancé prochainement, et davantage de détails concernant sa mise en œuvre ainsi que le calendrier seront annoncés ultérieurement.
Dédié à des analyses Web3 approfondies
Selon les informations, Brevis a publié aujourd'hui le livre blanc de ProverNet, présentant son architecture de marché décentralisé pour la génération de preuves à connaissance nulle, issue de tests en environnement de production sur des protocoles multichaînes grand public. Ce système résout une limitation fondamentale des infrastructures de preuve existantes : l'incapacité à servir efficacement des travaux de calcul hétérogènes nécessitant différents matériels, systèmes de preuve et méthodes d'optimisation.
ProverNet considère la génération de preuves comme un marché à deux côtés, où des applications soumettent des demandes spécifiques et des prouveurs spécialisés enchérissent pour répondre à ces besoins. Ce marché fonctionne via un mécanisme TODA (Truthful Online Double Auction – enchère double en ligne véridique), conçu pour traiter simultanément plusieurs types de preuves tout en garantissant des offres honnêtes et une allocation optimale des ressources.
À l'échelle de la production : révéler les limites de l'infrastructure
L'infrastructure actuelle de Brevis a déjà généré plus de 124 millions de preuves pour 98 000 utilisateurs, couvrant des protocoles tels que PancakeSwap, Uniswap, Euler, Linea et MetaMask, permettant ainsi une distribution de récompenses sans confiance d'une valeur de 224 millions de dollars. Ces déploiements ont mis en évidence la diversité des travaux de preuve, que les architectures à fournisseur unique peinent à prendre en charge efficacement.
Le système de remise VIP de PancakeSwap exige la génération de preuves sub-seconde pour chaque trader avant chaque transaction afin de vérifier leur éligibilité. La distribution d'incitations d'Euler traite 100 000 adresses toutes les quatre heures, privilégiant le débit plutôt que la latence. Les activités écosystème de Linea ont généré 12,1 millions de preuves pour le calcul de récompenses multi-protocoles, impliquant 61 902 adresses. Chaque charge de travail requiert des configurations matérielles différentes, des systèmes de preuve (SNARKs vs STARKs) et des caractéristiques de performance distinctes.
Michael, PDG et cofondateur de Brevis, a déclaré :
Les systèmes de preuve actuels sont optimisés pour des cas d'utilisation spécifiques, par exemple certains rollups, machines virtuelles uniques ou types de tâches homogènes. ProverNet découle de notre observation selon laquelle les applications ont fondamentalement besoin de méthodes de preuve différentes. Un marché où des prouveurs spécialisés s'affrontent est plus efficace que tout opérateur unique tentant de desservir tous les cas d'utilisation.
Architecture du marché et mécanisme TODA
L'architecture de ProverNet traite les différents types de preuves comme des biens distincts dans une enchère. Les applications spécifient leurs exigences de preuve, incluant le type de traitement (exécution zkVM, preuve de données, agrégation récursive), la date limite, les frais maximaux et les paramètres de qualité. Le mécanisme TODA calcule à chaque tour une allocation optimale, associant les demandes hétérogènes aux capacités de preuve adaptées.
Ce mécanisme répond aux défis uniques du marché de génération de preuves. Contrairement aux mécanismes d'enchères traditionnels basés sur l'hypothèse d'homogénéité des biens, TODA peut gérer simultanément plusieurs types de preuves. Les tâches complexes sont décomposées en sous-tâches exécutées de manière collaborative par différents prouveurs.
Par exemple, une preuve zkVM pourrait impliquer la génération par blocs sur un prouveur, la compression sur un autre, l'agrégation sur un troisième, puis l'emballage final de vérification sur un quatrième système spécialisé.
TODA garantit plusieurs propriétés économiques :
- Vérité (la stratégie optimale consiste à enchérir honnêtement)
- Équilibre budgétaire (les frais perçus dépassent les paiements effectués)
- Rationalité individuelle (aucun participant n'accepte une tâche non rentable)
- Optimalité asymptotique (avec la croissance de l'offre de prouveurs, l'allocation tend vers l'efficacité maximale).
Le marché fonctionne sur Brevis Chain, une architecture rollup dédiée spécialement conçue pour coordonner les enchères. Cette architecture isole le débit du marché de la congestion des réseaux de niveau 1 ou de niveau 2, tout en préservant la transparence et la participation sans autorisation préalable. Les preuves générées via ProverNet peuvent être vérifiées sur n'importe quelle blockchain cible.
Fondations techniques : 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 destinés à répondre à différents besoins de calcul.
Pico zkVM adopte une architecture « cœur universel + coprocesseur haute performance », où un cœur minimaliste et très efficace est connecté à des accélérateurs cryptographiques spécialisés, permettant aux programmes d'obtenir une optimisation matérielle ciblée tout en exécutant une machine virtuelle stable.
Pico Prism a récemment atteint une couverture de preuve de 99,6 % pour des blocs Ethereum avec une limite de gaz de 45 millions, réalisant 96,8 % de ces preuves en moins de 12 secondes, avec un temps moyen de preuve de 6,9 secondes. Ce système utilise un cluster de 64×RTX 5090 GPU, réalisant des preuves en temps réel avec un coût matériel inférieur de 50 % par rapport au meilleur zkVM du marché auparavant.
Le coprocesseur de données ZK permet aux contrats intelligents d'accéder à des données historiques de la blockchain et d'exécuter des calculs hors chaîne vérifiables cryptographiquement.
Les applications prises en charge par ce système incluent notamment le taux VIP de PancakeSwap (vérification du volume de transactions sur 30 jours avant chaque transaction), la distribution de récompenses sans confiance d'Euler (traitement des soldes pondérés dans le temps de milliers d'adresses) et les cashbacks de routage d'Uniswap v4 (vérification de l'éligibilité aux transactions sans registre centralisé).
Ces intégrations illustrent les besoins spécifiques de preuve axés sur les données, distincts de la vérification de calculs généraux.
Ensemble, ces systèmes établissent la faisabilité économique de la validation cryptographique en temps réel à l'échelle de la couche fondamentale, tout en desservant les types de charges de travail hétérogènes qui motivent précisément l'architecture de marché ProverNet.
Impact sur l'écosystème ZK
ProverNet marque un passage d'une infrastructure à fournisseur unique vers une allocation des ressources pilotée par le marché. Les réseaux de prouveurs existants sont généralement optimisés pour des cas d'utilisation restreints (par exemple, preuves spécifiques à un rollup, à une machine virtuelle ou à des types de tâches homogènes), ce qui limite leur capacité à répondre efficacement à des besoins variés.
Le modèle d'enchères de marché permet aux équipes de prouveurs de se concentrer sur des objectifs d'optimisation spécifiques (traitement par lots basé sur STARK, preuves SNARK à faible latence, opérations cryptographiques particulières), sans avoir à construire une infrastructure généraliste, tandis que les applications bénéficient de prix compétitifs, d'une garantie d'accès au service, et ne subissent pas de verrouillage fournisseur.
Pour les développeurs, cela supprime le dilemme entre construire une infrastructure de preuve personnalisée (coûteuse et chronophage) ou dépendre de services centralisés (introduisant des hypothèses de confiance), car la validation cryptographique garantit la justesse du calcul, tandis que la concurrence du marché assure l'efficacité des prix et la disponibilité des capacités.
Disponibilité et informations supplémentaires
Le livre blanc complet de ProverNet est disponible à l'adresse suivante :http://www.brevis.network/whitepaper/provernet.pdf
Un aperçu technique concis est publié sur le blog de Brevis :https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/
ProverNet sera lancé prochainement, davantage de détails sur sa mise en œuvre et le calendrier seront annoncés ultérieurement.
À propos de Brevis
Brevis est une plateforme de calcul intelligent vérifiable qui offre une puissance de calcul illimitée aux blockchains de contrats intelligents existantes. Grâce aux preuves à connaissance nulle, Brevis transfère les calculs intensifs en données et coûteux de la chaîne vers des moteurs hors chaîne, permettant aux applications Web3 de s'étendre sans heurts tout en conservant la sécurité et la confiance inhérentes au niveau 1.
Bienvenue dans la communauté officielle TechFlow
Groupe Telegram :https://t.me/TechFlowDaily
Compte Twitter officiel :https://x.com/TechFlowPost
Compte Twitter anglais :https://x.com/BlockFlow_News
@brevis_zk
