Читал недавнюю статью от @SonicLabs о формальной верификации и консенсусе DAG Честно говоря, это то, что заставляет меня сильно увлекаться, поэтому мне пришлось упростить это и поделиться для более легкого понимания с моими товарищами-нердами Sooonic, которые любят технические дебри, гигантские мозги Во-первых, если вы думаете: "Что такое DAG, брат, что это значит?" 🔷DAG (Ориентированный ациклический граф): 🔹Каждая транзакция — это как узел в гигантской паутине 🔹Вместо того чтобы ждать блоков, транзакции напрямую ссылаются на несколько предыдущих, так что паутина становится глубже 🔹Создает разветвленную, паутиноподобную структуру в отличие от традиционного линейного стиля блокчейна с одним блоком 🔹Разные протоколы DAG в настоящее время используются (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark), каждый из которых превосходит в разных областях, нет идеального победителя (смотрите мою диаграмму Радар ниже ⤵️) 🔷Теперь, чем подход Sonic отличается: Sonic создал свой уникальный протокол с нуля и разработал библиотеку верификации, которая доказывает правильность по нескольким протоколам DAG, включая Sonic (краткие термины, гигантские мозги👀): 🔹Валидаторы создают блоки событий, ссылаясь на несколько предыдущих событий 🔹Использует перекрывающиеся выборы по слоям для выбора "лидеров" событий для скорости 🔹После выбора в качестве лидеров события линейно интегрируются в основную цепь 🔹Создано специально для асинхронного BFT (Битантинская устойчивость к сбоям) и PoS (не смешивая DAG-rider, Hashgraph и т.д.) 🔷Почему это действительно важно: Большинство криптозащиты сегодня = "мы тщательно протестировали, не нашли ошибок... вероятно, безопасно?" 🤷‍♂️ Sonic теперь использует математическое ДОКАЗАТЕЛЬСТВО того, что небезопасное поведение буквально невозможно. Не "маловероятно", а Невозможно. Не просто вероятность, а математическая уверенность Цифры впечатляют: 14 человеко-месяцев формальных исследований верификации, теперь с открытым исходным кодом для всего сообщества блокчейна. Это меняет всю индустрию с "доверяйте нам, мы протестировали" на "вот математическое доказательство, что это работает" с использованием формальной верификации TLA+. Ваша криптовалюта всегда была так же безопасна, как математика, стоящая за ней, и теперь у нас есть МАТЕМАТИКА МАТЕМАТИКИ МАТЕМАТИКИ для этого. Привет @SonicAssistant за перепост статьи, иначе я бы пропустил это🤝 🔷диаграммы ниже: 1⃣Общие механизмы DAG 2⃣5 различных возможностей архитектуры DAG 3⃣О Sonic 4⃣Ключевые идеи