Citeam articolul recent din @SonicLabs Formal Verification & DAG consensus TBH, acesta este genul de lucruri care mă fac să fiu tocilar, așa că a trebuit să le simplific și să le împărtășesc pentru o înțelegere mai ușoară colegilor mei tocilari Sooonic care iubesc vizuinile tehnice de iepure, chestiile cu creierul giga În primul rând, dacă spui "Ce DAG-uri fac, frate, ce vrea să spună?" 🔷DAG (grafic aciclic direcționat): 🔹Fiecare tranzacție este ca un nod într-o rețea uriașă 🔹În loc să aștepte blocaje, txs face referire direct la mai multe blocuri anterioare, astfel web-ul merge mai adânc 🔹Creează o structură ramificată, asemănătoare web-ului, față de blockchain-ul tradițional în stil liniar cu un singur bloc 🔹Diferite protocoale DAG utilizate în prezent (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark) excelează fiecare în diferite domenii, nu există un câștigător perfect (vezi graficul meu radar de mai jos ⤵️) 🔷Acum, cum este diferită abordarea lui Sonic: Sonic și-a construit propriul protocol unic de la zero și a dezvoltat o bibliotecă de verificare care dovedește corectitudinea în mai multe protocoale DAG, inclusiv cel al👀 lui Sonic: 🔹Validatorii creează blocuri de evenimente care fac referire la mai multe evenimente anterioare 🔹 Utilizează alegeri suprapuse între straturi pentru a alege evenimentele "lider" pentru viteză 🔹 Odată aleși ca lideri, evenimentele sunt liniarizate în lanțul principal 🔹 Construit special pentru BFT asincron (Byzantine Fault Tolerance) și PoS (fără a amesteca DAG-rider, Hashgraph etc.) 🔷De ce contează acest lucru: Cea mai mare securitate cripto astăzi = "am testat-o pe larg, nu am găsit erori... probabil în siguranță?" 🤷 ♂️ Sonic a folosit acum proba matematică că comportamentul nesigur este literalmente imposibil. Nu este "improbabil" IMPOSIBIL. Nu doar probabilitate, ci și certitudine matematică Cifrele sunt sălbatice: 14 luni-persoană de cercetare formală de verificare, acum open-source pentru întreaga comunitate blockchain. Acest lucru schimbă întreaga industrie de la "aveți încredere în noi, am testat" la "iată dovada matematică că funcționează" folosind verificarea formală TLA+. Criptomoneda ta a fost întotdeauna la fel de sigură ca matematica din spatele ei, iar acum avem MATEMATICA MATEMATICII MATEMATICE pentru ea. Mulțumiri lui @SonicAssistant pentru repostarea articolului, altfel l-aș fi ratat🤝 🔷Graficele de mai jos: 1⃣Mecanisme generale ale DAG 2⃣5 capabilități diferite de arhitectură DAG 3⃣Despre Sonic 4⃣Informații cheie