#dusk $DUSK @Dusk
Вот вышибала в баре, который не может прочитать ваш документ, но всё равно должен знать, что вам уже исполнился 21 год. По сути, именно эту задачу решают доказательства с нулевым разглашением (zero-knowledge proofs). И это звучит страннее, чем кажется.
Классическое объяснение использует пещеру с двумя путями, которые в конце сходятся, перекрытые запертой дверью. Вы хотите доказать, что знаете пароль, не произнося его вслух. Вы заходите, случайным образом выбираете путь, а ваш друг наблюдает снаружи. Если вы каждый раз выходите по тому пути, который он просил, то в конце концов он убеждается, что вы знаете секрет — хотя он никогда его не слышал. Повторите это достаточно много раз, и вероятность того, что вы обманете, падает практически до нуля.
Вот и весь трюк: доказать, что что-то истинно, не передавая саму вещь. Никаких паролей не сообщается, никаких данных не раскрывается — только математическая уверенность, накапливаемая повторениями.
Dusk использует это для финансовых транзакций, где ставки — это не «головоломка про пещеру», а скорее «соблюдение нормативных требований». Компания может захотеть доказать, что сделка законна: что обе стороны допущены к операциям, что деньги действительно существуют — при этом не публикуя балансы счетов или личности на публичном реестре. Это реальное противоречие в финансах: прозрачность для аудиторов и приватность для всех остальных.
Загвоздка в том, что ZKP не бесплатны. Генерация доказательств требует вычислений, а их проверка тоже не мгновенна. Есть постоянная работа над тем, чтобы делать это быстрее, но пока это не решено — стоит помнить об этом, прежде чем кто-то будет утверждать, что приватность и скорость можно получить одновременно и что это ничего не будет стоить.
$KII
$APR
Вот вышибала в баре, который не может прочитать ваш документ, но всё равно должен знать, что вам уже исполнился 21 год. По сути, именно эту задачу решают доказательства с нулевым разглашением (zero-knowledge proofs). И это звучит страннее, чем кажется.
Классическое объяснение использует пещеру с двумя путями, которые в конце сходятся, перекрытые запертой дверью. Вы хотите доказать, что знаете пароль, не произнося его вслух. Вы заходите, случайным образом выбираете путь, а ваш друг наблюдает снаружи. Если вы каждый раз выходите по тому пути, который он просил, то в конце концов он убеждается, что вы знаете секрет — хотя он никогда его не слышал. Повторите это достаточно много раз, и вероятность того, что вы обманете, падает практически до нуля.
Вот и весь трюк: доказать, что что-то истинно, не передавая саму вещь. Никаких паролей не сообщается, никаких данных не раскрывается — только математическая уверенность, накапливаемая повторениями.
Dusk использует это для финансовых транзакций, где ставки — это не «головоломка про пещеру», а скорее «соблюдение нормативных требований». Компания может захотеть доказать, что сделка законна: что обе стороны допущены к операциям, что деньги действительно существуют — при этом не публикуя балансы счетов или личности на публичном реестре. Это реальное противоречие в финансах: прозрачность для аудиторов и приватность для всех остальных.
Загвоздка в том, что ZKP не бесплатны. Генерация доказательств требует вычислений, а их проверка тоже не мгновенна. Есть постоянная работа над тем, чтобы делать это быстрее, но пока это не решено — стоит помнить об этом, прежде чем кто-то будет утверждать, что приватность и скорость можно получить одновременно и что это ничего не будет стоить.
$KII
$APR
