Взгляд Виталика Бутерина на безопасность
Сооснователь Ethereum Виталик Бутерин предложил интегрировать механизмы симуляции транзакций в криптокошельки и смарт-контракты, чтобы повысить их безопасность и удобство для пользователей.
«Цель безопасности - минимизировать расхождение между тем, что пользователь хочет сделать (его намерением), и тем, что система делает в реальности. „Пользовательский опыт“ можно определить точно так же. Поэтому это не разные области», - написал он.
Идея программиста заключается в том, чтобы строить архитектуру защиты вокруг пользовательских намерений, создавая системы, которые перепроверяют каждое действие. Это касается не только Ethereum-кошельков и смарт-контрактов, но и операционных систем и аппаратного обеспечения.
«Пользователь сначала указывает, что хочет сделать, а после просмотра симуляции ончейн-последствий нажимает „ОК“ или „Отмена“», - пояснил Бутерин.
Механизм проверки транзакций
- Намерение пользователя
- Ожидаемый результат (симуляция)
- Допустимый уровень риска
Транзакция проходит только при совпадении всех трех факторов. Результатом должно быть упрощение безопасных действий до автоматизации, в то время как рискованные операции требуют дополнительных проверок.
Сложности реализации
Ключевая проблема - точное распознавание намерений пользователя. Бутерин назвал это «чрезвычайно сложной» задачей, и поэтому «идеальных» решений безопасности не существует.
«Абсолютная безопасность невозможна. Не потому, что машины или люди несовершенны, а потому, что само намерение пользователя - это фундаментально сложный объект, к которому у самого пользователя нет легкого доступа», - отметил он.
Для эффективного решения предлагается принцип избыточности: пользователь выражает намерения несколькими пересекающимися способами, и система срабатывает только при их совпадении. В качестве дополнительного фильтра можно использовать большие языковые модели (LLM).
«Обычная LLM - это (помимо прочего) как бы тень концепции человеческого здравого смысла. Модель, дообученная на конкретном пользователе, становится тенью этого пользователя и может более тонко определять, что нормально, а что - нет», - добавил Бутерин.