Czytałem ostatnio artykuł od @SonicLabs na temat formalnej weryfikacji i konsensusu DAG. Szczerze mówiąc, to jest dokładnie to, co sprawia, że mocno geekuję, więc musiałem to uprościć i podzielić się tym, aby moi koledzy nerdzi Sooonic, którzy uwielbiają techniczne zawirowania, mogli łatwiej to zrozumieć, giga mózgowe sprawy. Po pierwsze, jeśli myślisz: "Co to są DAGi, stary, co to znaczy?" 🔷DAG (Skierowany Graf Acykliczny): 🔹Każda transakcja jest jak węzeł w ogromnej sieci 🔹Zamiast czekać na bloki, transakcje bezpośrednio odnoszą się do wielu wcześniejszych, dzięki czemu sieć staje się głębsza 🔹Tworzy rozgałęzioną, sieciową strukturę w porównaniu do tradycyjnego liniowego stylu blockchaina z pojedynczym blokiem 🔹Różne protokoły DAG są obecnie w użyciu (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark), każdy z nich wyróżnia się w różnych obszarach, nie ma idealnego zwycięzcy (zobacz mój wykres Radar poniżej ⤵️) 🔷Jak podejście Sonic różni się od innych: Sonic zbudował swój własny unikalny protokół od podstaw i opracował bibliotekę weryfikacyjną, która dowodzi poprawności w różnych protokołach DAG, w tym Sonic (krótkoterminowe, giga mózgowe sprawy👀): 🔹Walidatorzy tworzą bloki zdarzeń odnoszące się do kilku wcześniejszych zdarzeń 🔹Używa nakładających się wyborów w różnych warstwach, aby wybrać "liderów" zdarzeń dla szybkości 🔹Po wyborze jako liderzy, zdarzenia są liniowo włączane do głównego łańcucha 🔹Zbudowane specjalnie dla asynchronicznego BFT (tolerancja błędów bizantyjskich) i PoS (nie mieszając z DAG-rider, Hashgraph itp.) 🔷Dlaczego to ma znaczenie: Większość bezpieczeństwa kryptowalut dzisiaj = "przetestowaliśmy to dokładnie, nie znaleźliśmy błędów... prawdopodobnie bezpieczne?" 🤷‍♂️ Sonic teraz używa matematycznego DOWODU, że niebezpieczne zachowanie jest dosłownie niemożliwe. Nie "mało prawdopodobne", ale NIEMOŻLIWE. Nie tylko prawdopodobieństwo, ale to matematyczna pewność. Liczby są szalone: 14 osobomiesięcy badań formalnej weryfikacji, teraz open-source dla całej społeczności blockchain. To przesuwa całą branżę z "ufaj nam, przetestowaliśmy" na "oto matematyczny dowód, że to działa" przy użyciu formalnej weryfikacji TLA+. Twoja kryptowaluta była zawsze tak bezpieczna, jak matematyka, która za nią stoi, a teraz mamy MATEMATYKĘ MATEMATYKI MATEMATYKI MATEMATYKI dla niej. Podziękowania dla @SonicAssistant za udostępnienie artykułu, inaczej bym go przegapił🤝 🔷wykresy poniżej: 1⃣Ogólne mechanizmy DAG 2⃣5 różnych możliwości architektury DAG 3⃣O Sonic 4⃣Kluczowe spostrzeżenia