Je lisais l'article récent de @SonicLabs sur la vérification formelle et le consensus DAG. Pour être honnête, c'est le genre de sujet qui me passionne vraiment, donc j'ai dû le simplifier et le partager pour une meilleure compréhension avec mes camarades nerds de Sooonic qui adorent les sujets techniques, les trucs de génie. D'abord, si tu te dis "Qu'est-ce que les DAG, mec, ça veut dire quoi ?" 🔷DAG (Graphique Acyclique Dirigé) : 🔹Chaque transaction est comme un nœud dans une énorme toile. 🔹Au lieu d'attendre des blocs, les transactions font directement référence à plusieurs transactions antérieures, ce qui permet à la toile de s'approfondir. 🔹Crée une structure ramifiée, en forme de toile, par rapport à la blockchain traditionnelle en style linéaire à bloc unique. 🔹Différents protocoles DAG sont actuellement utilisés (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark), chacun excelle dans différents domaines, pas de gagnant parfait (voir mon graphique Radar ci-dessous ⤵️) 🔷Maintenant, comment l'approche de Sonic est différente : Sonic a construit son propre protocole unique depuis zéro et a développé une bibliothèque de vérification qui prouve la correction à travers plusieurs protocoles DAG, y compris celui de Sonic (termes courts, trucs de génie👀) : 🔹Les validateurs créent des blocs d'événements faisant référence à plusieurs événements antérieurs. 🔹Utilise des élections superposées à travers les couches pour choisir des événements "leaders" pour la rapidité. 🔹Une fois élus comme leaders, les événements sont linéarisés dans la chaîne principale. 🔹Construit spécifiquement pour le BFT asynchrone (Tolérance aux pannes byzantines) et le PoS (sans mélanger DAG-rider, Hashgraph, etc.) 🔷Pourquoi cela a-t-il vraiment de l'importance : La plupart de la sécurité crypto aujourd'hui = "nous l'avons testé de manière approfondie, trouvé aucun bug... probablement sûr ?" 🤷‍♂️ Sonic utilise maintenant une PREUVE mathématique que le comportement non sécurisé est littéralement impossible. Pas "improbable", IMPOSSIBLE. Pas juste une probabilité mais c'est une certitude mathématique. Les chiffres sont fous : 14 mois-personnes de recherche en vérification formelle, maintenant open-source pour toute la communauté blockchain. Cela déplace toute l'industrie de "faites-nous confiance, nous avons testé" à "voici la preuve mathématique que ça fonctionne" en utilisant la vérification formelle TLA+. Ta crypto n'a toujours été aussi sûre que les mathématiques qui la sous-tendent, et maintenant nous avons LA MATHÉMATIQUE DES MATHÉMATIQUES MATH MATH pour cela. Un grand merci à @SonicAssistant pour avoir reposté l'article, sinon je l'aurais raté🤝 🔷Graphiques ci-dessous : 1⃣Mécanismes DAG généraux 2⃣5 capacités d'architecture DAG différentes 3⃣À propos de Sonic 4⃣Principales idées