Всплывающее окно кошелька отображает адрес контракта, имя функции и оценку газа. Ничто на этом экране не показывает, как выглядят ваши балансы после подписания. Большинство пользователей все равно нажимают «одобрить», потому что альтернатива — чтение байт-кода. Слепая подпись — именно так произошла большая часть потерь на цепочке, которые не были вызваны уязвимостями протокола. Пользователь дал разрешение, просто у него не было возможности увидеть, что именно он авторизует. Velora — прототип реактивного DeFi-портфеля, продемонстрированный на недавнем Rialo Builders Hub — моделирует каждую транзакцию на цепочке до того, как кошелек пользователя подпишет что-либо. Результат вычисляется первым, а подпись происходит после, уже против проверяемого пользователем результата. В сочетании с жестким дневным лимитом в $2 500 и автоматической блокировкой переводов на неавторизованные адреса агент работает внутри границ, которые пользователь может реально видеть. Что делает предварительное моделирование надежным здесь, так это то, что выполнение @RialoHQ изначально детерминировано. Программы приводятся к каноническому байт-коду, идентичному на каждом валидаторе, прежде чем что-либо запустится, с заранее назначенными явными лимитами ресурсов. Моделирование, которое не может отличаться от реального выполнения, — это моделирование, которое стоит читать. Аппаратные кошельки решили вопрос: кто хранит ключ. Но никто никогда не решил, понимает ли человек, его держащий, что именно он подписывает.