Nopean pow'n ainutlaatuisuuden tapaus tallium; tohtori Lopullisuudessa on kaksi liikkuvaa osaa: (i) nopea sisällyttäminen (= korkea bps, kuinka nopeasti tx pääsee lohkoon) ja (ii) nopeat vahvistukset (= kuinka nopeasti tx:stä tulee peruuttamaton). Mikä tahansa järjestelmä, jolla on nopea lohkotuotanto, voi saavuttaa ensimmäisen. Toinen on se, missä jännite näkyy: posissa nopeat vahvistukset painavat suoraan hajauttamista vastaan. Nopeassa pow'ssa nämä kaksi ominaisuutta on erotettu toisistaan. prologi Muutama viikko sitten törmäsin Solanan perustajaan, joka väitti: "Solana on maailman nopein rahajärjestelmä". Koska Kaspa toimii jo nopeammalla blokkausnopeudella, olin utelias tarkistamaan Solanan lopullisuusajat. Tämä uteliaisuus johti minut nopeasti syvempään ongelmaan: ei raakaan nopeuteen, vaan siihen, miten nopeus on vuorovaikutuksessa hajauttamisen kanssa. —————— Jännite on rakenteellinen. Posissa lopullisuus tarkoittaa panostettujen äänten keräämistä, ja mitä hajautetummin panosten jako on, sitä enemmän aikaa tarvitaan lopullisen tuloksen saavuttamiseen. Tässä en puhu laitteistovaatimuksista tai validaattorin teknisistä tiedoista. Akseli, josta keskustelen, on keskittäminen itse turvamekanismin ympärille: panos posissa vs. laitteisto pow:ssa. Ollakseen turvallinen, lohkon on vahvistettava ylivoimaisella enemmistöllä – tyypillisesti >66,7 % taloudellisesta kokonaispanoksesta. Aidosti hajautetussa verkossa, jossa n panostajaa, joilla on tasainen osuus, kasvaa rajattomasti, tämän superenemmistön koordinointiajasta tulee todellinen pullonkaula. Pow toimii eri tavalla. Se ottaa näytteitä laitteistotilasta ilman, että protokollan on nimenomaisesti kerättävä todisteita suurimmalta osalta louhijoita. Jokainen lohko on itsessään tilastollinen todiste siitä, että löytäjä kilpaili koko verkon hajautustehon kanssa. Tämä prosessi – ja sen ajoitus – pysyy riippumattomana siitä, kuinka monta yksittäistä louhijaa osallistuu. Ethereumin tutkijat ymmärsivät tämän siirtyessään pos:iin. Toisin kuin Solana, joka sietää keskittymistä saavuttaakseen ~13 sekunnin lopullisuuden, Ethereumin suunnittelijat eivät voineet hyväksyä tätä kompromissia. Heidän ratkaisunsa oli ottaa käyttöön kiertävät komiteat. Kiertävä komitea on pienempi validoijien osajoukko, joka valitaan satunnaisesti koko joukosta ja joka äänestää kaikkien muiden puolesta. Mutta tähän liittyy erilainen suojausmalli, joka tunnetaan kirjallisuudessa altistumisena BFT-mukautuvalle hyökkääjälle. Ensin valitaan valiokunta ja sen jälkeen äänestetään. Tämä "valitse sitten-työskentele" -sekvenssi on teoriassa alttiina adaptiivisille hyökkääjille, koska jäsenet ovat tiedossa etukäteen. Pow sitä vastoin on "työskentele ja valitse": voittaja paljastetaan vasta, kun työ on tehty. Ajattele asiaa näin: posissa tiedät ennen pelin alkua, ketkä ovat erotuomarit, mikä antaa hyökkääjälle aikaa painostaa heitä. Pow'ssa saat tietää, kuka voitti vasta, kun työ on jo tehty, mikä poistaa hyökkäyspinnan. Joten n vahvistusta tarjoaa johdonmukaisen luottamuksen louhijoiden rakeisuudesta riippumatta, ja järjestelmä pysyy turvallisena myös mukautuvassa kohdistuksessa. Hyökkäyksen hienouksien lisäksi todellinen ongelma on taloudellinen painoarvo. Kun lähetän miljardin dollarin siirron kassajärjestelmässä, minulle tärkeä kysymys on yksinkertainen: kuinka suuri panos todella turvaa sen? Valiokunnan äänestys antaa vahvaa tilastollista näyttöä, mutta vain todellinen ylivoimainen enemmistö asettaa verkoston täyden taloudellisen panoksen vahvistukseni taakse. Toisin sanoen otokseen valittu komitea voi vakuuttaa minut siitä, että asiat ovat luultavasti turvallisia, mutta vain koko panoksen paino antaa ylivoimaisen takuun. Ja juuri tässä pow loistaa: jokainen vahvistus ei ole vain todennäköisyysarvio, vaan suora todiste työstä, joka on tehty verkon täyttä hash-tehoa vastaan riippumatta siitä, kuinka monta louhijaa on. Loppuhuomautus En väitä tietäväni kaikkia Ethereumin tai Solanan teknisiä yksityiskohtia. Mutta olen vakuuttunut siitä, että ydinperiaate pitää paikkansa. Sanon sen yksinkertaisesti: nopea pow mahdollistaa ainutlaatuisesti nopean lopullisuuden pakottamatta tinkimään hajauttamisesta.