Я сижу и думаю о том, как на самом деле проверяются транзакции Phoenix (@Dusk ) в последнее время, и большинство людей до сих пор представляют обычный процесс «посмотрите на данные и подтвердите».
Суть в том, что проверяющему никогда не показывают ни отправителя, ни получателя, ни сумму. Вместо этого приходит доказательство PLONK. Это доказательство кодирует важные правила: тот, кто тратит, действительно владел теми заметками, которые расходуются, суммы корректно сходятся и ничего не используется повторно. Проверка просто подтверждает, что математика верна. Она никогда не пересобирает и не просматривает скрытую транзакцию.
Это действительно заметный сдвиг в том, что вообще означает проверка. Система подтверждает, что математическое утверждение истинно, не видя того, что сделало его истинным.
Ограничение в том, что когда что-то идет не так, та же самая невидимость, которая защищает приватность, также усложняет отладку «на глаз».
Тем не менее, дизайн кажется намеренным. Отказ смотреть на данные — часть модели безопасности здесь.
Вам комфортно с проверкой, которая работает, никогда не видя то, что проверяют?
#dusk $DUSK
Суть в том, что проверяющему никогда не показывают ни отправителя, ни получателя, ни сумму. Вместо этого приходит доказательство PLONK. Это доказательство кодирует важные правила: тот, кто тратит, действительно владел теми заметками, которые расходуются, суммы корректно сходятся и ничего не используется повторно. Проверка просто подтверждает, что математика верна. Она никогда не пересобирает и не просматривает скрытую транзакцию.
Это действительно заметный сдвиг в том, что вообще означает проверка. Система подтверждает, что математическое утверждение истинно, не видя того, что сделало его истинным.
Ограничение в том, что когда что-то идет не так, та же самая невидимость, которая защищает приватность, также усложняет отладку «на глаз».
Тем не менее, дизайн кажется намеренным. Отказ смотреть на данные — часть модели безопасности здесь.
Вам комфортно с проверкой, которая работает, никогда не видя то, что проверяют?
#dusk $DUSK