Ich habe den aktuellen Artikel von @SonicLabs über formale Verifikation und DAG-Konsens gelesen. Um ehrlich zu sein, das ist genau das, was mich richtig begeistert, also musste ich es vereinfachen und teilen, damit meine Mit-Soonic-Nerds, die die technischen Abgründe und das giga-gehirn Zeug lieben, es leichter verstehen können. Zuerst, wenn du denkst: "Was sind DAGs, Bro, was bedeutet das?" 🔷DAG (Directed Acyclic Graph): 🔹Jede Transaktion ist wie ein Knoten in einem riesigen Netz. 🔹Anstatt auf Blöcke zu warten, verweisen Transaktionen direkt auf mehrere frühere, sodass das Netz tiefer wird. 🔹Schafft eine verzweigte, netzartige Struktur im Vergleich zum traditionellen linearen Blockchainsystem. 🔹Verschiedene DAG-Protokolle sind derzeit in Gebrauch (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark), die jeweils in verschiedenen Bereichen hervorragend sind, kein perfekter Gewinner (siehe mein Radar-Diagramm unten ⤵️) 🔷Jetzt, wie sich Sonics Ansatz unterscheidet: Sonic hat ihr eigenes einzigartiges Protokoll von Grund auf neu entwickelt und eine Verifikationsbibliothek erstellt, die die Korrektheit über mehrere DAG-Protokolle hinweg beweist, einschließlich Sonics (kurze Begriffe, giga-gehirn Zeug👀): 🔹Validatoren erstellen Ereignisblöcke, die auf mehrere frühere Ereignisse verweisen. 🔹Verwendet überlappende Wahlen über Schichten, um "Führer"-Ereignisse für Geschwindigkeit auszuwählen. 🔹Sobald sie als Führer gewählt sind, werden die Ereignisse in die Hauptkette linearisiert. 🔹Speziell für asynchrone BFT (Byzantine Fault Tolerance) und PoS (nicht mit DAG-Rider, Hashgraph usw. vermischen). 🔷Warum das tatsächlich wichtig ist: Die meisten Krypto-Sicherheiten heute = "Wir haben es umfassend getestet, keine Fehler gefunden... wahrscheinlich sicher?" 🤷‍♂️ Sonic hat jetzt mathematische BEWEISE verwendet, dass unsicheres Verhalten buchstäblich unmöglich ist. Nicht "unwahrscheinlich", sondern UNMÖGLICH. Nicht nur Wahrscheinlichkeit, sondern mathematische Gewissheit. Die Zahlen sind verrückt: 14 Personenmonate formale Verifikationsforschung, jetzt Open Source für die gesamte Blockchain-Community. Das verschiebt die gesamte Branche von "Vertraue uns, wir haben getestet" zu "Hier ist der mathematische Beweis, dass es funktioniert" unter Verwendung von TLA+ formaler Verifikation. Deine Krypto war immer nur so sicher wie die Mathematik dahinter, und jetzt haben wir DIE MATHEMATIK DER MATHEMATIK. Ein Dankeschön an @SonicAssistant für das Reposten des Artikels, sonst hätte ich es verpasst🤝 🔷Diagramme unten: 1⃣Allgemeine DAG-Mechanismen 2⃣5 verschiedene DAG-Architekturfähigkeiten 3⃣Über Sonic 4⃣Wichtige Erkenntnisse