Bitcoin i zk proof tehnologija

^{ODRICANJE OD ODGOVORNOSTI: Kompletan sadržaj je isključivo edukativno-informativnog karaktera. Ništa nije savjet. Ulaganje u kriptovalute je rizično i ulazite na vašu vlastitu odgovornost nakon vašeg vlastitog istraživanja.}

Bitcoin i zk proof tehnologija

Švicarska neprofitna organizacija koja radi na prvom svjetskom "zero-knowledge light clientu" za Bitcoin postigla je značajnu prekretnicu prema uvođenju "zero-knowledge proofova" na najvrjedniju kriptovalutnu mrežu. ZeroSync-ov verifikator za zaglavlja blokova na Bitcoin mreži omogućuje izgradnju light clienta na temelju zk proofa za tu mrežu, što je prvi korak u putokazu za inovacije bez potrebe za dozvolama, prema voditelju projekta Robinu Linusu.

Hoće li biti omogućeno pokretanje BTC čvora na mobilnom telefonu?

U bliskoj budućnosti, light client bi vam možda omogućio pokretanje Bitcoin punog čvora na, recimo, mobilnom telefonu. No, taj putokaz uključuje i protokol drugog sloja iznad Bitcoina, koji može donijeti tokene, poput stabilnih kriptovaluta na Bitcoin mrežu, zajedno s povećanjem propusnosti od 20 do 50 puta, bez potrebe za ikakvim vrstama "forka".

"Ono što je dobro kod tog rješenja je da, prije svega, možete obraditi oko 100 transakcija na osnovnom sloju", rekao je Linus. "I osim toga, također postižemo potpunu privatnost, možete šifrirati i iznose transakcija i grafove transakcija, i tada praktički dobivate privatnost najbolje klase, usporedivu sa Zcashom."

Korist privatnosti zapravo je posljedica korištenja STARKs sustava, koji je izumio StarkWare, a ne namjerni dizajnerski odabir. ZeroSync je dobio grant od Geometry Research-a 2022. godine, jedan od StarkWare-a ranije ove godine, i od tada su osnovali zakladu. Rad grupe prvi je napor u korištenju StarkWare-ovog programskog jezika Cairo izvan Ethereum ekosustava. Da bi se omogućilo "trustless bitcoin bridging" na layer-2 mreži koju ZeroSync predviđa, potreban je "soft fork". Ipak, čak i bez toga, mreža može bez dozvola podržavati korisne funkcije, poput prijenosa tokena gdje se naknade plaćaju u stabilnim kriptovalutama, uklanjajući potrebu za Bitcoinom za plaćanje transakcija. Bitcoin je otporan na promjene po dizajnu i zahtijeva suglasnost od Core razvijatelja, te gotovo suglasnost od punih čvorova, uključujući rudare. 

Taproot je bio u izradi godinama

Prethodni "soft fork" iz 2021. godine, nazvan Taproot, bio je godinama u izradi i aktiviran je tek nakon što je više od 90% operatora čvorova dalo svoj pristanak.

"Želimo da bude teško mijenjati ga kako bi mogao biti „težak“ novac, ali neke promjene su nužne", rekao je Linus. "Čini se da postoji suglasnost da u nekom trenutku želimo imati neku vrstu [zk proof] verifikatora na Bitcoinu." Linus vidi ulogu ZeroSynca u tome da pomogne u određivanju kakav pristup ima najviše smisla. "Pokušavamo sudjelovati u zajednici i gurati stvari naprijed", napomenuo je. "Sve mora biti slobodno i open source, inače nikada neće ući u glavni sloj." U međuvremenu, dokaz stanja lanca koji su završili neće zahtijevati nikakav oblik "forka".

Zk proof tehnologija je još u svojim počecima

Postoji mnogo različitih sistema za provjeru s različitim kompromisima koje treba uzeti u obzir. Te odluke imaju posljedice za virtualne strojeve izgrađene na vrhu. Linus priznaje da bi bilo prilično teško postići suglasnost samo za jedan.

Eric Wall, član uprave StarkNet Foundationa i vođa razmišljanja o Bitcoinu, izrazio je jedan od izazova u procesu donošenja odluka u Bitcoinu u ovom području. "Kako će Bitcoin zajednica ikada postići suglasnost oko učvršćivanja određenog zk-verifikacijskog opcodea, kada se sama zk zajednica ni na koji način ne slaže oko toga kakav bi tip zkVM-a bio idealan za Bitcoin u narednoj godini, a kamoli u narednih 5 ili narednih 100 godina?"

Rješenje bi mogao biti Simplicity

Srećom, Linus vidi vjerojatno rješenje putem Simplicity programskog jezika, koji je prvi put predstavljen od strane Blockstream-a prije otprilike pet godina. Simplicity, programski jezik za pametne ugovore sličan Solidityju na Ethereumu, opisan je kao "posljednji soft fork Bitcoina". Ako se aktivira, "značajno će povećati sposobnosti skriptiranja Bitcoina", rekao je Linus. "Već počinjemo eksperimentirati s njim jer ga je Blockstream upravo aktivirao na Liquid testnetu, a to će biti prvi korak za nas da eksperimentiramo sa zk proof verifikatorom na glavnom sloju Bitcoina."

Suvlasnik StarkWare-a, Eli Ben-Sasson, očekivano zagovara Cairo+STARK stack. No, Linus je rekao da bi usvajanje Simplicityja omogućilo zk proof timovima da zaobiđu potrebu da se isključivo oslanjaju na jedan ili drugi proof sustav.

"Možete prilično slobodno odabrati koji proof sustav želite koristiti,  to je visoka razina jezika za pametne ugovore i to vam omogućuje da radite praktički bilo kakvu vrstu računanja koju možete raditi u običnim programskim jezicima", rekao je. "I tako više ne bi bilo puno drame oko pitanja koji zk proof verifikator želimo aktivirati, a zapravo bismo samo implementirali ono što smatramo najboljim", dodao je.