Рубрика #мюсли Хотите вам расскажу, почему Zero Knowledge — это следующая большая штука после машинного обучения, блокчейна и децентрализованных финансов? Если человечество не самоуничтожится, то наши внуки будут смеяться над тем, как мы относимся к персональным данным, так же, как мы смеемся над использованием кредиток, когда они только появились (загуглите, история смешная и грустная немного). Вкратце, ZK позволяет подтвердить валидное использование определенной формулы для нахождения решения какого-нибудь уравнения. При этом, и входные данные, и выходные данные — и само уравнение можно держать приватным. То есть не рассказывать о них никому, делая эту информацию непубличной 🤯 Хотите крышесносный пример? В Канаде и США (да и в любой другой цивилизованной экономической системе) есть понятие кредитного рейтинга. Берете деньги в долг и возвращаете вовремя? Рейтинг растет. Не отдаете? Рейтинг падает. В зависимости от вашего кредитного рейтинга вам выдают деньги под проценты выше или ниже для менеджмента рисков. Как это работает? Обычно есть несколько кредитных агентств, в которые все дающие в долг институты отчитываются о всех долгах всех их клиентов. И кредитные системы собирают всю эту информацию, используют формулу расчета кредитного рейтинга — и предоставляют назад эту информацию этим институтам, "пряча" приватные данные и аккаунты человека. Да, централизованное лицо знает все про всех — и недавние сливы данных этих компаний сильно покоцали систему. Они как бы "прячут" приватные данные, но все равно их хранят — иначе же они не могут считать и пересчитывать кредитные рейтинги. А теперь представьте, что это кредитное агентство просто бы опубликовало формулу расчета рейтинга и ZK способ верифицировать использование этой формулы для расчета без необходимости публиковать входные данные? Например: количество кредитных аккаунтов * 0.20 + размер доступного кредита * 0.02 + использованный кредит * 0.1 + количество созданных ZK доказательств * 0.005 = кредитный рейтинг. А пользователь может прямо у себя на девайсе создать ZK доказательство с единственным публичным выводом — кредитным числом. Это доказательство и публичный вывод можно вставить в специальный код-верификатор, доступный всем, и спокойно верифицировать, что да — использована была правильная формула и все валидно. При этом, не рассказав никому про приватный ввод! Тогда и хранить все приватные вводы — и даже кредитные рейтинги никому не нужно централизованно! Нужно кому-то показать свой кредитный рейтинг? Генерируем ZK доказательство с публичным выводом, передаем, а получатель у себя на стороне использует формулу-верификатор, чтобы подтвердить, что все чисто. Понимаете? Единственное, что делает кредитное агентство в этом случае — это создает формулу-верификатор, публикует формулу расчета — и все! Ничего хранить не надо. Приватные данные никогда не покидают устройство человека, чей кредитный рейтинг проверяется. А лицо, проверяющее кредитный рейтинг, может это сделать даже оффлайн! И ведь это только один пример! В великолепное время живем, когда криптография и прикладная математика трансформируют наш образ жизни. Все больше и больше применений ZK мы увидим в следующие 10-20 лет. Это лишь начало!