Как известно, настоящие децентрализованные блокчейны L1 сталкиваются с невозможным треугольником (невозможно одновременно обеспечить безопасность, масштабируемость и децентрализацию), и одним из самых важных ценностных оснований Ethereum является децентрализация, что также является тем, чему Ethereum всегда придерживался. Ethereum всегда стремился в конечном итоге реализовать работу на обычном домашнем оборудовании, с более чем десятками тысяч узлов и миллионами валидаторов. Приверженность Ethereum к децентрализации также привела к тому, что его прогресс в производительности L1 относительно медленный, и в конечном итоге была разработана архитектура L1 и L2, но в настоящее время L2 сталкивается с проблемами разделения ликвидности и недостаточной захвата ценности. Как решить изначальные проблемы блокчейна Ethereum (невозможно одновременно обеспечить безопасность, масштабируемость и децентрализацию)? Один из важных аспектов - это использование технологии ZK-доказательства. Основная идея ZK-доказательства заключается в том, чтобы позволить выполнять большое количество вычислений или транзакций вне цепи, а затем только на цепи представить компактное доказательство, подтверждающее, что эти выполнения были правильными, не раскрывая всех деталей. Преимущество этого подхода заключается в том, что можно повысить масштабируемость и усилить децентрализацию, сохраняя при этом безопасность. Например, использование zkVM для расширения L1/L2 также помогает решить проблему разделения ликвидности L2; ZK-доказательства являются криптографически безопасными, что гарантирует, что выполнение вне цепи не приведет к ошибкам. Если доказательство недействительно, оно будет отклонено, и при этом сохраняется исходная безопасность Ethereum; если в конечном итоге генерация и проверка доказательства будут эффективными и недорогими, то обычное оборудование (мобильные телефоны или домашние компьютеры) сможет участвовать в валидации узлов, что даст возможность еще больше усилить децентрализацию. Недавно проект Succinct (инфраструктурный проект, сосредоточенный на ZK-доказательствах) выпустил свой основной продукт SP1 (Succinct Proofs 1), который является высокопроизводительным zkVM (нулевая знаниевая виртуальная машина), поддерживающим разработчиков в написании любых программ на языке Rust и генерации ZK-доказательств для подтверждения правильности выполнения программ без необходимости переписывать цепи. Это имеет важное значение для решения проблемы невозможного треугольника в экосистеме Ethereum. Конкретно, Succinct может помочь Ethereum в расширении следующим образом: во-первых, его SP1 - это высокопроизводительное zkVM, поддерживающее доказательства выполнения программ на любом языке компиляции LLVM, что может быть применимо к Rollups, сопроцессорам и сценарию zkEVM. SP1 от Succinct поддерживает быструю генерацию доказательств, согласно текущим официальным заявлениям, можно достичь генерации доказательств Ethereum в реальном времени, что почти приближается к технологии "доказательства в реальном времени". Согласно описанию текущих официальных тестов, в бенчмарке на 10,000 блоков Ethereum более 93% блоков могут быть сгенерированы в течение 12 секунд, при этом бенчмарк был реализован на кластере из примерно 200 графических процессоров NVDIA RTX 4090. Для работы полного кластера реального времени требуется около 160 RTX 4090, текущая стоимость постройки составляет около 300-400 тысяч долларов, с помощью оптимизации оборудования и улучшения системы доказательств в будущем есть возможность снизить стоимость до около 100 тысяч долларов. Кроме того, Succinct также является децентрализованной сетью доказателей, которая, разделяя вычисления и валидацию, может снизить стоимость и задержку валидации Ethereum, конечная цель - сделать так, чтобы обычные узлы или мобильные телефоны могли участвовать в валидации доказательств, поддерживая расширение Ethereum до большего числа валидаторов. Наконец, технологии ZK также реализуют больше приложений, таких как аутентификация, приватные транзакции, кросс-цепочные операции и т.д. В общем, на пути Ethereum к 10,000 tps технологии ZK являются одной из очень важных частей.