Основи ZK | Еп. 8: Чому ZK-докази коштують так дорого Перевірка доказу займає мілісекунди. Створення — це дорога частина. Ось куди йдуть гроші: 1. Обчислення переписуються. Ваша програма має бути перетворена на форму, яку можна довести математично — схему. Ніщо з цього кроку не є безкоштовним. 2. Доведення — це важко. Створення доказу може вимагати тисячі разів більше обчислювальних ресурсів, ніж звичайне виконання програми. 3. Спеціалізоване обладнання. Серйозне доведення виконується на GPU та спеціальних чіпах, саме тому існує ціла індустрія інфраструктури для доведення. 4. Ціни швидко падають. Витрати зменшилися на кілька порядків за кілька років — саме тому ZK перейшов з наукових статей у продукцію. Компроміс: заплатити один раз за доведення, а всі інші можуть перевіряти дуже дешево назавжди. Збережіть це💜