Ақылды келісім-шарттардың шегі қандай?

Қашан Ethereum блокчейн экожүйесіне смарт келісімшарттарды енгізді, бәрі өзгерді. Кенеттен сенімсіз принциптерге негізделген тұтас қаржылық жүйені құру мүмкіндігі пайда болды. Сіз бұл идеяны қаншалықты алға тарта аласыз? Бұл кімнен сұрайтыныңызға байланысты.

Ақылды келісім-шарттар тұжырымдамасын алғаш рет 1994 жылы компьютер ғалымы және заңгер ғалым Ник Сабо енгізді. Ол оларды дұрыс төлем сомасы енгізілген кезде өнімді автоматты түрде шығаратын «қарапайым автоматпен» салыстырды.

Негізінде, смарт келісім-шарт - бұл белгілі бір шарттар орындалған кезде келісім-шарт талаптарын автоматты түрде орындайтын компьютерлік бағдарлама. Ол келісім-шартты келіссөздер немесе орындауды жеңілдету, тексеру және орындау үшін пайдаланылуы мүмкін. Бұл делдалды пайдаланбай, өздігінен орындалатын келісімдерді жасау үшін кодты пайдалану тәсілі (мысалы, өсиетті орындайтын заңгер сияқты).

Блокчейннен тыс бар ақылды келісімшарттың ерте бір мысалы - эскроу қызметтері. 2010 жылдардың басында бұл қараңғы веб-базарлардағы транзакцияларды орындаудың әдепкі әдісі болды, бұл құқық қорғау органдарының осалдығын азайту үшін аз адам қатысуын талап етті. Сатып алушы қаражатты орналастырады - әдетте BTC – эскроу шотында және өнім жеткізілген кезде қаражатты босату туралы смарт келісім-шартты ғана орындайтын. 

Ақылды келісім-шарттарды жүзеге асыру Сабоның бастапқы ұсынысынан кейінгі жылдары тауашалық және негізінен теориялық болып қала берді. Дегенмен, 2015 жылы Ethereum блокчейнін іске қосқаннан бері смарт келісімшарттар өз алдына. 

Қарапайым идея: смарт келісімшарттардың күрделілігін арттырған сайын, блокчейнде (dApps) орталықтандырылмаған қолданбаларды жасауға болады. Жағдайда Defi, бұл сауда, несиелеу, қарыз алу және кейбір сақтандыру қызметтерін құруға мүмкіндік берді. Олардың барлығы адам делдалсыз сенімсіз принциптерге негізделген.

«Кодекс - бұл заңнан» басқа

Ақылды келісімшарттардың тарихы Лоуренс Лессигтің кітабынан басталады «Киберкеңістіктің кодексі және басқа заңдары» (1999). Онда ол киберкеңістікте компьютерлік код негізінен өмірдегі заңдарға ұқсас және тіпті оларды алмастыра алатынын алға тартты. Бұл идея 2023 жылы ғаламтор өміріміздің барлық саласына еніп, үкіметтер бизнес пен жеке мінез-құлықтың барлық дерлік аспектілерін реттейтін кезде қызық болып көрінеді. Ол кезде бұл радикалды болды.

Дегенмен, Лессигтің кітабы әлемге ұзақ мұрасы бар бір сөз тіркесін берді: «код - бұл заң». Қазіргі уақытта бұл математика мен кодтың түсініксіздік пен манипуляцияны қалай жоюға болатынын сипаттау үшін стенография ретінде жиі пайдаланылады. Мұның оңай екенін бәрі келіспейді.

«Біз бәріміз көргендей Luna/Terra, Celsius және FTX өткен жылы және Mango DAO жақында – код өзінің шегіне жетті, ал жаман актерлер жаулық басып алуды, бұзуды немесе басқа да зиянды артықшылықтарды қолдана алады», - дейді Николас Биагош, бірлескен бастамашы. Q Blockchain, оның айқындаушы ұраны «Кодтан тыс заң».

«Web3 әлеміне көбірек адамдар кірген сайын, жақсы басқару нюанс пен адам ниетіне көбірек орын қажет. «Кодекс - бұл заң» кейбір жағдайларда жұмыс істейді, бірақ бәрі емес».

Ақылды келісім-шарттардың кемшіліктері бар 

Смарт контракт максималистерінің назарын аударатын мамандықтардың бірі – заңгерлік мамандық. Заңды шешімдерді кодексте жай ғана орындауға болатын төрелік иерархиясының неліктен бюрократиялық (және кейбіреулері қай жерде екеніне байланысты сыбайлас жемқорлық деп айтады) болуы керек; негізінен, Лессигтің киберкеңістік заңы болатын код идеясын кері қайтарады. Неліктен кодты жасамасқа? нақты заң?

Бұл идеяға бірнеше қарапайым қарсылықтар бар: соттар қате шешімдерді өзгерте алады және олардың қайталану ықтималдығын кеңінен түсінікті түрде азайтады. Криптовалюта контекстінде, егер кейбір BTC бір тараптан екіншісіне қате немесе алаяқтық жолмен жіберілсе, сот дәлелдемелерді қарастырып, қаражатты қайтаруға бұйрық бере алады. 

Бірақ блокчейн сияқты тек қосымша жүйеде сіз бұл транзакцияны тасқа тиімді жазасыз. Блокчейн өзгермейді, сондықтан ақылды келісімшарттар мен тексерілген транзакцияларды қайтару мүмкін емес, бұл жағдайды өлшеусіз қиындатады. Сен істе аласың жаңарту қателерді түзетуге арналған ақылды келісімшарт. Бірақ бұл ойынға арналған патчты жүктеп алудан әлдеқайда қымбат және уақытты қажет етеді.

Біз, әрине, асып кете аламыз Defi және қоғамның басқа жерлерінде ақылды келісім-шарттарды енгізіңіз, деп жалғастырады Биагош. «Біз тек кодқа сене аламыз ба? Код қазіргідей емес. Нюанс, ниет және күрделілік бүгінгі күні ақылды байланыстардың шегі болып табылады. Орталықтандырылмаған қоғамдар мен ұйымдарды құру үшін біз сенімсіз кодты адамның ниетіне жауап беретін құралдармен біріктірудің жолын табуымыз керек ».

«Код барлық жағдайды есептей алмайды. Адамдарда ретроспективті ойлау, ниетті бағалау және белгілі бір әрекеттердің ережелерге сәйкес келетінін немесе қайшы келетінін анықтаудың бірегей күші бар. «Код – заң» шеңберінен шығу Web3 жүйесіндегі негізгі басқару деңгейі ретінде кодты пайдаланудан бас тартуды білдірмейді. Бұл код пен адам тілін бірге пайдалануды білдіреді».

Бір қызығы, адамдар жетіспейтін бөлік

Сауда автоматы сияқты, ақылды келісім-шарттар да олар жұмыс істейтін адамзат қоғамының күрделілігіне сәйкес келмейді. Олар біз түсінетіндей «ақылды» емес, дейді Каин Као, негізгі мүшесі. ККС және GoDao. «Олар транзакцияларды автоматты түрде орындай алмайды, күрделі деректер құрылымдарын сақтай алмайды, күрделі есептеулерді орындай алмайды және қымбатқа түседі, бұл қысқа мерзімді мәселелер. 

«Ұзақ мерзімді перспективада смарт келісімшарттың немесе DeFi-дің ең үлкен шектеуі оның нақты әлемді қабылдау қабілеті, бұл бізге тиімді және қауіпсіз емес дегенді білдіреді Оракула үшінші тарап проксилерін қажет ететін қызметтер. Неғұрлым күрделі сақтандыру, нақты әлемдегі активтерді ипотека және т.б. бойынша жетілген шешімдер әлі жоқ».

Ақылды келісім-шарттардың бір анық жолы - оларды AI және кеңейту мүмкіндігі машина оқыту. ChatGPT сияқты чат-боттардың үздіксіз өсуі оларға «адамға ұқсас» өлшемді қосу мүмкіндігін ашты. Негізінде транзакцияларды өзі орындай алатын және үлкен деректер жиынын шақыратын өздігінен орындалатын машиналарды жасау. Бірақ, AI тіл үлгісін пайдаланған кез келген адам білетіндей, олар мінсіз емес. Егер AI енгізуді жасаған болса, оның дұрыс екенін қалай тексере аламыз?

Ол тек смарт келісім-шарттардың бұрыннан бар проблемасын қосады. Олар көбіміз оқи немесе жаза алмайтын кодта жазылған.

«Ақылды келісім-шарттардың барлық дизайнын өзгерту керек», - дейді Ава Сун Инь, негізін қалаушы Анома. «Пайдаланушылар смарт келісімшарттармен қауіпсіз және жеке өзара әрекеттесу үшін олар тікелей смарт келісімшартта ғана емес, сонымен қатар басқа да смарт келісім-шарттарда не болып жатқанын және негізгі блокчейннің қалай жұмыс істейтінін өте жақсы түсінуі керек. Бұл мүмкін емес және көбінесе адамдар бұл қолданбаларды тәуекелдерді түсінбей пайдаланады және күтпеген жерден жоғары баға төлейді (мысалы, эксплуатациялар, құпия деректердің ағып кетуі).