OP_CAT:Mala naredba sa velikim mogućnostima

Najvažnije u nekoliko reči:

Bitcoin nema račune ni lozinke. Svaki iznos je zaključan malim programom, a ko hoće da ga potroši, mora da donese podatke koji taj program zadovoljavaju. OP_CAT je jedna naredba tog programa, ona koja spaja dva podatka u jedan.

Isključen je pre 16 godina. Od 2023. postoji predlog da se vrati, a programeri se oko njega ne slažu.

Svaki bitcoin čuva mali program

Iz teksta Šta je UTXO? znaš da izlaz transakcije kaže koliko bitcoina ide i ko sme sledeći da ih potroši. To „ko sme“ zapisano je kao kratak program. Jezik tog programa zove se skripta (engl. Bitcoin Script).

Najčešći program traži dve stvari, javni ključ koji odgovara adresi i potpis napravljen privatnim ključem iz istog para. Kako ključevi i potpis rade, objašnjava tekst Privatni i javni ključevi. Čvor koji proverava transakciju pokrene program i pusti trošenje samo ako program uspe.

Program se sastoji od reči koje se zovu opcode (naredba skripte). Svaka radi jednu malu stvar. Jedna uporedi dva podatka, druga izračuna heš, treća proveri potpis. Podaci na kojima rade stoje na steku (engl. stack), gomili u kojoj se nov podatak stavlja na vrh, a naredba uzima odozgo.

Jedna naredba spaja dva podatka u jedan

OP_CAT uzima dva podatka sa vrha steka, spaja ih po redu i na stek vraća jedan (BIP 347).

Zamisli da na steku prvo stoji „Beo“, a iznad njega „grad“. Posle OP_CAT na steku je jedan podatak, „Beograd“. Isto radi sa bilo kojim bajtovima.

Naredba ne uspeva u dva slučaja. Na steku nema dva podatka, ili bi spojeni podatak imao više od 520 bajtova. Tada pada cela skripta i trošenje ne prolazi.

Današnja skripta nema opšti način da sastavi podatak od delova, pa ne može da proveri ni stablo heševa, kakvo Bitcoin koristi u svakom bloku (BIP 347). Tu rupu OP_CAT popunjava.

Covenant bi odredio i kuda novac sme dalje

Covenant (pravilo o tome kuda novac sme dalje) je uslov u skripti koji ne pita samo ko troši, nego i kuda novac ide (Bitcoin Optech). Po današnjim pravilima ko ima ključ, šalje novac kud hoće. Covenant bi to mogao da ograniči.

Jedan primer iz predloga je vault (trezor sa odloženom isplatom). Ko ti ukrade ključ, danas odmah šalje sve na svoju adresu. Kod trezora skripta dozvoljava samo prenos na izlaz za čekanje, a dalje tek posle dogovorenog roka (Bitcoin Optech). Ako vidiš isplatu koju nisi ti pokrenuo, u tom roku možeš da je zaustaviš. Predlog BIP 347 navodi da je OP_CAT dovoljan za takav trezor (BIP 347).

Još dve upotrebe iz istog spiska:

Autori OP_CAT opisuju kao jednostavnu, samostalnu naredbu, u duhu Unixa (BIP 347). Ni zagovornici covenanta ipak ne misle svi da je to najbolji alat. James O'Beirne je 2023. naveo da trezorima sa OP_CAT fale neke osobine koje nudi njegov predlog BIP 345, napravljen baš za trezore (Bitcoin Optech, 1.11.2023).

Zašto ga danas nema

OP_CAT je bio tu od početka. U najstarijem kodu u istoriji projekta, od 30.8.2009, naredba postoji i spaja dva podatka bez ikakve granice veličine (script.cpp).

Izmenom od 15.8.2010. Satoshi Nakamoto je isključio OP_CAT i još 14 naredbi, među njima množenje i deljenje. Ista izmena je najveći podatak u skripti spustila sa 5.000 na 520 bajtova (izmena 4bd188c). Opis izmene glasi samo „misc changes“ (razne izmene) i ne kaže zašto. Program Elements, na kome radi mreža Liquid, ponovo ga je uključio 10.1.2019 (izmena 13e1103), ali Bitcoin nije.

Današnji Bitcoin Core uz tu zabranu navodi oznaku prijavljene ranjivosti, CVE-2010-5137 (interpreter.cpp). Predlog BIP 347 prenosi i priču koja kruži među programerima. OP_CAT je mogao da napravi skriptu kojoj memorija raste eksponencijalno. Podatak od jednog bajta, 40 puta udvostručen i spojen sa sobom, bio bi veći od terabajta. Granica od 5.000 bajtova je to već tada sprečavala, a tapscript danas dozvoljava najviše 520 (BIP 347).

Predlog BIP 347 vraća ga samo u tapscript

Taproot je 2021. doneo adrese sa bc1p. Taproot izlaz može da se potroši ključem ili jednom od skripti koje su u njemu sakrivene (BIP 341). Te skripte se pišu u tapscriptu (skripta Taproot izlaza), malo izmenjenoj verziji skripte (BIP 342).

Tapscript ima brojeve naredbi ostavljene za buduće izmene, OP_SUCCESS. Skripta sa takvom naredbom danas prolazi bez ikakve provere, pa je niko ne koristi. Takva skripta pre izmene pravila vodi u gubitak novca, upozorava BIP 342.

Soft fork može takvoj naredbi da da značenje. Skripta koja je dotle uvek prolazila tada prolazi samo kad je naredba zadovoljena, a to je pooštravanje pravila. Slično je SegWit ostavio mesto za Taproot, kako piše u tekstu SegWit nadogradnja.

Predlog BIP 347, čiji su autori Ethan Heilman i Armin Sabouri, daje OP_CAT baš takvoj naredbi, broju 126 (0x7e). To je isti broj koji je OP_CAT imao pre 2010. U starijim skriptama OP_CAT ostaje isključen. Spojeni podatak ne sme da pređe 520 bajtova, granicu koja u tapscriptu već važi za svaki podatak (BIP 342). Kada i kako bi se predlog aktivirao, BIP 347 ne određuje.

Zašto su drugi oprezni

Ista moć koju zagovornici hvale druge brine. Naredba koja se lako kombinuje sa drugima može da omogući upotrebe koje danas niko ne predviđa, a pravilo jednom uvedeno u Bitcoin teško se vraća.

Najviše se raspravlja o rekurzivnom covenantu (pravilu koje prelazi na svaki sledeći izlaz). Takav uslov bi pratio novac kroz svako sledeće trošenje. Shinobi je 2022. na mejling listi programera upozorio da bi tako neko moćan, recimo država, mogao da traži da ljudi primaju samo novac koji ona kasnije može da oduzme. Drugi su odgovorili da se ta sloboda gubi i bez toga, prelaskom na drugi lanac sa istim uslovom (Bitcoin Optech, 9.3.2022).

Jeremy Rubin je iste godine nabrojao zabrinutosti koje je čuo. Jedna je MEV (engl. miner extractable value), zarada koju rudar izvlači biranjem i redosledom transakcija. Rekurzivni covenant bi mogao da je poveća daleko iznad onoga što daje obično slaganje bloka po naknadi (Bitcoin Optech, 25.5.2022). Kako rudar danas slaže blok, piše u tekstu Šta je mempool?

Da li sam OP_CAT omogućava rekurzivni covenant, programeri ni tada nisu bili jednoglasni (Bitcoin Optech, 18.5.2022).

Bitcoin pravila menja retko i polako, jer ih proverava svaki čvor i jer greška u pravilima može da košta sve korisnike. Zašto se pravila menjaju soft forkom, objašnjava tekst Soft fork i hard fork. Mi mislimo da je ta sporost prednost, a ne mana.

Predlog je završen, ali nije aktivan

Na glavnoj mreži OP_CAT je isključen kao i 2010. Bitcoin Core ga u starim skriptama i dalje odbija (interpreter.cpp), a u tapscriptu je broj 126 i dalje jedna od naredbi OP_SUCCESS (script.cpp). Predlog izmene programa (#29247) otvoren je od januara 2024. i nije prihvaćen.

OP_CAT se isprobava na signetu, probnoj mreži na kojoj blokove potpisuje unapred određen potpisnik, pa novac na njoj ništa ne vredi (BIP 325). Program Bitcoin Inquisition, napravljen za probu predloga na signetu, aktivirao je OP_CAT u izdanju 27.0 od 18.5.2024. (izdanje 27.0).

Autori su 1.3.2026. predlogu dali status Complete (završen). Po pravilima za BIP-ove to znači da su završili rad i preporučuju usvajanje. Status Deployed (u upotrebi) soft fork dobija tek kad su na mreži ispunjeni uslovi za aktivaciju (BIP 3).

Da li će OP_CAT biti aktiviran i kada, ne znamo. To zavisi od ljudi koji vode čvorove i od rudara.

Šta to znači za tebe danas

Šta iz ovoga sledi za tebe

Ključne lekcije:

Šta dalje?

Ovim tekstom se završava deo staze o tehnologiji i protokolu. Sledeći deo je o sigurnosti i privatnosti, a počinje tekstom Passphrase: dodatna lozinka uz frazu za oporavak, o dodatnoj zaštiti fraze za oporavak.

OP_CAT je mala naredba sa velikim mogućnostima. Da li će ih Bitcoin dobiti, ne odlučuje niko sam.