Бутерин Ethereum басымдықтарын қайта қарастырды: кванттық қорғаныс, ЖИ-тексеру және масштабтаудың жаңа философиясы
Ethereum негізін қалаушылардың бірі Виталик Бутерин желінің дамуының жаңартылған көзқарасын ұсынды, ол 2023 жылғы жол картасынан түбегейлі ерекшеленеді. Жаңа «сабан картасында» (strawmap), 2029 жылға дейін есептелген, бірінші орынға кванттық есептеулерге төзімділік, кірістірілген құпиялылық және кодты формальды тексеру үшін жасанды интеллектті қолдану шығады. Бұл жай түзету емес — бұл парадигманың өзгеруі.
Құпиялылық — опция емес, іргетас ретінде
Негізгі өзгеріс — құпиялылық қолданбалар деңгейіндегі қондырма болудан қалды және протоколдың өзіне қойылатын ажырамас талапқа айналды. Бұл пайдаланушылардың белсенділігі мен баланстарын жасыратын механизмдер, сондай-ақ транзакциялардың барлық тарихын ашпай-ақ қаражат аударуға мүмкіндік беретін «wormholes» сияқты конструкциялар туралы. Осы блокқа FOCIL де кіреді — транзакцияларды мәжбүрлеп қосу механизмі, ол Hegota хардфоркінің басты жаңалығы болады.
Кванттық төзімділік және Lean Ethereum
Екінші жаңа блок — посткванттық криптография және техникалық базаны жеңілдету. Lean Ethereum тұжырымдамасы протоколдың әрбір негізгі элементін қайта жаза алатын апгрейдтер сериясын біріктіреді. Шілде айында-ақ Бутерин мұны Ethereum-ның «үшінші ірі итерациясы» деп атап, жұмыс мерзімін үш-төрт жылға бағалаған болатын. Ұзақ мерзімді перспективада EVM-ді RISC-V және leanISA баламалы форматтарына ауыстыру да жіберіледі — бұл жақында ғана мүмкін емес болып көрінген қадам.
Формальды тексерудегі ЖИ
Ethereum протоколының жұмысын тексеру үшін енді ЖИ көмегімен формальды тексерумен үйлесімде STARK-дәлелдемелер қолданылатын болады. Бутерин атап өтеді: мұндай тәсіл тек формальды тексеру кезінде ғана қауіпсіз, ал ол өз кезегінде тек заманауи ЖИ-құралдарымен ғана орындалады. Бұл жасанды интеллектсіз желінің одан әрі күрделенуі қауіпті болатынын мойындау.
Масштабтауға жаңа көзқарас
Масштабтау философиясы да түбегейлі өзгерді. Әзірлеушілер белсенділіктің барлық түрлерін бірдей жылдамдату әрекеттерінен бас тартты. Оның орнына қатаң шектеулері бар мамандандырылған механизмдер жасалады: олар әмбебаптықта ұтылады, бірақ күрделі сценарийлерде — токен-трансферлер мен своптардан құпиялылық протоколдарына дейін — ұтады. Strawmap-қа 2023 жылы болмаған BLOB- және газ-фьючерстер концепциялары да енді. Сонымен қатар бұрынғы жоспарлардың бір бөлігі, оның ішінде EVM-дің көптеген жақсартулары, қысқартылды.
Маңыздысы: strawmap — бұл қатаң кесте емес, тірі жоба. Ethereum Foundation мерзімдерді ауыстыру және ресурстарды бөлу үшін сынға ұшыраған болатын — маусым айында ұйым бес кластер айналасында қайта құрылып, штаттың 20%-ын қысқартты. Осы аяда зерттеушілер тобы стейкинг сыйақыларын азайтуды ұсынды, бұл желіні биткоиннен басты бәсекелестік артықшылығынан — иелену фактісінің өзімен кіріс әкелу қабілетінен айыруы мүмкін.
Менің талдауым: Кванттық төзімділікке назар аудару — бұл паранойя емес, заңдылық. Кванттық компьютерлер көпшілік күткеннен жылдам дамып келеді, ал Ethereum ең күрделі смарт-контракт платформасы ретінде ең осал болып табылады. Алайда тексеруде ЖИ-ге сенім арту — екі ұшты қылыш: біз қауіпсіздігі әлі толық тексерілмеген құралдарға тәуелді жүйені құрамыз. Бұл тәуекелді, бірақ, мүмкін, жалғыз өміршең алға жол.