"Salaliittoteoreetikot" olivat taas oikeassa!

Brasilian keskuspankin digitaalisen valuutan, Real Digitalin, pilottiprojekti mahdollistaa käyttäjien lompakoiden jäädyttämisen ja saldojen pienentämisen, kuten "salaliittoteoreetikot" ovat aina epäilleet.

Aito digitaalinen

Keskuspankin pääjohtaja Roberto Campos Neto esitteli Brasilian digitaalista agendaa marraskuussa 2022, jolloin esiteltiin Real Digital -sovellus. Camposin mukaan "Real Digital, Brasilian keskuspankin digitaalinen valuutta (CBDC), näyttää tokenisoivan pankkijärjestelmän", hän selitti, että "CBDC ei ole muuta kuin pankin talletuksen yhteydessä liikkeeseen laskema token". (lähde).

Kyse on kuitenkin selvästi enemmän kuin tuosta, kuten toimittaja Vini Barbosan verkkosivustolla julkaisemassa raportissa paljastuu. Portal do Bitcoin.

Julkinen tarkastus

Maanantaina, 3.^rd Brasilian keskuspankki (Bacen) julkaisi heinäkuussa tietoja digitaalisen valuutan pilottihankkeestaan, jonka tarkastukseen osallistui yleisö. Kehittäjät havaitsivat, että digitaalinen valuutta mahdollistaa käyttäjien lompakoiden jäädyttämisen ja manipuloinnin.

Barbosan mukaan Brasilian CBDC-pilottiprojektia koskevan dokumentaation julkaisemisen jälkeen GitHubBrasilian keskuspankki salli myös järjestelmän lähdekoodin julkisen tarkastuksen aloittamisen.

Heidän avoimella alustalla toteutetun pilottihankkeensa julkinen ja yhteistyöhön perustuva auditointi ”Kitin käyttöönotto” sisältää dokumentaatiota ja määritystiedostoja, joihin kuka tahansa voi päästä käsiksi, koska yksi pilottihankkeen julkaisemisen tarkoituksista (kuten projektin niin kutsutussa ”Onboarding Kitissä” on kirjoitettu) on palautteen vastaanottaminen — kaikki dokumentaatio voi kehittyä tai muuttua.

Kehittäjät

Kuten odotimme, auditointi herätti huomiota ja palautetta useilta kehittäjiltä, ​​jotka analysoivat koodia ja löysivät muutamia tuntemattomia koodifunktioita (komentoja). Näiden funktioiden avulla valvojat voivat tehdä useita olennaisia ​​muutoksia CBDC-kirjanpidon tietoihin, mikä vaikuttaa suoraan sen käyttäjiin.

Reverse Engineering

Yksi full-stack-kehittäjä Pedro Magalhães joka on erikoistunut lohkoketjuun ja DeFI:hin sekä Solidity-ohjelmointikieleen, ilmoitti LinkedInissä, että hän oli "löysänyt Solidityn CBDC-lähdekoodin Real Digitalin ABI:n (rajapinnan) kautta käänteisen suunnittelun avulla".

Magalhães kirjoitti: ”Viime aikoina perehdyin Real Digitalin, keskuspankin aloitteen, ABI-rajapintoihin (ABI), tarkoituksenani tutkia mahdollisia haavoittuvuuksia puhtaasti didaktisista syistä.”

Keskustelussa Portal do BitcoinMagalhães selitti: ”Käänteinen suunnittelu on tekniikka, jolla ymmärretään järjestelmän toimintaa pelkästään tarkkailemalla sen käyttäytymistä” ja että sovellusbinäärirajapinta (ABI) on ”pohjimmiltaan tapa olla vuorovaikutuksessa älysopimusten kanssa Ethereumissa”.

Se on kuin käsikirja, joka kertoo, miten sopimusta voi lukea ja kirjoittaa.” Hän selittää ja jatkaa: ”Analysoin ABI:tä ymmärtääkseni Real Digitalin toiminnallisuuksia ja löysin heidän toteuttamansa erilaiset toiminnot.”

Tämä johti hänen lukuisiin löytöihinsä, mukaan lukien operaatiot, kuten Real Digital -tokenien "lyöminen" ja kohdetilien käyttöönotto/käytöstä poistaminen. Lisäksi käänteisen suunnittelun tekniikan avulla hän pystyi löytämään funktioita, joita voi suorittaa mikä tahansa yksikkö, joka saa asianmukaiset käyttöoikeudet uuden järjestelmän valvontayksiköltä – eli keskuspankilta.

Tämän analyysin perusteella Pedron mukaan oli mahdollista luoda uudelleen pilottiprojektissa käytetty älysopimus Solidityssä (laskentakielellä). Tämä sopimus mahdollistaa seuraavien toimintojen suorittamisen:

käytöstä poistettuTili: Poistaa käytöstä tilin, jolla on valtuudet siirtää tokeneita.

ota käyttöönTili: Ottaa käyttöön aiemmin käytöstä poistetun tilin token-siirrot.

Jäädytetyn saldon lisäys: Lisää lompakon osoitteen jäädytettyä saldoa.

pienennäJäädytettyäSaldoa: Vähentää lompakon osoitteen jäädytettyä saldoa.

siirtää: Ohittaa ERC20-siirtofunktion ja sisältää tilien tilan tarkistukset ja jäädytetyt saldot.

siirtoLähettä: Ohittaa ERC20-transferFrom-funktion ja sisältää tilin tilan tarkistukset ja jäädytetyt saldot.

minttu: Luo uusia Real Digital -tokeneita tietylle osoitteelle.

polttaa: Polttaa (tuhoaa) tietyn määrän oikeita digitaalisia tokeneita.

tauko: Keskeyttää token-siirrot.

jatka taukoa: Jatkaa token-siirtoja.

jäädytetty saldo: Hakee lompakon osoitteen jäädytetyn saldon.

valtuutettuTili: Tarkistaa, onko tilillä valtuutus token-siirtoihin.

liikkua: Siirrä tokeneita lompakosta toiseen.

moveAndBurn: Siirtää ja polttaa tokeneita lompakosta.

polttaaLähettäjä: Polttaa tokeneita tietyltä tililtä.

Nämä toiminnot voi suorittaa mikä tahansa keskuspankin valtuuttama taho toisen (myös lähdekoodissa olevan) toiminnon kautta, jota kutsutaan nimellä Kulunvalvonta. Portal do Bitcoin tarkisti ja vahvisti myös muiden kehittäjien kanssa näiden toimintojen olemassaolon Todellinen digitaalinen lähdekoodi.

Tarkoitettu testiympäristöön?

Barbosa sanoo, että Brasilian pankki alun perin totesi, että "... Todellinen digitaalinen "Pilottihanke on tarkoitettu käytettäväksi vain testiympäristössä, eikä sitä tule toistaa todellisissa toiminnoissa." Raportin kysyttyä keskuspankki kuitenkin myönsi mahdollisuuden suorittaa Magalhãesin löytämät toiminnot.

Maan rahaviranomaiset ilmoittivat kuitenkin, että ”BC:llä ja laitoksilla on jo samanlaisia ​​toimintoja nykyisessä ympäristössä, kuten SPB:ssä ja Pixissä, ja niiden käyttöä säännellään lailla ja asetuksilla”.

Pankki vahvisti säilyttävänsä toiminnot

Keskuspankki vahvisti suunnitelmansa säilyttää toiminnot, jotka mahdollistavat rahaviranomaisen ja valtuutettujen tahojen jäädyttää käyttäjätilejä, pienentää kohdennettujen osoitteiden saldoja, pidätysja lyödä digitaalisen valuutan (CBDC) uusia yksiköitä.

Barbosa twiittasi: ”Tähän päivään asti väestöä vain spekuloitiin, pidettäisiinkö heidät sen jälkeen…” Todellinen digitaalinenn virallista julkaisua; vai tehtiinkö ne vain testiverkkoa varten.

*täydellinen raportti (portugaliksi): https://portaldobitcoin.uol.com.br/bc-podera-cong

Keskuspankin mukaan tämä mahdollisuus "jäädyttää tai pidättää" tässä järjestelmässä olevia summia on suojattu Brasilian nykyisellä lainsäädännöllä. Odotimmeko todella mitään muuta? Miksi he luopuisivat toiminnoista, jotka helpottavat heidän massojen hallintaa?