«Довести до відомості, що одна справа справді сталася, не розкриваючи жодних деталей» — доказ нульової знання

▰ Що таке доказ нульової знання?
Це з’явилося понад 30 років тому, коли троє криптографів запропонували цю ідею, і багато людей тоді вважали її фальшивою, неймовірною, адже зазвичай, щоб переконати когось, потрібно наводити факти й аргументи, а не просто казати «Я не обманюю».

▰ Але математика — це таке диво
Наприклад, ти знаєш прихований пасхалку у дуже маловідомому фільмі й хочеш довести, що ти його справді дивився, але не хочеш розкривати зміст пасхалки.

Ти можеш сказати «У персонажа у фільмі на 45-й хвилині в руці щось із особливим маркуванням».

Другий глядач подивиться й переконається, що так і є, і зрозуміє, що ти справді дивився, але при цьому не почув, що саме за пасхалка.

Ось у чому суть доказу нульової знання: перетворити «говорити словами» у «перевірку за деталями», що одразу вирішує проблему «потрібно довести щось і зберегти конфіденційність».

▰ Але ця технологія має й великий недолік: створення доказів дуже навантажує комп’ютерні ресурси.

Якщо раніше, розв’язуючи математичну задачу за 10 хвилин, потрібно було скласти абсолютно безпомилковий звіт, розбиваючи кожен крок на найменші частини для перевірки, то обсяг роботи зростав у десятки разів.

▰ Тут я звернув увагу на проект @cysic_xyz і вважаю, що вони обрали дуже правильний напрямок.

Зараз багато хто використовує GPU для створення доказів нульової знання, адже GPU добре справляється з одночасною обробкою багаторазових операцій.

Але проблема в тому, що GPU спочатку створені для ігор і відеообробки, а не для таких задач.

@cysic_xyz прагне створити спеціальні чіпи для доказів нульової знання, орієнтовані виключно на «ефективне створення доказів».

Я вважаю, що це дуже перспективно: якщо їм вдасться, вартість створення доказів значно знизиться, і поширення цієї технології стане набагато легшим.

Насправді, доказ нульової знання вже не так далеко від нас: у майбутньому, щоб оплатити комунальні послуги онлайн, не боячись витоку даних, підписувати важливі документи без ризику підробки, або перевіряти, чи не зламали ігровий акаунт — усе це може використовуватися з цією технологією.

А прорив у апаратному забезпеченні @cysic_xyz може стати ключовим кроком у впровадженні її у повсякденне життя.
#cysic