Виталик Бутерин блокчейннің әртүрлі түйіндерде бірдей операцияларды бірнеше рет орындау қажеттілігінен біртіндеп бас тартатын тәсілді ұсынды. Оның айтуынша, криптографияның дамуы есептеуді орындау мен оның тексерілуін бөлуге мүмкіндік береді: бір қатысушы тапсырманы өңдеп, дұрыстығын дәлелдейтін құжат жасайды, ал қалған түйіндер қазірдің өзінде ықшамдалған криптографиялық нәтижені тексереді. Бұл принцип SNARK және STARK технологияларына негізделеді және есептеу жүктемесін азайтып, бағдарламаланатын құпиялылық мүмкіндіктерін кеңейтуі тиіс. Ерте блокчейндер негізінен активтерді басқару құқығын растау мәселесін шешкен болса, келесі архитектура бағдарламалардың өздері әртүрлі қатысушыларға қандай деректер қолжетімді екенін анықтауға мүмкіндік береді. Бутерин рекурсивті STARK-тарға ерекше мән береді, олар көптеген дәлелдерді біреуіне біріктіріп, желінің негізгі деңгейінде берілетін және өңделетін ақпарат көлемін азайтуға мүмкіндік береді.
Бұл идея Ethereum есептеу процесінің бүкіл құрылымын өзгертумен байланысты. Қарастырылып жатқан бағыттардың ішінде қолтаңбалар мен дәлелдерді алдын ала жинақтау, транзакцияларды жеке әрекеттер мен тәуелділіктерге бөлу, сондай-ақ тәуелсіз операцияларды параллель орындау мүмкіндігі бар. Архитектураның қосымша элементі ретінде блоктарды таратып қалыптастыру енгізіледі, бұл олардың мазмұнын анықтауда бір қатысушыға тәуелділікті азайтады. Кеңірек түсінікте блокчейн бір деңгейлі орындаудан көп сатылы есептеу конвейеріне айналады. Оған пайдаланушы құрылғысындағы операциялар, әртүрлі құпиялылық параметрлері бар мемпулдар, дәлелдерді жинақтау жүйелері, екінші деңгей шешімдері және желінің негізгі қабаты кіруі мүмкін. Мұндай модельде күрделі есептеулердің бір бөлігі негізгі орындаудан тыс орындалады, ал блокчейн олардың дұрыстығын ықшамдалған түрде растайды. Бұл жүйені әр түйіннің жұмыс көлемін пропорционалды түрде арттырмай масштабтауға мүмкіндік беруі тиіс.
Бутериннің концепциясында жасанды интеллект ерекше орын алады. Оның бағалауынша, криптографиялық протоколдардың күрделенуі қолмен әзірлеуді, тестілеуді және кодты тексеруді барған сайын қиындатуда. ИИ бағдарламаларды дайындау, іске асыруды талдау, спецификацияларды жасау, қателерді іздеу және кодтың берілген талаптарға сәйкестігін математикалық әдістермен тексеретін формальды верификация үшін пайдаланылуы мүмкін. Бірнеше тәуелсіз спецификациялар және автоматтандырылған тексеру күрделі жүйелерді жасауда қателер ықтималдығын қосымша төмендете алады. Осы логика бойынша, ИИ тек жеке код фрагменттерімен ғана емес, сонымен қатар L1, L2 және аралық қызметтер инфрақұрылымымен өзара әрекеттесіп, нақты операцияларды орындау үшін қажетті құралдарды таңдай алады. Нәтижесінде криптография мен ИИ дамуы есептеулер неғұрлым таралған түрде орындалатын, ал олардың дұрыстығы ықшамдалған дәлелдермен расталатын блокчейндерге көшу процесінің бір бөлігі ретінде қарастырылады.
Ұқсас мақалалар
