Estava lendo o artigo recente de @SonicLabs Verificação Formal e consenso DAG TBH, esse é o tipo de coisa que me deixa muito nerd, então tive que simplificar e compartilhar para facilitar a compreensão de meus colegas nerds Sooonic que amam as tocas de coelho técnicas, coisas de cérebro giga Em primeiro lugar, se você é como "Wat DAGs do bro, wat mean?" 🔷DAG (Gráfico Acíclico Direcionado): 🔹Cada transação é como um nó em uma teia gigante 🔹Em vez de esperar por blocos, os txs fazem referência direta a vários anteriores, dessa forma a web se aprofunda 🔹Cria uma estrutura ramificada, semelhante à web, em comparação com o blockchain tradicional de estilo linear de bloco único 🔹Diferentes protocolos DAG atualmente em uso (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark) se destacam em diferentes áreas, nenhum vencedor perfeito (veja meu gráfico de radar abaixo ⤵️) 🔷Agora, como a abordagem de Sonic é diferente: Sonic construiu seu próprio protocolo exclusivo do zero e desenvolveu uma biblioteca de verificação que prova a correção em vários protocolos DAG, incluindo o Sonic (curto prazo, giga👀 coisas do cérebro): 🔹Os validadores criam blocos de eventos que fazem referência a 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 (Byzantine Fault Tolerance) e PoS (não misturando DAG-rider, Hashgraph, etc.) 🔷Por que isso realmente importa: A maior parte da segurança criptográfica hoje = "testamos extensivamente, não encontramos bugs... provavelmente seguro?" 🤷 ♂️ Sonic agora usava a prova matemática de que o comportamento inseguro é literalmente impossível. Não é "improvável" IMPOSSÍVEL. Não apenas probabilidade, mas é certeza matemática Os números são selvagens: 14 pessoas-mês de pesquisa de verificação formal, agora de código aberto para toda a comunidade blockchain. Isso muda toda a indústria de "confie em nós, nós testamos" para "aqui está a prova matemática de que funciona" usando a verificação formal TLA+. Sua criptomoeda 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 ela. grite para @SonicAssistant por repostar o artigo, caso contrário, eu teria perdido🤝 🔷gráficos abaixo: 1⃣Mecanismos gerais do GCI 2⃣5 recursos diferentes de arquitetura DAG 3⃣Sobre o Sonic 4⃣Principais insights