Luin äskettäistä artikkelia @SonicLabs Formal Verification & DAG consensus TBH tämä on sellaista tavaraa, joka saa minut nörttimään kovasti, joten minun piti yksinkertaistaa sitä ja jakaa se ymmärtämisen helpottamiseksi Sooonic-nörteilleni, jotka rakastavat teknisiä kaninkoloja, gigaaivojuttuja Ensinnäkin, jos olet kuin "Wat DAGs do bro, wat mean?" 🔷DAG (suunnattu asyklinen kuvaaja): 🔹Jokainen transaktio on kuin solmu jättimäisessä af-verkossa 🔹Sen sijaan, että odottaisit lohkoja, tx:t viittaavat suoraan useisiin aikaisempiin, jolloin verkko menee syvemmälle 🔹Luo haarautuvan, verkkomaisen rakenteen verrattuna perinteiseen yhden lohkon lineaariseen lohkoketjuun 🔹Eri tällä hetkellä käytössä olevat DAG-protokollat (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark) ovat kukin erinomaisia eri alueilla, ei täydellistä voittajaa (katso tutkakaavioni alla ⤵️) 🔷Miten Sonicin lähestymistapa on erilainen: Sonic rakensi oman ainutlaatuisen protokollansa tyhjästä ja kehitti varmennuskirjaston, joka todistaa oikeellisuuden useissa DAG-protokollissa, mukaan lukien Sonicin (lyhyellä aikavälillä, gigaaivojutut):👀 🔹Validoijat luovat tapahtumalohkoja, jotka viittaavat useisiin aikaisempiin tapahtumiin 🔹 Käyttää päällekkäisiä vaaleja eri tasoilla "johtaja"-tapahtumien valitsemiseen nopeuden vuoksi 🔹 Kun tapahtumat on valittu johtajiksi, ne linearisoituvat pääketjuun 🔹 Rakennettu erityisesti asynkroniselle BFT:lle (Byzantine Fault Tolerance) ja PoS:lle (ei sekoita DAG-rideria, hashgraphia jne.) 🔷Miksi tällä on merkitystä: Suurin osa kryptoturvallisuudesta tänään = "testasimme sitä laajasti, emme löytäneet virheitä... luultavasti turvassa?" 🤷 ♂️ Sonic käytti nyt matemaattista todistusta, jonka mukaan vaarallinen käyttäytyminen on kirjaimellisesti mahdotonta. Ei "epätodennäköistä" MAHDOTONTA. Ei vain todennäköisyys, vaan se on matemaattinen varmuus Luvut ovat villejä: 14 henkilökuukautta muodollista varmennustutkimusta, joka on nyt avoimen lähdekoodin koko lohkoketjuyhteisölle. Tämä siirtää koko alan "luota meihin, testasimme meihin" -mallista "tässä on matemaattinen todiste, että se toimii" käyttämällä TLA+-muodollista todentamista. Kryptosi on aina ollut vain niin turvallinen kuin sen takana oleva matematiikka, ja nyt meillä on sitä varten MATHY MATH. Huuto @SonicAssistant artikkelin uudelleenjulkaisemisesta, muuten olisin missannut sen🤝 🔷Kaaviot alla: 1⃣Sisäisten neuvoa-antavien ryhmien yleiset mekanismit 2⃣5 erilaista DAG-arkkitehtuuriominaisuutta 3⃣Tietoja Sonicista 4⃣Keskeiset oivallukset