By Bitcoin Žurnāls - pirms 6 mēnešiem - Lasīšanas laiks: 6 minūtes
Pirms tie bija forši: ražošanas līgumi Nn šķidrums
Kopš tā laika Bitcoin Kopiena uzsāka diskusijas par līgumu optimizāciju, pieaug interese uzzināt vairāk par to kompromisiem un līgumiem, kas jau ir ieviesti Šķidrais tīkls.
Ņemot vērā šo atjaunoto interesi un lai veicinātu turpmākas diskusijas, pārskatīsim dažus no Liquid pašreizējiem līguma piedāvājumiem, salīdzinot tos ar vadošajiem priekšlikumiem Bitcoin un izpētot to attiecīgos lietošanas gadījumus.
Derību vēsture par šķidrumu
Paktus par Liquid var izsekot līdz pirmās Elements sānu ķēdes izvietošanai, Alfa. Šī sānu ķēde elementos ieviesa opkodus OP_CHECKSIGFROMSTACK (CSFS) un OP_DETERMINISTICRANDOM, kā arī vairākus citus. Alfa arī iespējoja fiksētās opkodu versijas, kas tika atspējotas sākumā Bitcoin, Piemēram, OP_CAT— kods, kuru daudzi izvēlas pārskatīt augošajā dialogā sociālajos medijos. Šie jaunie opkodi vēl vairāk uzlaboja versijas izteiksmīgumu Bitcoin Skripts pieejams elementos un koncepcijas pierādījums Möser-Eyal-Sirer velve tika izstrādāts, izmantojot CSFS, lai ilustrētu jaunās iespējas.
Viena no mācībām, kas gūta, ieviešot CSFS, bija tāda, ka tas padara līgumsaistības sarežģītākas, pieprasot, lai darījumu dati tiktu ievietoti kaudzē, veicot līguma tēriņus. No izstrādātāju pieredzes arī tika novērots, ka ar CSFS līgumiem transakciju dati, kas veido paraksta jaucējkodu, ir jārekonstruē stekā, kas, iespējams, liek izstrādātājiem pārsūtīt datus, kas nav saistīti ar darījumu ievadi/izeju, kas viņus interesē.
Lai vienkāršotu līguma veidošanu, tika izsaukti vairāk nekā 30 jauni opkodi pašpārbaudes opkodi tika ieviesti Liquid's Taproot jauninājums modulārai pieejai. Piemēram, pašpārbaudes operācijas kodi ar CSFS ļauj pārbaudīt detalizētākas darījuma daļas tēriņu laikā, ievietojot to kaudzē. Tas atvieglo atbildību par daļēju darījuma datu apkopošanu, izmantojot liecinieku, un līdz ar to arī paraksta jaucējkodu stekā.
Vadošie pakta priekšlikumi
Pašlaik Bitcoin kopiena apspriež iespējamo līguma priekšlikumu sarakstu, tostarp SIGHASH_ANYPREVOUT (APO), OP_TXHASH, CSFS, OP_CAT, OP_TLUV, MATT operācijas kodu OP_CHECKCONTRACTVERIFY (CCV), OP_VAULT un OP_CHECKTEMPLATEVERIFY (CTV). Vienkāršība, nākamās paaudzes skriptu valoda, kas zemākā līmenī varētu īstenot funkcionalitāti, kas līdzīga daudzām līgumiem, ir arī potenciāls ceļš Bitcoin (mēs to vēlreiz apskatīsim vēlāk).
Ir daudz runāts par VAULT opkodu, kas tika izveidots, lai risinātu vajadzību pēc vienkāršākiem drošības veidiem bitcoin lietotājiem. Šis operētājsistēmu kods ļautu bloķēt monētas adresē, kuru var tērēt tikai divās adresēs: karstajā makā pēc laika bloķēšanas vai uzreiz aukstā makā. Ir ierosinātas vairākas citas shēmas, taču tās ir atkarīgas no tā, vai vispirms tiks pieņemta KTV.
KTV ir opkods, kas nolasa jaucējkodu no steka un salīdzina to ar noteiktas izdevumu darījuma datu apakškopas jaucējkodu. Tā elastība sola nodrošināt daudzveidīgu lietojumprogrammu kopumu, tostarp, bet ne tikai: pārslodzes kontroli, glabātuves un elementārus maksājumu kopumus.
Papildus opkodiem ir bijuši priekšlikumi par nopūtām, lai nodrošinātu derības. Divi populārākie priekšlikumi šim nolūkam ir APO un SIGHASH_GROUP. APO ir SIGHASH_NOINPUT operētājkoda evolūcija, kas ir plaši atzīta par ieviešanas priekšnoteikumu eltoo. Viens no daudzajiem uzlabojumiem, kas ir iespējami ar eltoo, ir soda mehānisma atcelšana, kas liek otrai pusei zaudēt līdzekļus, pārraidot novecojušu kanālu stāvokli. Tas ļauj izveidot lietotājam draudzīgāku un efektīvāku zibens tīklu.
Līdzīgas funkcionalitātes sasniegšana ar šķidrajiem opkodiem
Lai gan Liquid nav CTV un VAULT opkodu, tam ir CSFS un CAT par derībām. Izmantojot šos šaurāk definētos opkodus ar iepriekšminētajiem introspekcijas opkodiem, izstrādātāji ir pavēruši jaunas finansiālas iespējas ar funkcionalitāti, kas ir līdzīga CTV un VAULT, lai paplašinātu sānu ķēdi.
Piemēram, Buraks, pieredzējis Liquid izstrādātājs un 2. slāņa protokola Ark radītājs, ir parādījis VAULT emulācija izmantojot Liquid Covenant opcodes vienā diskusijā ar James O'Beirne on X.
Līdzīgi veids, kā sasniegt APO funkcionalitāti, bija iespējams, izmantojot CSFS. Šis demo izmantoja dažādus opkodus, kas ļautu izmantot 2. slāņa protokolus, piemēram, eltoo vietnē Liquid, taču tas cieš no papildu sarežģītības un lielāka darījuma apjoma, salīdzinot ar ierosināto APO tipa pakta izmantošanu. Turklāt konstrukcija neattiecas uz Taproot darījumiem, kas radītu savu papildu sarežģītības veidu.
Liquid Opcodes darbībā
Daudzas lietojumprogrammas jau ir izmantojušas Liquid līguma darbības kodus. Stīvens Rūzs, derības atbalstītājs, kurš nesen definēti iepriekš iecerētā OP_TXHASH specifikācija ir izstrādājusi pieteikums par Liquid uzticības obligācijām. Šī derība attiecas uz līdzekļiem, kas tiktu sadedzināti, ja liecinieks uzrādīs pierādījumus par divkāršu tēriņu.
Fuji naudaVēl viens ievērojams piemērs ir Fuji USD (FUSD), algoritmiska stabila monēta, ko izstrādājis Vulpem Ventures. Tas paļaujas tikai uz orākula informāciju, lai saglabātu piesaisti, un to var izdot decentralizēti. Tas izmanto a kombinācija parakstu verifikācijas un pašpārbaudes opkodi, lai to paveiktu, un vissvarīgākā daļa ir tas, ka tas viss ir auditējams ķēdē.
Citi derību pielietojumi par Liquid ietver opciju līgumus un konfidenciāli aizdevumi uz aktīviem. Blockstream Research komanda izlaida a papīrs pagājušajā gadā (skatīt pievienoto blog post) par pirmo, paskaidrojot, kā šādu opciju līgumu varētu izveidot, izmantojot jauno introspektīvo opkodu kopu. Šie jaunie operāciju kodi ļauj lietotājiem bez uzticamības izveidot marķierus, kas attēlo abas segtā pirkšanas iespējas līguma puses, un pārdot pretējo pozīciju, kuru viņi vēlas ieņemt. Šādā veidā noslēgtos līgumos tiek atbalstīta arī daļēja aizpildīšana, kas nozīmē, ka lietotājs, kurš izveidoja līgumu, var pārdot pozīcijas, kas ir vairākkārtējas no lietotāja noteiktās nodrošinājuma aktīva minimālās summas, ko sauc par “līguma lielumu”.
Kāpēc ne uz Liquid First?
kā Bitcoin ekosistēmā joprojām notiek veselīgas debates par līguma darbības kodiem, Liquid piedāvā savu rīku komplektu, kas nodrošina līdzīgus mērķus, bet ar atšķirīgu ieviešanu. Dialogam attīstoties, būs intriģējoši vērot savstarpējo mijiedarbību Bitcoin's vietējiem priekšlikumiem un Liquid jau konkrētām un aktuālām ar līgumu saistītām funkcijām un Bitcoin līguma priekšlikumi, kas ieviesti, izmantojot Elements Script.
Vēl viena jauna tehnoloģija pie apvāršņa ir Vienkāršība, pārbaudāma programmēšanas valoda blockchain. Vienkāršības valodu nosaka operācijas ar ļoti šauru semantiku, kas var izveidot izteiksmīgas programmas, ja tās tiek sastādītas kopā. Valoda ir arī pārbaudāma, kas nozīmē, ka var izveidot metodes, lai matemātiski pierādītu apgalvojumus par vienkāršības programmām.
Vienkāršības izteiksmīgais raksturs ļauj nevainojami pārnest Script darbības kodus, nodrošinot lielāku uzticamību un mazāk negaidītu darbību. Bitcoin pētnieks Sanket Kanjalkar jau ir paveicis šo darbu KTV labā. Izmantojot s-lang, lasāmāks Bitcoin- uz orientētu programmēšanas valodu, kas kompilējas līdz vienkāršībai, viņš spēja replicēt semantiku funkcionālā koncepcijas pierādījumā, ko ikviens var izmēģināt šodien.
Bitcoin izstrādātājiem drīz būs iespēja izmantot s-lang reālā vidē, pateicoties Liquid integrācijai Simplicity, kas paredzēta 2. gada 2024. ceturksnim. s-lang nodrošinās Liquid sarežģītāku lietojumprogrammu izveidi, piemēram, glabātuves un deleģēšanu. PR projekts ir pieejams izskatīšanai šeit saite.
Ar ilga vēsture Liquid kā tādu ideju agrīnu ieviesēju, kuras vēlāk tika pārnestas Bitcoin, ieteikums tiem, kas vēlas demonstrēt savu priekšlikumu dzīvotspēju, ir izmēģināt to tiešraidē Liquid, lai vispirms apstiprinātu idejas, jo ir pierādīts, ka vairāki ar līgumiem saistītie operācijas kodi ir atdarināmi, izmantojot esošos Liquid līguma un introspekcijas opkodus.
Tātad, nākamreiz, kad kāds ieteiks jaunu līgumu, ir vērts jautāt: kāpēc gan vispirms to neizmēģināt uz Liquid?
Šis ir viesu ziņojums Rendijs Nārs. Izteiktie viedokļi pilnībā ir viņu pašu viedokļi un ne vienmēr atspoguļo BTC Inc vai Bitcoin Žurnāls.
Oriģināls avots: Bitcoin žurnāls