Виталик Бутерин: блокчейны входят в новую эру вычислений На Глобальном блокчейн-саммите (Шанхайская блокчейн-неделя) Виталик Бутерин описал, как ZK-доказательства, формальная верификация и ИИ вот-вот изменят архитектуру блокчейнов. Его основная мысль: старая модель — где каждая нода повторно выполняет одни и те же вычисления — постепенно уходит в прошлое. С помощью SNARKs/STARKs одна сторона выполняет вычисления и доказывает их корректность, а все остальные просто проверяют. Рекурсивные STARKs (связанные с его предложением EIP-8288) могут объединять множество доказательств в одно, снижая объем данных и стоимость в блокчейне. В сочетании с EIP-8141 (разделение транзакций на параллелизуемые действия) и FOCIL (децентрализованное создание блоков) цель — создать полную вычислительную цепочку — от выполнения на локальном устройстве до мемпулов, агрегации доказательств, L2 и L1 — которая масштабируется без потери децентрализации. Что касается ИИ, Бутерин считает его необходимой инфраструктурой для следующего этапа: написания/аудита кода, генерации спецификаций и выполнения формальной верификации в масштабах, недоступных человеку вручную — что, по его словам, ключево для устранения сегодняшних пробелов в безопасности L2. Он призывает разработчиков перестать проектировать системы для мира, в котором продвинутая криптография и автоматизированная верификация были непрактичны — потому что это ограничение быстро исчезает. #Ethereum #Buterin #ZKProofs #Blockchain #Web3 #AI #Crypto