Stavo leggendo l'articolo recente di @SonicLabs sulla Verifica Formale e il consenso DAG A dire il vero, questo è il tipo di cose che mi fa impazzire, quindi ho dovuto semplificarlo e condividerlo per una comprensione più facile con i miei compagni nerd di Sooonic che amano i tunnel tecnici, roba da giga cervello Prima di tutto, se sei tipo "Cosa sono i DAG, bro, cosa significa?" 🔷DAG (Grafico Acyclico Diretto): 🔹Ogni transazione è come un nodo in una gigantesca rete 🔹Invece di aspettare i blocchi, le tx fanno riferimento direttamente a più transazioni precedenti, in questo modo la rete si approfondisce 🔹Crea una struttura ramificata, simile a una rete, rispetto alla tradizionale blockchain lineare a blocco singolo 🔹Diversi protocolli DAG attualmente in uso (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark) eccellono in diverse aree, nessun vincitore perfetto (vedi il mio grafico Radar qui sotto ⤵️) 🔷Ora, come si differenzia l'approccio di Sonic: Sonic ha costruito il proprio protocollo unico da zero e ha sviluppato una libreria di verifica che dimostra la correttezza attraverso più protocolli DAG, incluso Sonic (cose a breve termine, roba da giga cervello👀): 🔹I validatori creano blocchi di eventi che fanno riferimento a diversi eventi precedenti 🔹Utilizza elezioni sovrapposte tra i livelli per scegliere eventi "leader" per velocità 🔹Una volta eletti come leader, gli eventi vengono linearizzati nella catena principale 🔹Costruito specificamente per BFT Asincrono (Tolleranza ai Guasti Byzantine) e PoS (non mescolando DAG-rider, Hashgraph, ecc.) 🔷Perché questo è davvero importante: La maggior parte della sicurezza cripto oggi = "l'abbiamo testata ampiamente, non abbiamo trovato bug... probabilmente è sicura?" 🤷‍♂️ Sonic ora utilizza una PROVA matematica che il comportamento non sicuro è letteralmente impossibile. Non "improbabile" IMPOSSIBILE. Non solo probabilità, ma è certezza matematica I numeri sono incredibili: 14 mesi-persona di ricerca sulla verifica formale, ora open-source per l'intera comunità blockchain. Questo sposta l'intera industria da "fidati di noi, abbiamo testato" a "ecco la prova matematica che funziona" utilizzando la verifica formale TLA+. La tua cripto è sempre stata sicura solo quanto la matematica che la sostiene, e ora abbiamo LA MATEMATICA DELLA MATEMATICA MATEMATICA per questo. Un saluto a @SonicAssistant per aver ripubblicato l'articolo, altrimenti me lo sarei perso🤝 🔷grafici qui sotto: 1⃣Meccanismi generali DAG 2⃣5 diverse capacità di architettura DAG 3⃣Informazioni su Sonic 4⃣Principali intuizioni