Читав нещодавню статтю від @SonicLabs Formal Verification & DAG consensus TBH, це ті речі, які змушують мене сильно виходити з себе, тому мені довелося спростити їх і поділитися ними для легшого розуміння з моїми колегами-ботаніками, які люблять технічні кролячі нори, речі для гіга-мозку По-перше, якщо ви такі: «Ват DAGs do bro, wat mean?» 🔷DAG (спрямований ациклічний граф): 🔹Кожна транзакція схожа на вузол у гігантській павутині 🔹Замість того, щоб чекати блоків, txs безпосередньо посилаються на кілька попередніх, таким чином Інтернет стає глибшим 🔹Створює розгалужену, веб-подібну структуру в порівнянні з традиційним одноблоковим лінійним стилем блокчейну 🔹Різні протоколи DAG, які використовуються в даний час (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark), кожен з них досягає успіху в різних областях, не є ідеальним переможцем (див. мою радарну діаграму нижче ⤵️) 🔷Тепер про те, чим відрізняється підхід Соніка: Компанія Sonic створила свій власний унікальний протокол з нуля і розробила бібліотеку верифікації, яка доводить правильність роботи в декількох протоколах DAG, включаючи протоколи Sonic (короткі терміни, гіга-мозкові матеріали👀): 🔹Валідатори створюють блоки подій, що посилаються на кілька більш ранніх подій 🔹 Використовує вибори, що перекриваються, на різних рівнях, щоб швидко вибирати "лідерські" події 🔹 Після обрання лідерами події лінеаризуються в основний ланцюжок 🔹 Створений спеціально для асинхронних BFT (візантійська відмовостійкість) та PoS (не змішує DAG-райдер, Hashgraph тощо) 🔷Чому це насправді важливо: Більшість криптовалют безпеки сьогодні = "ми ретельно перевірили це, не знайшли жодних помилок... Напевно, в безпеці?» 🤷 ♂️ Тепер Сонік використовував математичний ДОКАЗ того, що небезпечна поведінка буквально неможлива. Не "малоймовірно" НЕМОЖЛИВО. Не просто ймовірність, а математична впевненість Цифри дикі: 14 людино-місяців офіційних досліджень верифікації, які тепер мають відкритий вихідний код для всієї блокчейн-спільноти. Це зміщує всю індустрію від «повірте нам, ми перевірили» до «ось математичний доказ, що це працює» за допомогою формальної перевірки TLA+. Ваша криптовалюта завжди була такою ж безпечною, як і математика, що стоїть за нею, і тепер у нас є THE MATH OF THE MATHY MATH MATH MATH для неї. крик @SonicAssistant за репост статті, інакше я б її🤝 пропустив 🔷Діаграми нижче: 1⃣Загальні механізми DAG 2⃣5 різних можливостей архітектури DAG 3⃣Про Соніка 4⃣Ключові висновки