Great Tldr.
New consensus coming soonic.
MATHS MATHS MATHS.
(“maths” is better than “math” you Americans).
Was reading up on the recent article from @SonicLabs Formal Verification & DAG consensus
TBH this is the kind of stuff that makes me geek out hard so I had to simplify it and share it for an easier understanding to my fellow Sooonic nerds who love the technical rabbit holes, giga brain stuff
Firstly if you're like "Wat DAGs do bro, wat mean?"
🔷DAG (Directed Acyclic Graph):
🔹Each transaction is like a node in a giant af web
🔹Instead of waiting for blocks, txs directly reference multiple earlier ones, that way the web goes deeper
🔹Creates a branching, web-like structure vs traditional single block linear style blockchain
🔹Different DAG protocols currently in use (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark) each excel in different areas, no perfect winner (see my Radar chart below ⤵️)
🔷Now, how Sonic's Approach is Different:
Sonic built their own unique protocol from scratch and developed a verification library that proves correctness across multiple DAG protocols, including Sonic's(short terms, giga brain stuff👀):
🔹Validators create event blocks referencing several earlier events
🔹 Uses overlapping elections across layers to choose "leader" events for speed
🔹 Once elected as leaders, events get linearized into the main chain
🔹 Built specifically for Asynchronous BFT (Byzantine Fault Tolerance) and PoS (not mixing DAG-rider, Hashgraph, etc.)
🔷Why This Actually Matters:
Most crypto security today = "we tested it extensively, found no bugs... probably safe?" 🤷♂️
Sonic now used mathematical PROOF that unsafe behavior is literally impossible. Not "unlikely" IMPOSSIBLE. Not just probability but it's mathematical certainty
The numbers are wild: 14 person-months of formal verification research, now open-source for the entire blockchain community.
This shifts the entire industry from "trust us, we tested" to "here's the mathematical proof it works" using TLA+ formal verification.
Your crypto was always only as safe as the math behind it, and now we have THE MATH OF THE MATHY MATH MATH for it.
shoutout to @SonicAssistant for reposting the article otherwise I would have missed it🤝
🔷charts below:
1⃣General DAG mechanisms
2⃣5 different DAG architecture capabilities
3⃣About Sonic
4⃣Key insights
244
0
Innehållet på den här sidan tillhandahålls av tredje part. Om inte annat anges är OKX inte författare till den eller de artiklar som citeras och hämtar inte någon upphovsrätt till materialet. Innehållet tillhandahålls endast i informationssyfte och representerar inte OKX:s åsikter. Det är inte avsett att vara ett godkännande av något slag och bör inte betraktas som investeringsrådgivning eller en uppmaning att köpa eller sälja digitala tillgångar. I den mån generativ AI används för att tillhandahålla sammanfattningar eller annan information kan sådant AI-genererat innehåll vara felaktigt eller inkonsekvent. Läs den länkade artikeln för mer detaljer och information. OKX ansvarar inte för innehåll som finns på tredje parts webbplatser. Innehav av digitala tillgångar, inklusive stabila kryptovalutor och NFT:er, innebär en hög grad av risk och kan fluktuera kraftigt. Du bör noga överväga om handel med eller innehav av digitala tillgångar är lämpligt för dig mot bakgrund av din ekonomiska situation.