Estava a ler o artigo recente da @SonicLabs sobre Verificação Formal e consenso DAG Para ser sincero, este é o tipo de coisa que me faz entusiasmar muito, por isso tive que simplificá-lo e partilhá-lo para uma melhor compreensão dos meus colegas nerds da Sooonic que adoram as complexidades técnicas, coisas de cérebro gigante Primeiro, se você está tipo "O que são DAGs, mano, o que significa?" 🔷DAG (Grafo Acíclico Direcionado): 🔹Cada transação é como um nó numa enorme teia 🔹Em vez de esperar por blocos, as transações referenciam diretamente várias anteriores, assim a teia se aprofunda 🔹Cria uma estrutura ramificada, semelhante a uma teia, em vez do estilo linear de blockchain de bloco único tradicional 🔹Diferentes protocolos DAG atualmente em uso (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark) cada um se destaca em áreas diferentes, não há um vencedor perfeito (veja meu gráfico Radar abaixo ⤵️) 🔷Agora, como a abordagem da Sonic é diferente: A Sonic construiu seu próprio protocolo único do zero e desenvolveu uma biblioteca de verificação que prova a correção em vários protocolos DAG, incluindo o da Sonic (coisas de curto prazo, cérebro gigante👀): 🔹Os validadores criam blocos de eventos referenciando vários eventos anteriores 🔹 Usa eleições sobrepostas entre camadas para escolher eventos "líderes" para velocidade 🔹 Uma vez eleitos como líderes, os eventos são linearizados na cadeia principal 🔹 Construído especificamente para BFT Assíncrono (Tolerância a Falhas Bizantinas) e PoS (não misturando DAG-rider, Hashgraph, etc.) 🔷Por que isso realmente importa: A maior parte da segurança cripto hoje = "testámos extensivamente, não encontramos bugs... provavelmente seguro?" 🤷‍♂️ A Sonic agora usou PROVA matemática de que comportamentos inseguros são literalmente impossíveis. Não "improvável", IMPOSSÍVEL. Não apenas probabilidade, mas é certeza matemática Os números são impressionantes: 14 meses-pessoa de pesquisa de verificação formal, agora open-source para toda a comunidade blockchain. Isso muda toda a indústria de "confie em nós, testámos" para "aqui está a prova matemática de que funciona" usando verificação formal TLA+. A sua cripto sempre foi tão segura quanto a matemática por trás dela, e agora temos A MATEMÁTICA DA MATEMÁTICA MATEMÁTICA para isso. Agradecimentos ao @SonicAssistant por republicar o artigo, caso contrário, eu teria perdido 🤝 🔷gráficos abaixo: 1⃣Mecanismos gerais de DAG 2⃣5 capacidades diferentes de arquitetura DAG 3⃣Sobre a Sonic 4⃣Principais insights