Aqlli kontraktlar to'g'risidagi haqiqat

"Blockchain", "AI" va "bulut" so'zlari singari, "aqlli shartnoma" juda ko'p xiralashgan iboralardan biridir.

Axir, sud tizimidan foydalanish o'rniga nima bo'lishiga ishonishdan yaxshi nima bo'lishi mumkin? Aqlli shartnomalar va'dalariga quyidagilar kiradi:

  • Shartnomalarni avtomatik ravishda, ishonchsiz va xolis ravishda bajarish
  • Pudrat qurilishida, shartnomani tuzishda va shartnomani bajarishda o'rta odamlarni jalb qilish
  • (Amalga ko'ra) Advokatlarni chetlashtirish

Men xafagarchilikka achinaman. Oxir oqibat, agar biz boshqa tomonni ijro etishga ishonish zaruratini olib tashlasak, ishlar qanchalik samaraliroq bo'lar edi?

Qanday bo'lmasin, aqlli shartnoma nima? Va bu Ethereum domeni emasmi? Bu kelajakning yo'li emasmi? Nega siz taraqqiyot yo'lida turasiz?

Ushbu maqolada men aqlli shartnomalar nima ekanligini va u bilan bog'liq bo'lgan muhandislik haqiqatini ko'rib chiqaman (buzg'unchilar: bu qadar oddiy emas va ularni ta'minlash juda qiyin).

Aqlli shartnoma nima?

Oddiy shartnoma - bu kelajakda nimadir bilan bog'laydigan ikki yoki undan ortiq tomonlar o'rtasidagi kelishuv. Elis Bobga uyidan foydalanish evaziga (aka ijarasi) evaziga bir oz pul to'lashi mumkin. Charli kelajakda Denisning avtomobilidagi har qanday zararni oylik to'lov evaziga (avtoulovni sug'urtalash) qaytarib berishga rozi bo'lishi mumkin.

"Aqlli" kontraktdan farqi shundaki, shartlar kompyuter kodi tomonidan baholanadi va bajariladi, bu uni ishonchsiz qiladi. Shunday qilib, agar Elis Bobdan 3 oylik etkazib berish uchun divan uchun 500 dollar to'lashga rozi bo'lsa (kelajakdagi aka divan), ba'zi kod shartlarning to'g'riligini aniqlashi mumkin (Elis Bobga pul to'laganmi? Hali 3 oy bo'lganmi?) Va ijroni amalga oshiring. (divanni eskrouzdan etkazib berish), ikkala tomonga ham orqaga qaytish imkoniyatini bermasdan.

Aqlli shartnomaning asosiy xususiyati shundaki, u ishonchli ijro etilmaydi. Ya'ni, har xil shartlarni bajarish uchun uchinchi tomonga ishonishingiz shart emas. Boshqa tomonga ularning so'zlarini yaxshilamoq yoki undan ham battar bo'lishiga ishonishning o'rniga, biron bir nosozlik yuz bersa, tuzatishga huquqshunoslarga va huquqiy tizimlarga ishonish o'rniga, aqlli shartnoma o'z vaqtida va ob'ektiv ravishda amalga oshirilishi kerak bo'lgan narsani bajaradi.

Aqlli shartnomalar - bu juda soqov

"Aqlli" so'zidan foydalanish ushbu shartnomalarning ma'lum bir aqlga ega ekanligini anglatadi. Ular emas. Shartnomaning aqlli qismi shartnomani bajarish uchun boshqa tomonning hamkorligiga muhtoj emas. To'lamayotgan ijarachilarni quvib chiqarishning o'rniga, "aqlli" shartnoma pul to'lamagan ijarachilarni o'z kvartirasidan chiqarib yuboradi. Kelishilgan oqibatlarga olib keladigan natijalar shartnomalarni tug'ma razvedkada emas, balki aqlli shartnomalarni kuchli qilishida.

Haqiqiy aqlli shartnoma barcha engillashtiruvchi vaziyatlarni hisobga oladi, shartnoma ruhiga nazar tashlaydi va hatto eng og'ir vaziyatlarda ham adolatli qarorlar chiqaradi. Boshqacha qilib aytganda, chindan ham aqlli shartnoma haqiqatan ham yaxshi hakam kabi ishlaydi. Buning o'rniga, bu doiradagi "aqlli shartnoma" umuman aqlli emas. Bu aslida qoidalarga asoslangan va T qoidalariga amal qiladi va ikkinchi darajali mulohazalarni yoki qonunning "ruhini" hisobga olmaydi.

Boshqacha qilib aytganda, shartnomani ishonchsiz qilish degani, bizda keyingi muammoni keltirib chiqaradigan noaniqlik uchun joy yo'qligini anglatadi.

Aqlli shartnomalar haqiqatan ham qiyin

Ethereum-dan juda ko'p markazlashtirilgan marketing tufayli, Smart kontraktlar faqat Ethereum-da mavjud degan yanglish fikr mavjud. Bu haqiqat emas. Bitcoin 2009 yil boshidan beri juda keng qamrovli aqlli kontrakt tilida skript deb nomlangan. Aslida, aqlli shartnomalar Bitcoin-dan avval 1995 yilgacha mavjud bo'lgan. Bitcoin-ning aqlli kontrakt tili va Ethereum o'rtasidagi farq shundaki, Ethereum-ning Turing to'liq. Ya'ni, qattiqlik (ETHning aqlli kontrakt tili) ularni yanada tahlil qilishni qiyinlashtirish hisobiga murakkabroq shartnomalar tuzishga imkon beradi.

Aniq bo'lish uchun, aqlli shartnomalar Bitcoin-dan oldin ham mavjud edi, men xuddi multfilmni yaxshi ko'raman

Murakkablikning ba'zi jiddiy oqibatlari mavjud. Murakkab shartnomalar yanada murakkab vaziyatlarni yuzaga keltirishi mumkin bo'lsa-da, murakkab shartnomani ta'minlash juda qiyin. Oddiy shartnomalarda ham, shartnoma qanchalik murakkab bo'lsa, uni amalga oshirish shunchalik qiyinlashadi, chunki asoratlar yanada noaniqlik va sharhlash uchun imkoniyat yaratadi. Aqlli shartnomalar bilan xavfsizlik shartnoma bajarilishi mumkin bo'lgan har qanday usul bilan ishlashni va shartnomaning mualliflar xohlaganini bajarishiga ishonch hosil qilishni anglatadi.

Turingning to'liq kontekstida bajarish juda qiyin va tahlil qilish qiyin. Turing bilan yakunlangan aqlli shartnomani kafolatlash, kompyuter dasturida xatolar yo'qligini isbotlashga teng keladi. Bilamizki, bu juda qiyin, chunki deyarli har bir kompyuter dasturida xatolar mavjud.

Oddiy shartnomalarni yozish uchun ko'p yillar davomida o'qish kerak va barkamol yoza olish uchun bar imtihoni talab qilinadi. Aqlli shartnomalar hech bo'lmaganda ushbu darajadagi malakaga ega bo'lishni talab qiladi va shu bilan birga, ko'pchilik yangilar tomonidan yozilgan, ular qanchalik xavfsiz bo'lishi kerakligini tushunmaydilar. Bu buzilganligi ko'rsatilgan turli shartnomalardan juda aniq.

Bitcoinning bu muammoni echimi shunchaki Turing-ning to'liqligiga ega bo'lmaslikdir. Bu kontraktlarni tahlil qilishni osonlashtiradi, chunki dasturning mumkin bo'lgan holatlarini sanash va tekshirish osonroq.

Ethereum yechimi aqlli shartnoma yozuvchilariga yukni yuklashdir. Shartnoma yozuvchilar o'zlari xohlagan narsani bajarishiga ishonch hosil qilishlari kerak.

Aqlli kontraktlar haqiqatan ham shartnomalar emas (kamida ETH)

Shartnomani yozuvchilarga berish majburiyatini nazariy jihatdan qoldirish yaxshi bo'lsa ham, amalda bu jiddiy markazlashtiruvchi oqibatlarga olib keldi.

Ethereum "kod bu qonun" degan g'oya bilan chiqdi. Ya'ni, Ethereum-dagi shartnoma yakuniy hokimiyatdir va hech kim shartnomani bekor qila olmaydi. G'oya aqlli shartnoma tuzuvchilarga o'zlari ekanliklarini tushuntirish edi. Agar siz o'zingizning aqlli shartnomangizni tuzishda vidolashgan bo'lsangiz, unda biron ma'noda bunga loyiqsiz. Bu DAO hodisasi ro'y berganda to'xtab qoldi.

DAO "markazlashtirilmagan avtonom tashkilot" ni qo'llab-quvvatlaydi va Ethereumda platforma nima qila olishini namoyish qilish uchun fond yaratdi. Foydalanuvchilar DAO-ga pul qo'yishlari va DAO tomonidan qilingan sarmoyalar asosida daromad olishlari mumkin edi. Qarorlarning o'zi ommaviy va markazlashmagan bo'lishi mumkin. ETH $ 20 atrofida savdo qilganda, DAO ETH-da $ 150M ni oshirdi. Bularning barchasi nazariy jihatdan yaxshi chiqdi, ammo muammo bor edi. Kod juda yaxshi ta'minlanmagan va kimdir pulni DAOni yo'q qilish usulini topishga olib kelgan.

Ko'pchilik DAOni quritgan odamni "xaker" deb atadi. "Hacker" yaratuvchilardan mo'ljallanmagan usulda kontraktdan pul olish usulini topdi degan ma'noda, bu haqiqat. Ammo keng ma'noda, bu umuman xaker emas edi, shunchaki aqlli shartnomadagi savollarni o'z foydasiga ishlatgan kishi. Bu mijozlarning pullarini tejash uchun soliq bo'shlig'ini aniqlaydigan ijodiy CPAdan farq qilmaydi.

Keyinchalik nima sodir bo'ldi, Ethereum bu kod endi qonun emas deb qaror qildi va DAOga tushgan barcha pullarni qaytarib berdi. Boshqacha aytganda, shartnoma yozuvchilari va investorlar ahmoqona ish qilishdi va Ethereum ishlab chiqaruvchilari ularni garovga qo'yishga qaror qilishdi.

Ushbu hodisaning qulashi yaxshi hujjatlashtirilgan. Ethereum Classic DAO-ni yozilgan va "kod bu qonun" tamoyilini saqlagan holda tug'ilgan. Bundan tashqari, ishlab chiquvchilar Ethereum-ning Turing-to'liqligi xususiyatidan foydalanishdan bosh tortishdi, chunki uni himoya qilish qiyin. ERC20 va ERC721 standartlari Ethereum-da tez-tez ishlatiladigan aqlli shartnomalar shablonlari bo'lib, har ikkala turdagi shartnomalar ham har qanday Turing-to'liqliksiz yozilishi mumkinligini ta'kidlash muhimdir.

Aqlli kontraktlar faqat raqamli bearer asboblari bilan ishlaydi

Turing-ning to'liqligisiz ham aqlli shartnomalar haqiqatan ham juda yaxshi. Axir, o'zlariga tegishli bo'lgan narsani olish uchun sudga murojaat qilishni kim yaxshi ko'radi? Aqlli shartnomadan foydalanish oddiy shartnomalarga qaraganda osonroq emasmi?

Masalan, aqlli shartnomalardan ko'chmas mulk foyda ko'rmaydimi? Elis uyga egalik qilishini isbotlashi mumkin. Bob uy uchun pul yuborishi va evaziga uyni olishi mumkin. Mulkchilik, ishonchsiz, mashinaning tezkor bajarilishi, sudyalarga, mansabdor shaxslarga yoki unvonni sug'urtalashga ehtiyoj yo'q. Ajablanarli tovushlar, shunday emasmi?

Bu erda ikkita muammo mavjud. Birinchisi, markazlashtirilgan tomon tomonidan aqlli shartnomani bajarish haqiqatan ham ishonchli emas. Bajarish uchun siz hali ham markazlashtirilgan partiyaga ishonishingiz kerak. Ishonchsizlik asosiy xususiyatdir, shuning uchun markazlashtirilgan ijro etishning ma'nosi yo'q. Aqlli shartnomalarni chindan ham ishonchsiz qilish uchun sizga markazlashtirilmagan platforma kerak.

Bu bizni ikkinchi muammoga olib boradi. Markazlashtirilmagan sharoitda aqlli shartnomalar faqat raqamli versiya va jismoniy versiya o'rtasida aniq bog'liqlik mavjud bo'lganda ishlaydi. Ya'ni, uyning raqamli versiyasi egalikni o'zgartirganda, jismoniy versiya egalik huquqini ham o'zgartirishi kerak. Raqamli dunyoga jismoniy dunyo haqida "bilish" kerak. Bu "Oracle muammosi" sifatida tanilgan.

Elis uyni Bobga topshirganida, aqlli shartnoma u uyni aslida Bobga topshirganligini bilishi kerak. Buning bir necha usullari mavjud, ammo ularning barchasi bir xil muhim muammoga ega. Jismoniy dunyoda sodir bo'lgan voqealarni tekshirish uchun biron-bir uchinchi tomonga ishonish kerak.

Masalan, uy Ethereum-dagi qo'ziqorin bo'lmagan token sifatida taqdim etilishi mumkin. Elis ETH miqdorini evakuatsiya qilish uchun uyni Bobga topshirishi mumkin edi. Muammo shu erda. Bob, token aslida uyni anglatishiga ishonishi kerak. Uyning tokenini unga o'tkazilishini ta'minlaydigan ba'zi bir Oracle bo'lishi kerak, aslida bu uy uning qonuniyligini anglatadi.

Bundan tashqari, agar davlat idorasi token uyni anglatadi, deb aytsa ham, agar token o'g'irlangan bo'lsa nima bo'ladi? Endi uy o'g'riga tegishlimi? Agar token yo'qolsa nima bo'ladi? Uyni endi sotib bo'lmaydimi? Uy tokenini qayta berish mumkinmi? Agar shunday bo'lsa, kim tomonidan?

Hech bo'lmaganda markazlashtirilmagan kontekstda meva, avtomobil yoki uy bo'lishidan qat'iy nazar, raqamli aktivni jismoniy aktiv bilan bog'lashda hal qilib bo'lmaydigan muammo mavjud. Jismoniy aktivlar siz bo'ladigan yurisdiktsiya tomonidan tartibga solinadi va bu sizning ular yaratgan aqlli shartnomaga qo'shimcha ravishda biror narsaga ishonishlarini anglatadi. Bu shuni anglatadiki, aqlli shartnomaga ega bo'lish real dunyoda egalik qilish shartligini anglatmaydi va oddiy shartnomalar bilan bir xil ishonch muammosidan aziyat chekadi. Uchinchi tomonga ishonadigan aqlli shartnoma, qotilning ishonchsizligining xususiyatini yo'q qiladi.

Hatto elektron kitoblar, sog'liqni saqlash yozuvlari yoki filmlar kabi raqamli aktivlar ham xuddi shunday muammodan aziyat chekmoqda. Ushbu raqamli aktivlarga bo'lgan "huquqlar" oxir-oqibatda boshqa hokimiyat tomonidan hal qilinadi va Oracle-ga ishonish kerak.

Va bu ma'noda, Oracle faqat sudlarning soqov versiyalari. Mashg'ulotni soddalashtirish va soddalashtirilgan ijro etish o'rniga, siz haqiqatan ham barcha mumkin bo'lgan natijalarni insoniylik nuqtai nazarini hisobga olishning murakkabligi. Boshqacha qilib aytganda, siz "aqlli" shartnoma tuzib, siz kimgadir ishonishingiz kerakligini yozishni murakkablashtirdingiz.

Oracle-dan foydalanmasdan ishlashga qodir bo'lgan yagona narsa raqamli tashuvchidir. Aslida, savdoning ikkala tomoni nafaqat raqamli bo'lishi kerak, balki vosita bo'lishi kerak. Ya'ni, tokenga egalik qilish aqlli shartnoma platformasidan tashqarida bog'liqlikka ega bo'lolmaydi. Aqlli shartnomada raqamli tashuvchi vositalar mavjud bo'lganda, aqlli shartnoma haqiqatdan ham ishonchsiz bo'lishi mumkin.

Xulosa

Aqlli shartnomalar haqiqatdan ham foydali bo'lishini istardim. Afsuski, biz odamlar nima deb o'ylasak, shartnomalar to'liq taxminlarni keltirib chiqaradi va ular aniq bayon etilishi shart emas.

Bundan tashqari, Turing to'liqligidan foydalanish har qanday istalmagan xulq-atvorni qo'zg'atish va yo'q qilishning oson usuli ekanligi ayon bo'ladi. Biz aqlli shartnoma platformalarini Turing-to'liq emas, balki Turing-himoyasiz deb belgilashimiz kerak. DAO hodisasi, shuningdek, shartnoma "ruhi" borligini isbotladi, u to'liq ishoniladi va nizolarni biz tushunganimizdan ko'ra ko'proq hal qilishga yordam beradi.

Aqlli shartnomalarni tuzatish juda oson, himoyalash juda qiyin, ishonchsiz qilish juda qiyin va ko'p narsalar uchun ishlash uchun tashqi qaramliklar juda ko'p. Aqlli shartnomalar haqiqatan ham ishonchsizlikni qo'shadigan yagona haqiqiy joy Bitcoin singari markazlashtirilmagan platformalarda raqamli tashuvchilik asboblaridir.