Пояснімо ZK: 📚 ZK означає Zero Knowledge і відкриває дві суперсили: Приватність і Масштаб. ZK мені близька як співвинахідник ZK-STARKs, так і як співзасновник двох проєктів ZK: @Zcash (зосереджений на приватності) та @StarkWareLtd (орієнтований на масштаб, а тепер на приватність)

@Zcash @StarkWareLtd Як працює ZK? Існує два типи сутностей: Провер і Верифікатор Провер виконує основну роботу: - Реєстрація даних з усіх tx - Обробка даних - Оновлення стану системи (тобто балансу після всіх txs) - Генерація оновлення стану та доказу

@Zcash @StarkWareLtd Типова заява доверача говорить: «Я, Доказ, почав зі стану А, обробив 1 000 000 tx і, на основі них, досягнув стан B". Доказ — це послідовність чисел і хешів, які можна перевірити для підтвердження цілісності всього твердження.

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

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

@Zcash @StarkWareLtd Чому ZK підходить для приватності? Верифікатор не перевіряє коректність твердження, обробляючи дані, які він засвідчить. Ось чому дані можна перевірити як дійсні, залишаючись прихованими від Верифікатора.

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