📚 Причина, по которой я изучаю ZK #1: Структурные изменения в компромиссах Я разработчик BQ. @BQ_Developer В эти дни я глубоко погружен в ZK (доказательства с нулевым разглашением). Сначала я думал, что это просто простая техника шифрования, но как только я это понял, моя перспектива на саму проблему изменилась. В следующих нескольких статьях я подведу итоги, почему я начал изучать ZK, и почему это имеет значение не только с технической точки зрения. Первый пункт касается того, как ZK решает существующие технические компромиссы. 🔍 Компромиссы существуют во всех системах Одним из самых часто слышимых терминов в разработке программного обеспечения является "компромисс." - Укрепление безопасности → Уменьшает удобство использования - Увеличение скорости → Повышает затраты - Децентрализация → Уменьшает эффективность Особенно конфиденциальность и проверяемость считались наиболее выраженными компромиссами. Общепринятым было мнение, что для того, чтобы что-то доказать, нужно раскрыть информацию, и если вы скрываете информацию, это не может быть проверено. 💭 Структура существующих методов проверки Способ проверки был прост: 1. A делает заявление 2. B запрашивает доказательства 3. A показывает доказательства 4. B подтверждает это В этом процессе B неизбежно узнает информацию. Поэтому на практике компромиссы всегда были необходимы: - Чтобы пройти аудит, вы должны раскрыть свои книги - Чтобы доказать квалификацию, вы должны представить удостоверение личности - Чтобы подтвердить соответствие, вы должны поделиться внутренними данными 🔓 Что меняет ZK ZK меняет структуру проверки. Старое: Показать информацию → Проверяющий проверяет напрямую ZK: Скрыть информацию → Доказать только, что определенные условия выполнены Например, в оценках кредита: - Старое: Раскрыть банковский баланс в 1,234,567 вон - ZK: Доказать только "баланс превышает 1 миллион вон" Это может показаться небольшой разницей, но это принципиально меняет суть проверки. Проверяющий может подтвердить только необходимые факты и не может знать больше. ✏️ Что на самом деле меняется Конкретные различия, созданные этим изменением: Сценарий аудита: - До: Подать всю историю транзакций → Раскрыть конфиденциальную информацию клиента - После: Доказать только "все транзакции соответствовали нормативам" → Защитить информацию клиента В блокчейне: - До: Все транзакции прозрачно раскрыты → Пожертвовать конфиденциальностью - После: Доказать только действительность транзакции → Сохранить конфиденциальность Проверка модели ИИ: - До: Раскрыть модель → Пожертвовать интеллектуальной собственностью - После: Доказать только "предвзятость ниже порога" → Защитить модель Комбинации, которые ранее были невозможны, теперь становятся возможными. Вы можете сохранить секретность, будучи проверенным. Эта концепция резонирует со мной на более глубоком уровне. Это новое предложение, которое освобождает от ограничения "нужно выбрать одно из двух" к "оба возможны." Я интерпретирую это как создание новой точки баланса где-то между 0 и 1. Я верю, что большинство технологических достижений были такими. Не так много волшебных решений, которые решают все проблемы сразу. Но то, что показывает ZK, это возможность "изменить степень компромисса." И я верю, что только те, кто понимает эту возможность, могут создать следующий уровень улучшений. Вот почему я изучаю ZK. В следующей статье я расскажу о другом изменении, принесенном ZK. --- Ваши лайки и репосты — это любовь 🥰 #BQDeveloper #ZK #ZeroKnowledgeProof #TurningImpossibilitiesIntoPossibilities