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
199
0
Innholdet på denne siden er levert av tredjeparter. Med mindre annet er oppgitt, er ikke OKX forfatteren av de siterte artikkelen(e) og krever ingen opphavsrett til materialet. Innholdet er kun gitt for informasjonsformål og representerer ikke synspunktene til OKX. Det er ikke ment å være en anbefaling av noe slag og bør ikke betraktes som investeringsråd eller en oppfordring om å kjøpe eller selge digitale aktiva. I den grad generativ AI brukes til å gi sammendrag eller annen informasjon, kan slikt AI-generert innhold være unøyaktig eller inkonsekvent. Vennligst les den koblede artikkelen for mer detaljer og informasjon. OKX er ikke ansvarlig for innhold som er vert på tredjeparts nettsteder. Beholdning av digitale aktiva, inkludert stablecoins og NFT-er, innebærer en høy grad av risiko og kan svinge mye. Du bør nøye vurdere om handel eller innehav av digitale aktiva passer for deg i lys av din økonomiske tilstand.