Ik was aan het lezen over het recente artikel van @SonicLabs over formele verificatie en DAG-consensus. Om eerlijk te zijn, dit is het soort dingen waar ik echt enthousiast van word, dus ik moest het vereenvoudigen en delen voor een beter begrip voor mijn mede Sooonic nerds die houden van technische diepgang, giga brein dingen. Ten eerste, als je denkt: "Wat zijn DAG's, bro, wat betekent dat?" 🔷DAG (Directed Acyclic Graph): 🔹Elke transactie is als een knooppunt in een enorme web. 🔹In plaats van te wachten op blokken, verwijzen transacties direct naar meerdere eerdere transacties, zodat het web dieper gaat. 🔹Creëert een vertakkende, webachtige structuur in tegenstelling tot de traditionele lineaire blockchain met enkele blokken. 🔹Verschillende DAG-protocollen zijn momenteel in gebruik (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark) die elk uitblinken in verschillende gebieden, geen perfecte winnaar (zie mijn Radar-diagram hieronder ⤵️) 🔷Nu, hoe Sonic's aanpak anders is: Sonic heeft hun eigen unieke protocol vanaf nul gebouwd en een verificatiebibliotheek ontwikkeld die de correctheid bewijst over meerdere DAG-protocollen, inclusief Sonic's (korte termen, giga brein dingen👀): 🔹Validators creëren gebeurtenisblokken die verwijzen naar verschillende eerdere gebeurtenissen. 🔹Gebruikt overlappende verkiezingen over lagen om "leider"-gebeurtenissen te kiezen voor snelheid. 🔹Eenmaal gekozen als leiders, worden gebeurtenissen gelinialiseerd in de hoofdketen. 🔹Specifiek gebouwd voor Asynchrone BFT (Byzantine Fault Tolerance) en PoS (niet mengen met DAG-rider, Hashgraph, enz.) 🔷Waarom dit er echt toe doet: De meeste crypto-beveiliging vandaag = "we hebben het uitgebreid getest, geen bugs gevonden... waarschijnlijk veilig?" 🤷‍♂️ Sonic gebruikt nu wiskundig BEWIJS dat onveilige gedragingen letterlijk onmogelijk zijn. Niet "onwaarschijnlijk" MAAR ONMOGELIJK. Niet alleen waarschijnlijkheid, maar het is wiskundige zekerheid. De cijfers zijn wild: 14 persoon-maanden van formeel verificatieonderzoek, nu open-source voor de hele blockchain-gemeenschap. Dit verschuift de hele industrie van "vertrouw ons, we hebben getest" naar "hier is het wiskundige bewijs dat het werkt" met behulp van TLA+ formele verificatie. Je crypto was altijd alleen zo veilig als de wiskunde erachter, en nu hebben we DE WISKUNDE VAN DE WISKUNDIGE WISKUNDE WISKUNDE ervoor. Shoutout naar @SonicAssistant voor het opnieuw plaatsen van het artikel, anders had ik het gemist🤝 🔷Diagrammen hieronder: 1⃣Algemene DAG-mechanismen 2⃣5 verschillende mogelijkheden van DAG-architecturen 3⃣Over Sonic 4⃣Belangrijke inzichten.