Провёл час, разбираясь с Hedger — новым конфиденциальным слоем транзакций Dusk, который запустили на DuskEVM согласно их обновлению от 15 августа. И то, что действительно меня остановило, было не шифрование — а то, что всё ещё проходит проверку. Dusk Network $DUSK @Dusk Foundation #dusk построили Hedger, используя гомоморфное шифрование, наложенное на доказательства с нулевым разглашением. Я зашёл с предположением, что это означает: данные транзакции просто исчезают из виду. Не совсем.
Открыл обозреватель тестовой сети DuskEVM, чтобы покопаться — и, хм… запись транзакции всё ещё на месте: всё так же есть временная метка, всё так же привязано к вызову контракта. Скрыто то, что является полезной нагрузкой — сумма, конкретные значения внутри. Именно ZK-доказательство позволяет сети подтвердить, что транзакция валидна: балансы сходятся, правила не нарушены — при этом никогда не видя сами числа. Так что это не «никто не может это проверить». Это «протокол математически проверяет это вместо того, чтобы человек читал исходное значение».
Этот нюанс оказался важнее, чем я ожидал. Полная анонимность — и это совершенно не одно и то же: цепочка всё равно знает, что что-то произошло, просто не знает подробностей. И, похоже, именно в этом и заключается главный замысел для регулируемых сценариев.
Ещё думаю, удовлетворяет ли фраза «математика всё подтверждает, поэтому никому не нужно это видеть» реальных аудиторов, или это лишь утешение, которое держится до тех пор, пока кто-нибудь не потребует исходное число в любом случае. #