PoVF : Autonomiser les systèmes de blockchain décentralisés avec le consensus de fonction vérifiable

Informations de base

• ID de l'article : 2501.01146
• Titre : PoVF: Empowering Decentralized Blockchain Systems with Verifiable Function Consensus
• Auteurs : Chenxi Xiong, Ting Yang, Yu Wang, Bing Dong (Université des sciences et technologies électroniques de Chine)
• Classification : cs.CR (Cryptographie et sécurité)
• Date de publication : 3 janvier 2025 (Préimpression)
• Lien de l'article : https://arxiv.org/abs/2501.01146

Résumé

Les mécanismes de consensus constituent la technologie fondamentale garantissant l'exécution séquentielle des transactions dans la blockchain, déterminant le degré de décentralisation, la sécurité et l'efficacité de la blockchain. Les mécanismes existants présentent tous certains problèmes de centralisation, incapables d'assurer la décentralisation du réseau blockchain. Cet article propose un mécanisme de consensus équitable basé sur des fonctions vérifiables — la preuve de fonction vérifiable (PoVF) — exploitant la vérifiabilité et l'imprévisibilité des fonctions vérifiables. PoVF fournit un mécanisme d'équité suffisante, garantissant que tous les nœuds du réseau blockchain ont des chances égales de participer au consensus. De plus, une structure de « tampon de délai » est proposée pour assurer l'exécution séquentielle des transactions, en évitant les bifurcations de blockchain causées par la confusion de diffusion et d'exécution des transactions par le biais d'un délai de sélection de bloc. Les expériences montrent que la blockchain basée sur PoVF peut traiter jusqu'à 4000 TPS sur des nœuds configurés avec un processeur 4 cœurs, atteignant une valeur minimale de coefficient de Gini de 0,39 pour mesurer le degré de décentralisation.

Contexte de recherche et motivation

Définition du problème

1. Problème de centralisation : Les mécanismes de consensus existants (tels que PoW, PoS) présentent tous une tendance à la centralisation ; PoW se centralise en raison de l'émergence de pools de minage, tandis que PoS entraîne l'effet Matthieu où les riches deviennent plus riches en raison de l'agrégation de jetons
2. Compromis entre efficacité et décentralisation : Les mécanismes existants ont du mal à fournir une efficacité de traitement suffisante des transactions tout en garantissant la décentralisation
3. Défis de sécurité : PoS est vulnérable aux attaques à long terme, aux attaques de perte de participation et autres menaces de sécurité

Importance de la recherche

La valeur fondamentale de la blockchain réside dans sa décentralisation, mais en réalité, la plupart des systèmes blockchain font face à des problèmes de centralisation. Par exemple, Solana a connu plusieurs pannes en raison de son architecture centralisée, Aptos ne dispose que de 120 nœuds validateurs, et aucun de ces systèmes ne peut être considéré comme véritablement décentralisé.

Limitations des approches existantes

• PoW : Consommation énergétique excessive, centralisation due aux pools de minage
• PoS : Effet Matthieu prononcé, problèmes de sécurité plus nombreux
• DPoS/PBFT : Essentiellement des solutions centralisées ou semi-centralisées
• Schémas basés sur le vote : Difficiles à appliquer aux grands réseaux, plus adaptés aux chaînes de consortium

Contributions principales

1. Proposition du mécanisme de consensus PoVF : Combinaison de la fonction aléatoire vérifiable (VRF) et de la fonction de délai vérifiable (VDF) pour réaliser un véritable consensus décentralisé
2. Conception d'un mécanisme d'ajustement de probabilité dynamique : Ajustement dynamique du nombre de nœuds de consensus via la formule prob(n) = min(Ω/n, 1.0)
3. Introduction d'une structure de tampon de délai : Résolution du problème de bifurcation de blockchain causé par la latence réseau
4. Implémentation d'un mécanisme de battement cardiaque de type PoW : Mécanisme de prévention des attaques Sybil basé sur VDF, garantissant « un CPU un vote »
5. Fourniture de preuves de sécurité : Analyse de sécurité formelle contre les attaques Sybil, les attaques d'oracle et les attaques par rejeu
6. Réalisation de hautes performances : Atteinte de 4×10³ TPS dans un réseau de 200 nœuds, avec un coefficient de Gini de seulement 0,39

Détails de la méthode

Définition de la tâche

Concevoir un mécanisme de consensus décentralisé pour la blockchain satisfaisant :

• Entrée : Tous les nœuds du réseau blockchain
• Sortie : Sous-ensemble de nœuds de consensus sélectionnés pour chaque cycle de consensus
• Contraintes : Assurer l'équité, la sécurité et l'efficacité

Architecture principale

1. Conception du cycle de consensus

PoVF définit les cycles de consensus basés sur le calcul VDF :

y = x^(2^T) mod N

où T est le paramètre de temps, chaque T cycles de calcul constituant un cycle de consensus, produisant une sortie imprévisible pour la sélection de nœuds.

2. Algorithme de sélection de nœuds

def node_selection(xn, p_prime, sk):
    (r, π) = VRFEval(sk, xn)  # Utilisation de la sortie VDF comme entrée VRF
    p = r / (2^randlen)        # Calcul de la position de probabilité
    isConsensus = (p <= p_prime)  # Détermination si le nœud est un nœud de consensus
    return isConsensus

3. Ajustement de probabilité dynamique

prob(n) = min(Ω/n, 1.0)

où n est le nombre de nœuds actifs actuels et Ω est le nombre maximal attendu de nœuds de consensus.

4. Mécanisme de tampon de délai

• Les nœuds maintiennent une structure d'arbre de blocs
• Sélection du bloc optimal selon le tuple ⟨timestamp, count⟩
• Confirmation du bloc après un délai fixe pour éviter les bifurcations

5. Mécanisme de battement cardiaque

• Enregistrement de nœud : x' ← h(pk||st), diffusion de ⟨pk, x', st⟩
• Calcul VDF : Calcul continu de (xi, πi) ← VDFEval(pp, xi-1)
• Diffusion de battement cardiaque : Diffusion périodique de ⟨pk, xi, πi⟩
• Gestion des délais d'expiration : Les nœuds non mis à jour au-delà de tmax sont considérés comme invalides

Points d'innovation technique

1. Fusion de double fonction vérifiable : VDF garantit l'imprévisibilité, VRF garantit la vérifiabilité et l'aléatoire
2. Consensus adaptatif : Ajustement dynamique du nombre de nœuds de consensus, adaptation aux changements d'échelle du réseau
3. Synchronisation temporelle : Synchronisation d'horloge distribuée basée sur NTP, garantissant la cohérence des horodatages
4. Conception anti-attaque : Prévention des attaques Sybil par la caractéristique de calcul en série du VDF

Configuration expérimentale

Environnement expérimental

• Nombre de nœuds : 200 nœuds
• Configuration matérielle : Processeur 4 cœurs, mémoire 4 Go
• Hauteur du tampon de délai : 32
• Nombre de tours VDF : 10^7
• Probabilité de sélection VRF : 10%

Indicateurs d'évaluation

1. TPS : TPS moyen et TPS instantané
2. Coefficient de Gini : Mesure du degré de décentralisation
3. Écart-type : Mesure de la dispersion de la distribution des propositions de blocs
4. Décalage de synchronisation d'horloge : Évaluation de l'efficacité de la synchronisation d'horloge distribuée
5. Consommation de ressources : Utilisation du processeur et de la mémoire

Méthodes de comparaison

Bitcoin, Ethereum, Solana, Cardano, Aptos et autres systèmes blockchain courants

Résultats expérimentaux

Performance

• TPS moyen : 1,5×10³
• TPS de pointe : 4,3×10³
• Temps de consensus moyen : 2 secondes/bloc
• Décalage de synchronisation d'horloge : Maximum ne dépassant pas 900 ms

Comparaison de décentralisation

Consommation de ressources

• Utilisation du processeur : Proche de 100% (atteinte de la limite de traitement)
• Utilisation de la mémoire : Inférieure à 1 Go
• Distribution de blocs : Chaque nœud propose en moyenne 13 blocs valides, distribution relativement uniforme

Analyse de sécurité

Preuves de sécurité formelles

1. Résistance aux attaques Sybil

Définition 1 (Résistance Sybil) : Le système PoVF est résistant aux attaques Sybil si la probabilité de succès de tout adversaire polynomial A dans l'expérience suivante est négligeable :

• L'adversaire A possède νA processeurs
• A génère n paires de clés, chaque identité nécessitant un temps t pour compléter le calcul VDF
• Lorsque n > νA, A ne peut pas compléter le calcul de toutes les identités dans le temps t

Preuve : Basée sur la caractéristique de calcul en série du VDF de Wesolowski, νA processeurs complétant n identités nécessitent un temps tn/νA, exigeant que chaque identité soit complétée dans le temps t, ce qui implique n ≤ νA.

2. Résistance aux attaques d'oracle

Définition 2 (Imprévisibilité) : Si aucun adversaire polynomial A ne peut prédire à l'avance la sortie VDF pour présélectionner des paires de clés valides, le mécanisme de sélection de nœuds est imprévisible.

Preuve : Par réduction au jeu IND-VDF, prouvant que la sortie VDF est indistinguible d'un nombre pseudo-aléatoire.

3. Résistance aux attaques par rejeu

Définition 3 (Résistance au rejeu) : Si l'adversaire A ne peut pas réenregistrer en utilisant le même x', le système est résistant au rejeu.

Preuve : Basée sur la résistance aux collisions de SHA-256, différents horodatages produisent différentes graines d'enregistrement.

Travaux connexes

Principaux domaines de recherche

1. Améliorations basées sur PoW : Comme Conflux utilisant une structure DAG pour augmenter le débit
2. Variantes basées sur PoS : DPoS, VPoS, etc., mais présentant toujours des problèmes de centralisation
3. Consensus basés sur le vote : VDC, RDV, PoV, etc., adaptés aux chaînes de consortium
4. Basés sur des fonctions vérifiables : R3V, Algorand, etc., mais n'exploitant pas pleinement l'imprévisibilité

Avantages de cet article

• Exploitation complète des caractéristiques combinées de VDF et VRF
• Fourniture d'une analyse de sécurité complète
• Réalisation d'une véritable décentralisation (coefficient de Gini le plus bas)
• Vérification de la faisabilité dans les grands réseaux

Conclusion et discussion

Conclusions principales

1. PoVF réalise un véritable mécanisme de consensus décentralisé, avec un coefficient de Gini de seulement 0,39
2. Tout en garantissant la décentralisation, il fournit des performances élevées, avec un TPS de pointe atteignant 4×10³
3. La sécurité du système est assurée par des preuves formelles
4. Le mécanisme de tampon de délai résout efficacement le problème de bifurcation causé par la latence réseau

Limitations

1. Analyse insuffisante du tampon de délai : Nécessite une analyse plus détaillée de l'impact de l'échelle du réseau, de la taille des blocs, etc.
2. Mesure unique de l'équité : Utilise uniquement le coefficient de Gini et l'écart-type, sans considérer d'autres facteurs tels que les mécanismes d'incitation
3. Précision de la synchronisation d'horloge : Le décalage de 900 ms peut ne pas être suffisamment précis pour certains scénarios d'application
4. Échelle expérimentale limitée : Testé uniquement dans un réseau de 200 nœuds, les performances sur les grands réseaux restent à vérifier

Directions futures

1. Calcul précis du tampon de délai : Établissement d'un modèle mathématique pour analyser la hauteur de délai optimale
2. Mesure d'équité intégrée : Construction d'indicateurs d'équité objectifs combinant plusieurs facteurs
3. Synchronisation d'horloge haute précision : Implémentation d'algorithmes de synchronisation d'horloge distribuée plus précis
4. Vérification sur grands réseaux : Vérification des performances sur des réseaux de milliers ou même dizaines de milliers de nœuds

Évaluation approfondie

Points forts

1. Contribution théorique significative : Première combinaison systématique de VDF et VRF pour le consensus blockchain
2. Analyse de sécurité complète : Preuves de sécurité formelles couvrant les principaux types d'attaques
3. Évaluation expérimentale suffisante : Test non seulement de la performance, mais aussi quantification du degré de décentralisation via le coefficient de Gini
4. Implémentation technique complète : Fourniture d'une implémentation open-source, renforçant la reproductibilité
5. Définition claire du problème : Identification précise des problèmes de centralisation des mécanismes de consensus existants

Insuffisances

1. Innovativité relativement limitée : VDF et VRF sont des technologies existantes, la contribution principale réside dans leur application combinée
2. Échelle expérimentale insuffisante : L'échelle de test de 200 nœuds est relativement petite, difficile de vérifier les performances sur les grands réseaux
3. Comparaison incomplète : Les comparaisons avec d'autres blockchains reposent principalement sur des données publiques, manquant d'un environnement de test unifié
4. Modèle économique absent : Manque de discussion détaillée sur les mécanismes d'incitation et l'économie des jetons
5. Considérations de déploiement insuffisantes : Manque d'analyse approfondie des problèmes pratiques tels que l'hétérogénéité du réseau et l'ajout/suppression dynamique de nœuds

Impact

1. Valeur académique : Fournit de nouvelles perspectives et méthodes pour la recherche sur les mécanismes de consensus blockchain
2. Valeur pratique : Potentiel d'application dans les scénarios exigeant un haut degré de décentralisation
3. Promotion technologique : Favorise le développement de l'application des fonctions vérifiables dans le domaine blockchain

Scénarios d'application

1. Systèmes de chaînes publiques : Adapté aux blockchains publiques exigeant une décentralisation extrême
2. Amélioration de chaînes de consortium : Peut être utilisé pour améliorer le degré de décentralisation des chaînes de consortium existantes
3. Blockchain IoT : Adapté aux scénarios avec un grand nombre de nœuds et une capacité de calcul limitée
4. Infrastructure financière : Adapté aux applications financières nécessitant une équité et une transparence élevées

Références

L'article cite 31 références pertinentes couvrant le consensus blockchain, les fonctions vérifiables, les systèmes distribués et d'autres domaines importants, fournissant une base théorique solide pour la recherche.

Évaluation globale : Cet article apporte une contribution importante au domaine des mécanismes de consensus blockchain. En combinant intelligemment VDF et VRF, il propose une solution de consensus véritablement décentralisée avec une analyse de sécurité complète et une vérification expérimentale. Bien qu'il y ait des domaines d'amélioration, la qualité globale est élevée et il a une signification positive pour promouvoir le développement de la technologie blockchain.