Četl jsem nedávný článek z @SonicLabs konsenzu Formální verifikace a DAG. TBH tohle je ten druh věcí, které mě dělají geekem, takže jsem to musel zjednodušit a sdílet to pro snadnější pochopení s mými kolegy Sooonic nerdy, kteří milují technické králičí nory, giga mozkové věci Za prvé, pokud si říkáte "Co DAGy dělají, brácho, co tím myslíš?" 🔷DAG (orientovaný acyklický graf): 🔹Každá transakce je jako uzel v obrovské síti 🔹Místo čekání na bloky, txs přímo odkazují na několik dřívějších, tímto způsobem se web dostává hlouběji 🔹Vytváří rozvětvenou, webovou strukturu oproti tradičnímu blockchainu lineárního stylu s jedním blokem 🔹Různé DAG protokoly, které se v současné době používají (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark), každý vyniká v různých oblastech, žádný dokonalý vítěz (viz můj Radarový graf níže ⤵️) 🔷Nyní, jak se Sonicův přístup liší: Sonic vytvořil svůj vlastní jedinečný protokol od nuly a vyvinul ověřovací knihovnu, která dokazuje správnost napříč několika protokoly DAG, včetně Sonicova (zkráceně řečeno, giga brain stuff👀): 🔹Validátory vytvářejí bloky událostí odkazující na několik dřívějších událostí 🔹 Používá překrývající se volby napříč vrstvami k výběru "vůdčích" událostí pro rychlost 🔹 Jakmile jsou události zvoleny jako vůdci, jsou linearizovány do hlavního řetězce 🔹 Vytvořeno speciálně pro asynchronní BFT (byzantská odolnost proti chybám) a PoS (nemíchá DAG-rider, Hashgraph atd.) 🔷Proč je to vlastně důležité: Většina kryptografického zabezpečení dnes = "rozsáhle jsme to testovali, nenašli jsme žádné chyby... Pravděpodobně v bezpečí?" 🤷 ♂️ Sonic nyní použil matematický důkaz, že nebezpečné chování je doslova nemožné. Není to "nepravděpodobné" NEMOŽNÉ. Nejen pravděpodobnost, ale je to matematická jistota Čísla jsou divoká: 14 člověkoměsíců formálního ověřovacího výzkumu, nyní open-source pro celou blockchainovou komunitu. To posouvá celé odvětví od "věřte nám, testovali jsme" k "zde je matematický důkaz, že to funguje" pomocí formálního ověření TLA+. Vaše kryptoměna byla vždy jen tak bezpečná, jak bezpečná byla matematika za ní, a nyní pro ni máme THE MATH OF THE MATHY MATH MATH. Děkuji @SonicAssistant za opětovné zveřejnění článku, jinak bych o něj🤝 přišel 🔷Grafy níže: 1⃣Obecné mechanismy DAG 2⃣5 různých schopností architektury DAG 3⃣O společnosti Sonic 4⃣Klíčové poznatky