Brevis publie le livre blanc de ProverNet, détaillant le premier marché décentralisé de génération de preuves à connaissance nulle

Guide de Chainfeeds :

ProverNet sera officiellement lancé prochainement, davantage de détails sur la mise en œuvre et le calendrier seront annoncés ultérieurement.

Source de l'article :

Auteur de l'article :

Brevis

Opinion :

Brevis : L’architecture de ProverNet considère différents types de preuves comme des biens distincts dans une vente aux enchères. Les applications spécifient les exigences de preuve, y compris le type de traitement (exécution zkVM, preuve de données, agrégation récursive), la date limite, les frais maximums et les paramètres de qualité. Le mécanisme TODA calcule à chaque tour l’allocation optimale, associant les demandes hétérogènes aux capacités de preuve appropriées. Ce mécanisme répond aux défis uniques du marché de la génération de preuves. Les mécanismes d’enchères traditionnels reposent sur l’hypothèse d’homogénéité des biens, alors que TODA peut gérer simultanément plusieurs types de preuves. Les tâches de preuve complexes sont décomposées en sous-tâches, exécutées en collaboration par différents prouveurs. Par exemple, une preuve zkVM peut impliquer la génération de blocs sur un prouveur, la compression sur un autre, l’agrégation sur un troisième, et enfin l’encapsulation de la vérification finale sur un quatrième système dédié. TODA garantit plusieurs propriétés économiques : véracité (la stratégie optimale est d’enchérir honnêtement) ; équilibre budgétaire (les frais perçus dépassent les frais payés) ; rationalité individuelle (aucun participant n’accepte une tâche non rentable) et optimalité asymptotique (à mesure que l’offre de prouveurs augmente, l’allocation tend vers une efficacité maximale). ProverNet est construit sur l’infrastructure de preuve existante de Brevis, qui comprend deux produits complémentaires pour répondre à différents besoins de calcul. Pico zkVM adopte une architecture « cœur universel + coprocesseur haute performance », où un cœur minimaliste et efficace est connecté à un accélérateur cryptographique dédié, permettant ainsi à un programme de bénéficier d’optimisations matérielles ciblées tout en exécutant une machine virtuelle stable. Pico Prism a récemment atteint une couverture de preuve de 99,6 % pour les blocs Ethereum avec une limite de gas de 45 millions, réalisant 96,8 % des preuves en 12 secondes, avec un temps moyen de preuve de 6,9 secondes. Ce système utilise un cluster de 64×RTX 5090 GPU, permettant une preuve en temps réel à un coût matériel inférieur de 50 % à celui du meilleur zkVM du marché. Le coprocesseur de données ZK permet aux smart contracts d’accéder à l’historique des données de la blockchain et d’effectuer des calculs off-chain vérifiables de manière cryptographique. Les applications prises en charge incluent le taux VIP de PancakeSwap (vérification du volume de transactions sur 30 jours avant la transaction), la distribution de récompenses sans confiance d’Euler (gestion des soldes pondérés dans le temps pour des milliers d’adresses) et le rebate de routage d’Uniswap v4 (vérification de l’éligibilité des transactions sans registre centralisé), entre autres. Ces intégrations illustrent des besoins en preuves axées sur les données, différents de la vérification de calculs génériques. Ensemble, ces systèmes établissent la viabilité économique de la vérification cryptographique en temps réel à l’échelle de la couche de base, tout en répondant aux types de charges de travail hétérogènes qui motivent l’architecture de marché de ProverNet. ProverNet représente une transition de l’infrastructure à fournisseur unique de preuves vers une allocation de ressources basée sur la demande du marché. Les réseaux de prouveurs existants sont généralement optimisés pour des cas d’utilisation étroits (par exemple, preuves spécifiques à un Rollup, à une machine virtuelle, ou à des tâches homogènes), ce qui limite leur capacité à répondre efficacement à des besoins diversifiés. Le modèle d’enchères de marché permet aux équipes de prouveurs de se concentrer sur des objectifs d’optimisation spécifiques (batching basé sur STARK, preuve SNARK à faible latence, opérations cryptographiques particulières), sans avoir à construire une infrastructure universelle, tandis que les applications bénéficient de prix compétitifs et de garanties de service, sans être soumises au verrouillage fournisseur. Pour les développeurs, cela élimine le dilemme entre construire une infrastructure de preuve personnalisée (coûteuse et longue) et dépendre de services centralisés (introduisant des hypothèses de confiance), car la vérification cryptographique garantit la justesse du calcul, tandis que la concurrence du marché assure l’efficacité des prix et la disponibilité des capacités.