<Почему ZK провалился, и что пытается изменить Succinct?> 1. Осознание проблемы Создатель Биткойна, Сатоши Накамото, выразил скептицизм по поводу доказательств с нулевым разглашением (ZKP). Он заявил: "Чтобы доказать, что что-то не существует, нужно знать всю транзакцию," заключив, что применение ZKP к блокчейну структурно сложно. Тем не менее, он также упомянул, что "если будет найдено решение, это будет намного лучше, проще и удобнее для реализации Биткойна." Другими словами, признавая технические ограничения ZK, он признал, что если они будут решены, это может стать значительным поворотным моментом в эволюции блокчейна. Годы спустя сообщество киберпанков и исследователи ZK наконец нашли это решение. Zcash стал первым случаем применения ZKP к реальной криптовалюте, а последующие проекты, такие как StarkWare, zkSync и Scroll, развили эту технологию как ключевое средство для повышения масштабируемости и проверяемости Ethereum. Тем не менее, в реальности все еще существует разрыв. Создание zkEVM требует глубоких знаний, многолетнего времени разработки и высокопроизводительного оборудования, и большинство проектов в конечном итоге полагаются на конкретных поставщиков доказательств, а не на собственную инфраструктуру ZKP. В результате ZKP остается сложным инструментом, с которым могут справиться лишь немногие, а не технологией, которую может использовать любой. 2. Что такое Succinct? Succinct (@SuccinctLabs) — это попытка напрямую решить эту проблему. Его основная миссия — преобразовать ZKP в инфраструктуру, которую все разработчики могут легко использовать, позволяя каждому создавать "доверенную систему" без сложных схем или инфраструктуры. Succinct — это инфраструктура, которая превращает идеал "доверенной" системы, к которому стремится блокчейн, в практически реализуемую реальность. Доверенная не означает "недоверительная"; скорее, это относится к структуре, которая функционирует независимо, не полагаясь на доверие, т.е. к математически проверяемой системе без третьих лиц или центральных властей. Тем не менее, текущая экосистема блокчейна все еще сильно зависит от доверия. Взломы мостов, операции с мультиподписями и централизованные делегирования валидаторов служат доказательством того, что нам все еще нужно доверять людям или организациям для функционирования системы. Попытка преодолеть эти ограничения, основанные на доверии, — это именно технология доказательства с нулевым разглашением (ZKP). Эта технология позволяет математически доказать, что "это вычисление верно" без доверия к кому-либо, что делает ее основой для децентрализованных систем. Проблема заключалась в том, что ZKP слишком сложен и тяжел для практического использования. 3. Почему ZKP казался сложным? Технология ZKP имеет высокие барьеры, как и ее потенциал. В частности, создание zkEVM требует специализированной команды, многолетнего времени разработки и дорогостоящей инфраструктуры. Большинство zk проектов должны были разрабатывать свои собственные схемы, строить специализированные zkVM и непосредственно управлять оборудованием. Только пройдя через все эти процессы, они могли заявить, что являются "ZK rollups." Более того, существующие универсальные zkVM были очень неэффективны в генерации доказательств. Обычно для доказательства одного блока требовался кластер из десятков высокопроизводительных машин, стоимостью от 10 до 20 долларов за блок. Из-за этих технических нагрузок и операционных затрат многие проекты либо полностью отказывались от внедрения ZKP, либо выбирали полагаться на некоторых централизованных поставщиков доказательств. 4. Попытка Succinct @SuccinctLabs рассматривает эти структурные проблемы как "проблемы инфраструктуры." ZKP технически достаточно мощен, но вопрос в том, кто, как и по какой цене он реализуется. Поэтому Succinct создает децентрализованную сеть провайдеров доказательств, к которой любой может легко получить доступ, не требуя от отдельных проектов непосредственно управлять инфраструктурой доказательств. Разработчикам не нужно настраивать сложные zkVM или закупать оборудование. Когда они отправляют запросы на доказательства в сеть, различные провайдеры с разным оборудованием делают ставки на их обработку в аукционном стиле. Стоимость доказательств естественным образом снижается за счет конкуренции, а провайдеры эффективно генерируют доказательства, используя высокопроизводительное оборудование. В результате разработчики получают быстрые и недорогие доказательства, в то время как вся экосистема выигрывает от инфраструктуры доказательств с высокой доступностью и устойчивостью к цензуре. Succinct не просто демонстрирует технические возможности; он доказывает свою роль в областях, где возникает реальный спрос. Представительным примером является появление тренда "CLOBs на Blobs" в экосистеме @celestia. Децентрализованные биржи, использующие методы высокопроизводительных центральных лимитных ордеров (CLOB), появляются в пространстве блобов Celestia, что приводит к инфраструктурным требованиям для обработки больших объемов данных и быстрого состояния доказательств. Проекты, такие как Hyperliquid и @hibachi_xyz, реализуют сложную логику торговли ордеров и определения цен в цепочке, что требует масштабируемости и производительности, превышающей простые rollups. Здесь необходимы высокопроизводительный уровень доступности данных Celestia и децентрализованная инфраструктура ZK доказательств, предоставляемая Succinct. На самом деле, Celestia наблюдает за быстрым увеличением фактического использования пространства блобов, и за этим ZK инфраструктуры, такие как Succinct, тихо способствуют. Если Celestia предоставляет "проверяемое хранение данных", Succinct отвечает за создание "проверяемых переходов состояния" на этих данных. Это сочетание можно рассматривать как отправную точку для технологии ZKP, чтобы перейти от абстрактной теории к функционирующей системе в реальности. 5. zkEVM, с которым может справиться каждый, SP1 и SP1 Reth Решая доступность инфраструктуры, Succinct также стремится снизить барьеры входа самого zkVM, разрабатывая открытый zkVM под названием SP1 (Succinct Processor 1). SP1 — это универсальный zkVM, реализованный на Rust, предназначенный для того, чтобы любой мог использовать его напрямую без сложного проектирования схем, требуемого существующими zkEVM. Ранний пример, демонстрирующий потенциал SP1, — это SP1 Reth. SP1 Reth — это zkEVM типа-1, реализованный всего на 2000 строк кода Rust, легко настраиваемый за счет повторного использования компонентов из существующей экосистемы клиентов Ethereum (Reth, Revm, Alloy и т.д.). Еще более удивительным является его производительность. Средняя стоимость доказательства за транзакцию Ethereum для SP1 Reth составляет всего около 0,01–0,02 доллара, что ниже затрат на доступность данных, которые обычно возникают в L2. Причина, по которой эта производительность возможна, заключается в системе "предварительной компиляции", которой обладает SP1. Она обрабатывает вычислительно интенсивные операции, такие как хеш-функции и проверки подписей, в предварительно оптимизированной структуре, значительно снижая ресурсы, потребляемые zkVM. До сих пор реализация zkEVM с помощью zkVM стоила от 10 до 20 долларов за блок, но SP1 Reth удалось снизить эту стоимость до однозначных цифр. Оба SP1 и SP1 Reth полностью открыты и доступны для любого, чтобы форкнуть и создать свой собственный zkEVM или добавить предварительные компиляции для повышения производительности. Это представляет собой полное переворот существующей среды разработки zk с высокими затратами и сложностями, открывая эру, в которой любой разработчик на Rust может участвовать в системах zk. 6. В конечном итоге ZK теперь доступен для всех Succinct заполняет последние кусочки головоломки потенциала, доступности и практичности технологии ZKP. Без сложных схем или специализированного оборудования любой может создавать приложения, использующие ZKP, а доказательства обрабатываются децентрализованной сетью. Мы вступаем в эпоху, когда все rollups могут стать ZK rollups, и интернет функционирует исключительно на правде. В отправной точке этого находятся Succinct и SP1. Теперь ZKP — это технология для всех, а не только для избранных.