Tweetin poisti sen kirjoittaja.
Mutta me tallensimme kaiken 🙂.
Bitcoin mielletään usein itsesäätelyksi - verkostoksi, jolla ei ole johtajaa, toimistoja tai keskitettyä valvontapistettä. Kaikki tämä on totta, mutta tässä hajautetussa järjestelmässä on silti yksi kriittinen tekijä: Bitcoin Core.
Tämä artikkeli on käännetty alkuperäisestä tekstistä. Lue kirjeenvaihtajamme alkuperäinen versio täältä.
Se on asiakasohjelma, joka tukee tuhansia solmuja ympäri maailmaa; se hallinnoi tapahtumien validointia, lohkojen käsittelyä ja konsensussääntöjä. Jotkut kutsuvat sitä "konepellin alla olevaksi ohjelmistoksi", ja monella tapaa se on todellakin Bitcoinin sydän. Tänä vuonna Bitcoin Core kävi ensimmäistä kertaa verkon historiassa läpi täydellisen julkisen kolmannen osapuolen auditoinnin.
Quarkslab käytti neljä kuukautta Bitcoin Coren koodipohjan analysointiin - ja tulokset osoittautuivat paitsi tärkeiksi myös ekosysteemin yleistä kypsyyttä kuvaaviksi.
Arvioinnissa keskityttiin asiakkaan arkaluonteisimpiin osiin: vertaisverkkokerrokseen, mempoolereihin, transaktioiden validointiin ja konsensuslogiikan osiin. Nämä ovat osia, joissa potentiaalisia haavoittuvuuksia esiintyy yleisimmin, koska ne ovat vuorovaikutuksessa ulkomaailman ja epäluotettavien tietojen kanssa.
Tarkistuksessa yhdistettiin manuaalista koodianalyysiä, dynaamista testausta ja laajaa fuzzing-tarkastelua, jossa simuloidaan tuhansia virheellisiä tai odottamattomia skenaarioita. Fuzzing on yksi tehokkaimmista menetelmistä piilossa olevien ongelmien paljastamiseksi, ja se auttoi vahvistamaan Bitcoin Coren yleistä testauskehystä.
Olennaista ei ole ainoastaan se, että tarkastuksessa ei löytynyt kriittisiä tai erittäin vakavia haavoittuvuuksia, vaan myös se, että se edisti uusia testaustyökaluja, jotka on nyt integroitu laajempaan kehitystyönkulkuun.
Quarkslab tutki vain osan koodista - ja se on odotettavissa. Koodipohja on valtava, eikä sitä ole mahdollista tarkistaa kokonaisuudessaan kerralla. Ennakkotapaus on kuitenkin luotu: tarkastuksia voidaan nyt toistaa, laajentaa ja tehdä niistä rutiininomaisia. Järjestelmässä, jonka tehtävänä on turvata maailmanlaajuinen pääoma, tämä ei ole vapaaehtoista - se on välttämätöntä.
Tarkastuksen ohella esiin nousee toinenkin tarina, joka on jo vuosia muistuttanut yhteisöä siitä, että tietoturva ulottuu paljon pelkkää koodia laajemmalle. Vuonna 2022 Luke Dashjr, yksi Bitcoinin kokeneimmista kehittäjistä, ilmoitti, että hänen järjestelmäänsä oli murtauduttu ja hänen lompakostaan oli nostettu yli 200 BTC.
Tämä tapaus ei järkyttänyt yhteisöä menetetyn summan vaan sen luonteen vuoksi. Kyseessä ei ollut Bitcoin Coren virhe tai protokollan haavoittuvuus. Ongelma syntyi täysin kehittäjän henkilökohtaisessa ympäristössä: hänen oma PGP-avaimensa - jota käytettiin arkaluonteisten tiedostojen allekirjoittamiseen ja niihin pääsyyn - oli vaarantunut.
Tapaukseen viitataan usein, ei varoituksena tai kritiikkinä, vaan osoituksena Bitcoinin turvallisuuden kerroksellisuudesta. Protokolla on toiminut luotettavasti 15 vuotta. Asiakas käy läpi jatkuvan sisäisen tarkastuksen - ja nyt myös ulkoisia tarkastuksia. Tämän lisäksi käyttäjillä ja kehittäjillä on yksityisiä avaimia. Yhdenkin kerroksen heikkous ei mitätöi muita kerroksia, mutta se osoittaa, miten tärkeää on suojata koko ketju.
Tarkastuksen tulokset vahvistavat sitä, mitä yhteisö on sanonut jo vuosia: Bitcoin Core on kypsä, konservatiivisesti suunniteltu järjestelmä, jota ylläpitävät kymmenet kehittäjät ja jonka useat organisaatiot ovat tarkastaneet. Se on Bitcoinin referenssitoteutus - standardi, jolla verkko toimii, ja ohjelmisto, joka turvaa triljoonien dollarien arvon.
Vaikka tarkastus kattoi vain osan koodipohjasta, se loi tärkeän ennakkotapauksen: ulkoisilla tarkastuksilla on merkitystä, ja niiden pitäisi tulla säännöllisiksi, etenkin kun uusia moduuleja tai kokeellisia ominaisuuksia ilmestyy tulevissa versioissa. Kuten monet kehittäjät huomauttavat, mitä useammat riippumattomat asiantuntijat tarkastavat koodin, sitä vahvemmaksi verkko tulee.
Tämä on erityisen tärkeää nyt, kun kvanttitason uhkia koskeva keskustelu on jälleen vilkastunut . Kuten useimmat lohkoketjut, Bitcoin perustuu elliptisten käyrien salaukseen. Se on murtumaton klassisille tietokoneille, mutta teoreettisesti haavoittuvainen Shorin kaltaisille kvantialgoritmeille. Jos rakennettaisiin riittävän tehokas kvanttikone, se voisi johtaa yksityiset avaimet paljastetuista julkisista avaimista - ei raa'alla voimalla vaan matemaattisten oikotien avulla.
Tässä yhteydessä Bitcoin Coren auditointi ei ainoastaan vahvistanut nykyisen toteutuksen kestävyyttä, vaan myös osoitti, että on tärkeää varautua haasteisiin, joita kymmenen vuotta sitten ei voitu kuvitellakaan.