Définir le Standard de
L'Ingénierie Web3

Abstract—La recherche suggère que les fonctions aléatoires vérifiables (VRF) sont des primitives cryptographiques essentielles pour les mécanismes de consensus blockchain. Cette étude fournit une implémentation complète et une analyse des VRF avec données additionnelles sur diverses courbes elliptiques, incluant Bandersnatch, Ed25519, secp256k1 et BLS12-381. Les résultats ont montré des améliorations significatives de l'efficacité de vérification lors de l'utilisation d'optimisations spécifiques aux courbes. Les constructions Ring VRF utilisant les engagements KZG ont été comparées aux approches traditionnelles, atteignant une vérification sous la milliseconde pour des anneaux jusqu'à 1024 membres.

Abstract—Ce travail explore divers protocoles de disponibilité des données modulaires, analysant leur performance, sécurité et évolutivité dans les environnements blockchain. Nous présentons une comparaison systématique des principales solutions de disponibilité des données incluant Celestia, EigenDA, Avail et des implémentations propriétaires. Notre méthodologie englobe l'analyse théorique des schémas de codage à effacement, la mesure empirique de l'efficacité d'échantillonnage et la vérification formelle des garanties de sécurité.

Abstract—Dans ce papier, nous explorons des solutions de mise à l'échelle pour les signatures en anneau afin de permettre une authentification préservant la confidentialité à grande échelle. Notre approche exploite les structures d'arbres de Verkle combinées avec des arguments de produit interne pour obtenir des tailles de preuve logarithmiques tout en maintenant des garanties d'anonymat inconditionnelles. Nous présentons une nouvelle construction qui permet des tailles d'anneau dépassant 10^6 membres avec une vérification en temps constant.

Abstract—Ce papier présente un cadre complet pour la conception de réseaux de résolveurs dans les protocoles d'échange décentralisés basés sur l'intention. Nous analysons la dynamique de théorie des jeux entre les résolveurs en compétition pour remplir les intentions des utilisateurs, proposant de nouveaux mécanismes d'enchères qui maximisent la qualité d'exécution tout en empêchant la collusion. Notre modèle intègre des considérations MEV inter-domaines, le timing des enchères par lots et les systèmes de réputation des résolveurs.

Abstract—Nous proposons un nouveau cadre de chiffrement à seuil pour atténuer la Valeur Extractible Maximale (MEV) dans l'ordonnancement des transactions blockchain. Notre construction emploie une génération de clé distribuée parmi les validateurs combinée avec des puzzles timelock pour assurer que le contenu de la transaction reste chiffré jusqu'à ce que l'ordonnancement soit finalisé. Nous analysons les incitations économiques pour les validateurs sous divers scénarios de collusion et prouvons que notre schéma atteint une résistance au MEV sous des hypothèses de majorité honnête.

Abstract—Ce papier développe un modèle complet de théorie des jeux pour la fourniture optimale de liquidité dans les AMM à liquidité concentrée tels qu'Uniswap v3. Nous dérivons des solutions de forme fermée pour la sélection optimale de la plage de tick sous divers régimes de volatilité et structures de niveaux de frais. Notre analyse révèle que les LP rationnels forment un équilibre de Nash à des niveaux de concentration prévisibles, et nous quantifions les implications de bien-être de ce comportement stratégique.