Я полностью разделяю эту точку зрения. В ранних системах доказательств с нулевым разглашением сталкивались с довольно фундаментальными проблемами, которые тормозили их внедрение.

Первой преградой было очевидно — генерация доказательств стоила слишком дорого. Вычислительные затраты делали это непрактичным для многих реальных приложений. Создавать ZK-доказательства означало расходовать серьезные ресурсы.

Но есть и что-то более глубокое. За пределами криптопространства ценностное предложение было не совсем очевидным. Почему основные приложения или предприятия действительно нуждаются в доказательствах с нулевым разглашением? Какую проблему это реально решает для них? Вопрос соответствия продукта рынку оставался открытым.

Затем начались изменения. Появились SNARKs и внесли некоторые улучшения. Следом за ними пришли STARKs. Постепенно тяжелая часть — дорогостоящее создание доказательств — стала более управляемой. Математика улучшилась, реализации стали умнее.

Это тот тип технологий, который требовал как прорывов в производительности, так и killer-кейсов, чтобы наконец-то все встало на свои места.