Нулевая информация была разработана в 1985 году, и за последние 40 лет она часто высмеивается как «лунная математика», но теперь она выходит из лабораторий на передний край цифровой экономики. Оглядываясь на развитие всей экосистемы ZK, можно сделать однозначный вывод: ZK больше не является необязательным патчем для конфиденциальности, а представляет собой основу доверия следующего поколения интернета. В этом году появилось много проектов, связанных с ZK, и, возможно, братья будут классифицировать их как проекты в области ZK, но я хочу сказать, что их сегментация более тонкая, чем мы думаем. Если разделить по жизненному циклу от генерации доказательства → пакетной верификации → подтверждения на различных цепочках, то Sunccinct и Boundless ориентированы на стадию генерации доказательства, однако в этой экосистеме существует структурная проблема — узкое место в верификации. Недавно я смотрел на zkVerify @ZKVProtocol, который предложил некоторые решения в этой области. zkVerify — это...