Давайте объясним ZK: 📚 ZK означает Zero Knowledge и открывает 2 суперсилы: конфиденциальность и масштабируемость. ZK близок моему сердцу, как соавтор ZK-STARKs и как соучредитель 2 проектов ZK: @Zcash (сосредоточен на конфиденциальности) и @StarkWareLtd (сосредоточен на масштабируемости и теперь конфиденциальности)

@Zcash @StarkWareLtd Как работает ZK? Существует два типа сущностей: Доказатель и Проверяющий Доказатель выполняет основную работу: - Регистрирует данные из всех транзакций - Обрабатывает данные - Обновляет состояние системы (то есть баланс после всех транзакций) - Генерирует обновление состояния и доказательство

@Zcash @StarkWareLtd Типичное заявление от Прокси гласит: "Я, Прокси, начал с состояния A, обработал 1,000,000 txs и на основе этого достиг состояния B". Доказательство — это последовательность чисел и хешей, которые можно проверить, чтобы подтвердить целостность всего заявления.

@Zcash @StarkWareLtd Проверяющий (который обычно находится в сети) проверяет доказательство, используя математику и криптографию, чтобы определить, является ли утверждение истинным, прежде чем его примут. Теоремы, которые мы доказали за эти годы, говорят о том, что Проверяющий всегда принимает истинные утверждения и никогда не принимает ложные утверждения.

@Zcash @StarkWareLtd Злой Провер, который может попытаться убедить Вертификатора принять ложное утверждение, должен выполнить аналогичное количество работы, как при поиске коллизии в криптографической хеш-функции, что невозможно сделать до того, как наше Солнце остынет.

@Zcash @StarkWareLtd Почему ZK хорош для конфиденциальности? Проверяющий не проверяет правильность утверждения, обрабатывая данные, которые он подтверждает. Вот почему данные могут быть проверены как действительные, оставаясь скрытыми от Проверяющего.

@Zcash @StarkWareLtd Почему ZK хорош для масштабирования? Проверяющему не нужно повторно выполнять вычисления, которые сделал Доказатель. Доказатель может обработать 1 миллион транзакций, но Проверяющему не нужно их повторять, чтобы проверить правильность всех этих транзакций. Проверка доказательства будет достаточной для обеспечения их действительности.