Нулевая информация была разработана в 1985 году, и за последние 40 лет она часто высмеивается как «лунная математика», но теперь она выходит из лабораторий на передний край цифровой экономики. Оглядываясь на развитие всей экосистемы ZK, можно сделать однозначный вывод: ZK больше не является необязательным патчем для конфиденциальности, а представляет собой основу доверия следующего поколения интернета. В этом году появилось много проектов, связанных с ZK, и, возможно, братья будут классифицировать их как проекты в области ZK, но я хочу сказать, что их сегментация более тонкая, чем мы думаем. Если разделить по жизненному циклу от генерации доказательства → пакетной верификации → подтверждения на различных цепочках, то Sunccinct и Boundless ориентированы на стадию генерации доказательства, однако в этой экосистеме существует структурная проблема — узкое место в верификации. Недавно я смотрел на zkVerify @ZKVProtocol, который предложил некоторые решения в этой области. zkVerify — это проект, запущенный @HorizenLabs, который выпустил первую цепочку приложений для конфиденциальности в экосистеме Base, а zkVerify является первой специализированной цепочкой для верификации доказательств. Что касается значимости эффективности верификации, это похоже на завод BMW в Тайсине, хотя производственные мощности впечатляют, но логистика не успевает, поэтому невозможно быстро доставить 3-ю и 5-ю серии пользователям. В конце концов, они построили прямую железную дорогу от завода до порта. Для экосистемы ZK также необходимо улучшить «логистическую систему» производительности. Если говорить только о концепциях, люди могут не понять, насколько серьезны проблемы производительности в верификации. Скажем так, в пиковые моменты верификация одного доказательства Gorth16 на Ethereum может стоить до 60 долларов, и за 2024 год протоколы ZK сожгли 55 миллионов Gas на Ethereum, что еще хуже, Ethereum может обрабатывать максимум 15 верификаций доказательств в секунду, так как же это позволит развиваться отрасли? zkVerify, как первая в мире специализированная цепочка для верификации доказательств, поддерживает совместимость с различными системами доказательств, такими как STARKs, Plonky2, SP1 и может снизить затраты на 90%. Его основное проектирование заключается в декомпозиции генерации и верификации доказательств, это проектирование действительно создано для текущей экосистемы ZK, в будущем профессионалы, занимающиеся доказательствами, будут заниматься только генерацией, а он будет отвечать за верификацию. Как новая верификационная система, zkVerify также исследует более масштабный нарратив, а именно интеграцию AI x ZK. В настоящее время проектов, связанных с AI, множество, и я считаю, что ценность zkVerify заключается в том, что они очень ценят сообщество разработчиков и действительно занимаются делом. Я посмотрел их обновления за последний год на блоге и YouTube, они поделились множеством историй о сотрудничестве, и можно увидеть, как они шаг за шагом строили свой проект. На следующей неделе, 30 сентября, у них будет TGE, и из токеномики также видно, что команда имеет добрые намерения: все расходы на верификацию будут оплачены в $VFY, а доля сообщества составляет 37,31%, что является наибольшей долей. Сейчас есть возможность участвовать, они организовали игру ZK Space Invaders, и полученные игровые награды можно будет обменять на токены основной сети $VFY в день TGE. Как специализированная цепочка для верификации, созданная для AI-моделей, если сравнить Succinct и Boundless с электростанциями ZK, то я считаю, что zkVerify — это электросеть ZK, которая действительно откроет потолок для ZK.