Віталік Бутерін: блокчейни входять у нову еру обчислень На Глобальному блокчейн-саміті (Шанхайський тиждень блокчейну) Віталік Бутерін розповів, як ZK-докази, формальна верифікація та ШІ збираються перетворити архітектуру блокчейну. Його основна думка: стара модель — де кожна нода повторно виконує одні й ті ж обчислення — поступово виходить з ужитку. За допомогою SNARKs/STARKs одна сторона виконує обчислення та надає доказ, а всі інші лише верифікують. Рекурсивні STARKs (пов’язані з його пропозицією EIP-8288) можуть об’єднувати багато доказів у один, зменшуючи обсяг даних та витрати в мережі. У поєднанні з EIP-8141 (розбиття транзакцій на паралелізований дії) та FOCIL (децентралізована побудова блоків) метою є повна обчислювальна ланцюжок — від виконання на локальному пристрої до мемпулів, агрегації доказів, L2 та L1 — яка масштабується без втрати децентралізації. Щодо ШІ, Бутерін вважає його необхідною інфраструктурою для наступного етапу: написання/аудит коду, генерація специфікацій та запуск формальної верифікації в масштабах, які люди не можуть досягти вручну — що, за його словами, є ключовим для усунення сьогоднішніх пробілів у безпеці L2. Він закликає розробників припинити проектувати системи для світу, де передовий крипто та автоматизована верифікація були непрактичними — бо це обмеження швидко зникає. #Ethereum #Buterin #ZKProofs #Blockchain #Web3 #AI #Crypto