Я сьогодні прочитав rlly good eli5 з zk proofs: - Ідея ZK полягає в тому, що вам не потрібно знати фактичні дані, щоб переконатися, що він відповідає певним вимогам. - Наприклад, якщо є двері з паролем, мені не потрібно повідомляти пароль. Я можу просто показати вам, що я можу відкрити двері, і це доказ того, що я знаю пароль. Ось, по суті, і є доказ з нульовим розголошенням. Що стисло робить з zk, так це те, що він може створити доказ ZK практично всього. наприклад: - Я міг би лаконічно довести, що мені більше 18 (або 21), не розкриваючи свій день народження - Я можу лаконічно довести, що я живу в країні, яка не має обмежень, не розкриваючи свої паспортні дані - Або ще простіше, наприклад, я можу довести 3 приховані числа, що в сумі дає 42 На сьогоднішній день, найбільшим варіантом використання PMF для ZK є блокчейн, а блокчейн гостро потребує ZK. Найбільші клієнти Scinctic (понад 35+ протоколів) використовують zk для перетворення величезних обчислень, таких як виконання тисяч TX блоку в зведенні, на крихітний доказ, який можна перевірити в мілісекунди. 1 надзвичайно маленького доказу ZK, виробленого Scinct, достатньо, щоб цілий ланцюжок/ролап з мільярдами TVL зробив висновок, що «цей блок був виконаний за правилами». У цьому і полягає сила стислості.
5,59K