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