Bitcoin BitVM: Mi is ez pontosan?

A Bitcoin áttörések nem túl gyakoriak. De amikor megtörténnek, gyakran összetettek és elsőre nehezen érthetők. A BitVM sem kivétel.

A 2023 októberében megjelent új fejlesztés felszabadítja a Bitcoin azon képességét, hogy komplex számításokat ellenőrizzen anélkül, hogy a hálózatot módosítaná. 

Pontosabban, a BitVM Turing-teljessé teszi a Bitcoint a Script programozási nyelvének már meglévő komponensei felhasználásával.

A Turing-teljessé válással a Bitcoin blokklánc elméletileg felhasználható lenne a Bitcoin funkcionalitásának kiterjesztésére, messze túlmutatva a Bitcoin fehér könyvében először felvázolt „peer-to-peer elektronikus készpénzrendszer” elképzelésen.

Bár a Turing-teljesség úgy hangozhat, mint valami az Ikigai kézikönyvből, olyan programozási nyelvek leírására használják, amelyek tetszőleges függvényeket képesek kiszámítani/bármilyen problémát megoldani.

Az amerikai matematikus, Alonzo Church az 1930-as években alkotta meg a kifejezést, utalva diákja, a híres angol számítógéptudós, Alan Turing munkájára.

A BitVM előtt a Bitcoin Script programozási nyelvét nem tekintették Turing-teljesnek. Több próbálkozás ellenére senki sem talált módot arra, hogy a Bitcoin mindazt megtegye, amit egy modern számítógép képes.

De fontos megjegyezni, hogy sokan a Bitcoin egyszerűségét inkább meghatározó tulajdonságnak, mint hiányosságnak vagy hibának tekintik.

A Bitcoin fantomalkotója(i), Satoshi Nakamoto, a protokoll elindítása után egy évvel korlátozta a Bitcoin programozási funkcionalitását.

Kérdezheti, miért? Mindez a biztonságról szól. Minél egyszerűbb egy rendszer, annál kevesebb dolog romolhat el benne.

Példaként hasonlítsunk össze egy luxusautót, amely minden csúcskategóriás extrával rendelkezik, egy normál kerékpárral.

Persze, a luxusautó sok olyan funkciót kínál, amit a kerékpáron nem talál, de sokkal valószínűbb, hogy technikai problémákba ütközik. Egy hagyományos kerékpárnak viszont nagyon kevés mozgó alkatrésze van, ezért sokkal kevesebb dolog romolhat el benne. Nem valószínű, hogy műszerfal-világítási problémákba, meghibásodó légrugózásba vagy automatikus sávváltási problémákba ütközik egy kerékpáron – mert eleve nincsenek ilyen funkciói.

Ebben a példában a Bitcoin olyan, mint egy kerékpár. Egyszerűsége végső soron csökkenti azoknak a módoknak a számát, ahogyan egy rosszindulatú szereplő megzavarhatja a hálózatát. A Distributed Denial of Service (DDoS) támadások például nincsenek hatással a jelenlegi Bitcoin hálózatra, de jelentős problémát jelentenek más projektek számára, amelyek komplexebb funkcionalitást kínálnak.

A BitVM egy olyan rendszert vezet be, amely bármilyen számítást ellenőrizhetővé tesz a Bitcoin blokkláncán, anélkül, hogy az befolyásolná a biztonságát vagy megváltoztatná a hálózatot. Ez a fejlesztés megnyitja az utat a komplex számítások, például a Turing-teljes okosszerződések előtt, amelyek mind láncon kívül kerülnek feldolgozásra, hogy csökkentsék a Bitcoin blokkláncának torlódását.

Röviden, ez olyan, mintha rájönne, hogy a zsebszámológépe képes MMORPG videojátékokat futtatni meglévő komponensek felhasználásával, anélkül, hogy ez negatívan befolyásolná a teljesítményét.

Ahhoz, hogy megértsük, hogyan éri el mindezt a BitVM, kezdjük az elején. 

A számítógépek logikai kapukat használnak a programok végrehajtásához.

Bonyolultnak hangzik, de a logikai kapuk egyszerűen egy vagy több bináris bemenetet (0-kat és 1-eket) fogadnak, egy kis számítást végeznek a logikai kapu típusától függően, és egyetlen kimenetet adnak.

Okostelefonja, táblagépe vagy laptopja valószínűleg több százezer, ha nem millió különböző típusú logikai kaput tartalmaz.

Van egy speciális típusú logikai kapu, az úgynevezett „NAND” kapu. A NAND kapu univerzális logikai kapuként ismert, mert bármilyen más típusú logikai kapu funkció létrehozására használható. Olyan, mint a logikai kapuk világának Ditto Pokémonja.

Most pedig itt kapcsolódik mindez a BitVM-hez. A BitVM mögött álló emberek felfedezték, hogyan lehet a NAND logikai kapukat ábrázolni a Bitcoinon a meglévő Script nyelvének felhasználásával.

Ennek két okból is mélyreható következményei vannak:

• Lehetővé teszi a Bitcoin Turing-teljes okosszerződéseket.
• Nincs szükség olyan szoftverváltoztatások bevezetésére, amelyek megzavarhatnák a Bitcoin hálózatot. Az emberek azonnal elkezdhetik használni a BitVM modellt.

Ezenkívül a Bitcoin blokklánca csak láncon ellenőrzi az ilyen típusú komplex számításokat. A végrehajtás láncon kívül történik. 

Más szóval, a munka nagy részét máshol végzik, nem magán a Bitcoin blokkláncon. Ez elkerüli a Bitcoin hálózat felesleges terhelését, amely magas díjakat vagy lassabb feldolgozási időket eredményezhetne.

A BitVM jelenleg csak két félre korlátozódik: egy „bizonyítóra” és egy „ellenőrzőre”.

Tegyük fel, hogy két fél okosszerződésen keresztül szeretne tranzakciót végrehajtani a Bitcoin blokkláncán.

Az egyik fél (a bizonyító) azt állítja, hogy az okosszerződés a hirdetett módon működik, anélkül, hogy közvetlenül a Bitcoin blokkláncán kellene futtatnia.

A második félnek (az ellenőrzőnek) bizonyos biztosítékokra van szüksége, hogy az okosszerződés a leírtak szerint működik. Mindketten aláírnak számos tranzakciót, amelyek feljogosítják az ellenőrzőt az okosszerződés részeinek megtámadására, a bizonyítót pedig a válaszadásra.

Ha bármelyik fél megpróbálja megtéveszteni a másikat, vagy nem működik együtt, az őszinte fél megkapja az okosszerződésbe befizetett összegeket, amint az aktiválódik.

Vita esetén az okosszerződés programjának specifikus feltételei láncon végrehajthatók, hogy bizonyítsák, történt-e csalárd tevékenység.

Robin Linus, a ZeroSync egyik fő közreműködője, 2023. október 9-én tette közzé a BitVM fehér könyvét.

A ZeroSync egy nonprofit szervezet, amelynek székhelye Zugban, Svájcban található. Elsősorban a Bitcoin skálázhatóságának és adatvédelmének javítására összpontosít zero-knowledge proof (ZKP) megoldások fejlesztésével.

A BitVM egy olyan rendszert vezet be, amely komplex számításokat hajt végre láncon kívül, robusztus elszámoltathatósági rendszert biztosít mindkét érintett fél számára, és szoftverfrissítés nélkül is megvalósítható.

Ez a fejlesztés alapot teremt az Optimistic-stílusú rollups-okhoz a Bitcoinon. Ez a folyamat magában foglalná a BTC tranzakciók láncon kívüli kötegelését és feldolgozását, valamint a bizonyítékok láncon történő benyújtását. Az optimista megközelítés részeként minden láncon kívüli tranzakció érvényesnek minősülne. Csak vita esetén hajtják végre a tranzakciókat láncon, hogy megerősítsék azok érvényességét.

Az ilyen rollups-ok jelentősen javíthatnák a Bitcoin tranzakciós átviteli sebességét, hasonlóan ahhoz, ahogyan az olyan protokollok által használt Optimistic rollups-ok, mint az Optimism (OP), javítják az Ethereum feldolgozási képességeit.

A BitVM számos okból fontos áttörést jelent a Bitcoin számára.

Technikai szempontból felszabadítja a hálózat potenciálját bármilyen típusú komplex számítás ellenőrzésére, bár egyelőre korlátozott kétoldalú környezetben.

Ez az előrelépés új alkalmazásokhoz és skálázhatósági előnyökhöz is vezethet a Bitcoin számára a jövőben.

De talán a legfontosabb, hogy a BitVM rávilágít arra, hogy a Bitcoin funkcionalitását soha nem a protokollja korlátozta, hanem a felhasználók képzelete.

Fontos megjegyezni, hogy bár a BitVM sok ígéretes előnnyel jár, hátrányai is vannak.

Linus és más közreműködők is elfogadták, hogy ez a modell még korai szakaszban van, és messze nem egy kiforrott megoldás. 

Az alábbiakban felsoroljuk a BitVM néhány korlátját, amelyeket a csapat még mindig próbál leküzdeni:

• Jelenlegi állapotában a BitVM csak két személyes modell. Ez a korlátozás azt jelenti, hogy nem támogatja a nagyméretű decentralizált alkalmazásokat több tranzakciós féllel.
• A láncon történő ellenőrzés továbbra is eltömítheti a Bitcoin blokkláncát.
• A láncon kívüli számítások valószínűleg hatalmas mennyiségű adatot igényelnek.

Úgy érzi, hogy a BitVM megváltoztatja a Bitcoin protokoll jövőjét?

Tekintse meg a Kraken Learn Center útmutatóját a Hogyan vásároljunk Bitcoint (BTC) témában, és regisztráljon egy fiókot a Krakennél még ma.