Bitcoin BitVM: Pontosan mi is az?

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

Az új fejlesztés, amely 2023 októberében jelent meg, feloldja a Bitcoin képességét, hogy komplex számításokat ellenőrizzen oly módon, ami nem jár semmilyen hálózati módosítással. 

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

A Turing-teljessé válás révén a Bitcoin blokklánc elméletileg felhasználható lenne a Bitcoin funkcionalitásának kiterjesztésére, messze túlmutatva a „peer-to-peer elektronikus készpénzrendszer” vízióján, amelyet először a Bitcoin fehér könyv fejtett ki.

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

Az amerikai matematikus, Alonzo Church az 1930-as években alkotta meg először a kifejezést, tanítványa, a híres angol számítógéptudós, Alan Turing munkásságára hivatkozva.

A BitVM előtt a Bitcoin Script programozási nyelvét nem tartottá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.

Fontos azonban megjegyezni, hogy sokan a Bitcoin egyszerűségét meghatározó tulajdonságnak tartják, nem pedig hiányosságnak vagy hibának.

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

Kérdezheti, miért? Az egész a biztonságon múlik. Minél egyszerűbb egy rendszer, annál kevesebb dolog romolhat el benne.

Példaként hasonlítsuk össze egy luxusautót az összes csúcskategóriás extrával egy hagyományos kerékpárral.

Persze, a luxusautó rengeteg olyan funkciót kínál, amit a kerékpáron nem talál, de sokkal nagyobb valószínűséggel fut bele technikai problémákba. 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ákkal, meghibásodó légrugózással vagy automatikus sávváltási problémákkal találkozna egy kerékpáron — mert eleve nincsenek ilyen funkciói.

Ebben a példában a Bitcoin olyan, mint egy kerékpár. Az egyszerűsége végső soron csökkenti azon módok 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 komoly 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 lehetővé teszi bármely számítás ellenőrizhetőségét a Bitcoin blokkláncán, anélkül, hogy ez befolyásolná annak biztonságát vagy megváltoztatná a hálózatot. Ez a fejlesztés utat nyit olyan komplex számításoknak, mint a Turing-teljes okosszerződések, amelyek mind a láncon kívül kerülnek feldolgozásra, hogy csökkentsék a Bitcoin blokkláncának torlódását.

Röviden, olyan, mintha kiderülne, hogy a zsebszámológépe képes MMORPG videójátékokat futtatni a 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 kapuknak nevezett elemeket 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, elvégeznek egy kis számítást az adott logikai kapu típusának megfelelően, és egyetlen kimenetet adnak.

Az Ön 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 különleges típusú logikai kapu, amit „NAND” kapunak hívnak. 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 jön, hogy mindez hogyan kapcsolódik a BitVM-hez. A BitVM mögött álló emberek felfedezték a NAND logikai kapuk ábrázolásának módját a Bitcoinon, annak meglévő Script nyelvének felhasználásával.

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

• Lehetővé teszi a Bitcoin Turing-teljes okosszerződéseket.
• Nem szükséges szoftveres változtatásokat bevezetni, 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 a láncon kívül történik. 

Más szóval, a munka oroszlánrészét máshol végzik, nem magán a Bitcoin blokkláncon. Ezzel elkerülhető a Bitcoin hálózatra nehezedő felesleges terhelés, amely magas díjakhoz vagy lassabb feldolgozási időhöz vezethetne.

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

Tegyük fel, hogy két fél egy okosszerződésen keresztül szeretne tranzakciót bonyolítani a Bitcoin blokklánc segítségével.

Az egyik fél (a bizonyító) állítja, hogy az okosszerződés a reklámozott 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 garanciákra 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 egyes részeinek megkérdőjelezésére, 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 jogosult megkapni az okosszerződésbe befizetett összegeket, amint az aktiválva lesz.

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

Robin Linus, a ZeroSync egyik vezető közreműködője, 2023. október 9-én publikálta a BitVM fehér könyvét.

A ZeroSync egy non-profit szervezet, amely a svájci Zugban található. Elsődlegesen a Bitcoin skálázhatóságának és adatvédelmének javítására összpontosít, nulla tudású bizonyítás (ZKP) megoldások fejlesztésével.

A BitVM egy rendszert vezet be a komplex számítások láncon kívüli végrehajtására, megbízható 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-ok számára a Bitcoin hálózaton. Ez a folyamat magában foglalná a BTC tranzakciók láncon kívüli összegzését és feldolgozását, valamint igazolások láncon való benyújtását. Minden láncon kívüli tranzakció érvényesnek tekintendő, mint az optimista megközelítés része. Csak vita esetén kerülnek a tranzakciók láncon végrehajtásra érvényességük megerősítéséhez.

Az ilyen rollups-ok jelentősen javíthatjá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 a jövőben új alkalmazásokhoz és skálázhatósági előnyökhöz is vezethet a Bitcoin számára.

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

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

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

Az alábbiakban bemutatjuk a BitVM néhány korlátját, amelyeket a csapat még mindig igyekszik leküzdeni:

• Jelenlegi állapotában a BitVM csak kétszemélyes modell. Ez a korlátozás azt jelenti, hogy nem tudja támogatni a nagyszabású, több tranzakciót bonyolító felet tartalmazó decentralizált alkalmazásokat.
• A láncon végzett 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 fognak tartalmazni.

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

Tekintse meg Kraken Tudásközpont útmutatónkat a Hogyan vásárolhat Bitcoin-t (BTC-t) témában további információkért, és regisztráljon még ma egy fiókot a Kraknél.