Läste upp den senaste artikeln från @SonicLabs Formal Verification & DAG-konsensus TBH det här är den typ av saker som gör mig nördig hårt så jag var tvungen att förenkla det och dela det för en lättare förståelse till mina kollegor Sooonic nördar som älskar tekniska kaninhål, giga hjärna grejer För det första, om du är som "Wat DAGs do bro, wat mean?" 🔷DAG (riktad acyklisk graf): 🔹Varje transaktion är som en nod i ett gigantiskt nät 🔹Istället för att vänta på block refererar txs direkt till flera tidigare, på så sätt går webben djupare 🔹Skapar en förgrenad, webbliknande struktur jämfört med traditionell blockkedja med ett block i linjär stil 🔹Olika DAG-protokoll som för närvarande används (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark) utmärker sig var och en på olika områden, ingen perfekt vinnare (se mitt radardiagram nedan ⤵️) 🔷Nu, hur Sonics tillvägagångssätt är annorlunda: Sonic byggde sitt eget unika protokoll från grunden och utvecklade ett verifieringsbibliotek som bevisar korrekthet över flera DAG-protokoll, inklusive Sonics (korta termer, giga-hjärngrejer👀): 🔹Validerare skapar händelseblock som refererar till flera tidigare händelser 🔹 Använder överlappande val över lager för att välja "ledare"-händelser för hastighet 🔹 När de väl har valts till ledare linjäriseras händelserna in i huvudkedjan 🔹 Byggd speciellt för Asynchronous BFT (Byzantine Fault Tolerance) och PoS (blandar inte DAG-rider, Hashgraph, etc.) 🔷Varför detta faktiskt är viktigt: Mest kryptosäkerhet idag = "Vi testade det utförligt, hittade inga buggar... Förmodligen säkert?" 🤷 ♂️ Sonic använde nu matematiskt bevis på att osäkert beteende är bokstavligen omöjligt. Inte "osannolikt" OMÖJLIGT. Inte bara sannolikhet utan det är matematisk säkerhet Siffrorna är vilda: 14 personmånader av formell verifieringsforskning, nu öppen källkod för hela blockchain-communityt. Detta skiftar hela branschen från "lita på oss, vi testade" till "här är det matematiska beviset att det fungerar" med hjälp av TLA+ formell verifiering. Din krypto var alltid bara lika säker som matematiken bakom den, och nu har vi THE MATH OF THE MATHY MATH MATH för den. shoutout till @SonicAssistant för att reposta artikeln annars skulle jag ha missat det🤝 🔷diagram nedan: 1⃣Allmänna mekanismer för inhemska rådgivande grupper 2⃣5 olika funktioner för DAG-arkitektur 3⃣Märkesinformation för Sonic 4⃣Viktiga insikter